themaplelab/averroes-experiments-data themaplelab/averroes-experiments-data

  • Stars
    star
    1
  • Language
  • Created almost 9 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
themaplelab/averroes-experiments-data
github

themaplelab

Reviews

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

Repository Details

More Repositories

1

swan

Swift Static Analysis Framework
Scala
153
star
2

averroes

Java bytecode generator for sound and precise partial program analysis
Java
21
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

averroes-experiments

Java
2
star
6

dot-public

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

avedroid

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

academic-writing

Advice for students to improve their academic writing skills.
1
star
9

swan-crypto

This repo contains work for using SWAN for crypto API misuse
Swift
1
star