themaplelab/averroes themaplelab/averroes

  • Stars
    star
    22
  • Rank 1,048,934 (Top 21 %)
  • Language
    Java
  • License
    Eclipse Public Li...
  • Created over 9 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
themaplelab/averroes
github

themaplelab

Reviews

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

Repository Details

Java bytecode generator for sound and precise partial program analysis

More Repositories

1

swan

Swift Static Analysis Framework
Scala
156
star
2

scalacg

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

probe

A tool for call graph comparisons
Java
7
star
4

academic-writing

Advice for students to improve their academic writing skills.
2
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

averroes-experiments-data

1
star
9

swan-crypto

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