themaplelab/averroes themaplelab/averroes

  • Stars
    star
    21
  • Rank 1,048,714 (Top 22 %)
  • Language
    Java
  • License
    Eclipse Public Li...
  • Created almost 9 years ago
  • Updated almost 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
153
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

averroes-experiments

Java
2
star
5

dot-public

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

avedroid

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

averroes-experiments-data

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