themaplelab/avedroid themaplelab/avedroid

  • This repository has been archived on 21/Aug/2023
  • Stars
    star
    1
  • Language
    Java
  • License
    Eclipse Public Li...
  • Created over 7 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
themaplelab/avedroid
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

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

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