themaplelab/swan-crypto themaplelab/swan-crypto

  • Stars
    star
    1
  • Language
    Swift
  • License
    Apache License 2.0
  • Created over 2 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
themaplelab/swan-crypto
github

themaplelab

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

This repo contains work for using SWAN for crypto API misuse

More Repositories

1

swan

Swift Static Analysis Framework
Scala
156
star
2

averroes

Java bytecode generator for sound and precise partial program analysis
Java
22
star
3

scalacg

A set of lightweight call graph analyses for Scala programs
Scala
7
star
4

probe

A tool for call graph comparisons
Java
7
star
5

academic-writing

Advice for students to improve their academic writing skills.
2
star
6

averroes-experiments

Java
2
star
7

dot-public

Collection of some type safety proofs of the DOT calculus
HTML
1
star
8

avedroid

Java bytecode generator for sound and precise partial program analysis
Java
1
star
9

averroes-experiments-data

1
star