typetools / sparta
Static Program Analysis for Reliable Trusted Apps
☆23Updated 6 years ago
Alternatives and similar repositories for sparta:
Users that are interested in sparta are comparing it to the libraries listed below
- ☆63Updated 3 years ago
- Symbolic/concolic execution of Android apps☆56Updated 9 years ago
- Static Analysis Framework for Android Hybrid Applications☆25Updated 4 years ago
- Taming Reflection to Support Whole-Program Analysis of Android Apps☆50Updated 5 years ago
- Goal-directed static analysis tool for JVM languages.☆58Updated 8 years ago
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆42Updated 3 years ago
- Static heap reachability analysis for Java bytecode and Android memory leak finder.☆32Updated 10 years ago
- Binary Analysis Platform -- I will try to keep this updated with patches, fixes, etc.☆33Updated 10 years ago
- The Static Android Analysis Framework.☆39Updated 9 years ago
- Automated GUI testing utility developed for Marvin-dynamic-analyzer.☆16Updated 9 years ago
- OUSPG Open - Summer of Buzz with Fresh Blood, Alumni and Affiliates☆20Updated 8 years ago
- Dynamic Symbolic Execution of Android Apps☆22Updated 9 years ago
- Source code for the beta release of CobraDroid