typetools / spartaLinks
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
Sorting:
- Static Analysis Framework for Android Hybrid Applications☆25Updated 4 years ago
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆44Updated 4 years ago
- Symbolic/concolic execution of Android apps☆56Updated 9 years ago
- The Static Android Analysis Framework.☆40Updated 9 years ago
- Static heap reachability analysis for Java bytecode and Android memory leak finder.☆32Updated 10 years ago
- Taming Reflection to Support Whole-Program Analysis of Android Apps☆50Updated 5 years ago
- ☆22Updated 8 years ago
- Source code for the beta release of CobraDroid☆14Updated 5 years ago
- Goal-directed static analysis tool for JVM languages.☆58Updated 9 years ago
- ☆15Updated 5 years ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆36Updated 4 years ago
- A tool to manage, conduct, and assess dictionary-based fuzz testing☆64Updated 7 years ago
- Auditing behaviour of Android Apps☆38Updated 8 years ago
- Automated GUI testing utility developed for Marvin-dynamic-analyzer.☆16Updated 9 years ago
- ☆34Updated 8 years ago
- OUSPG Open - Summer of Buzz with Fresh Blood, Alumni and Affiliates☆20Updated 8 years ago
- A collection of scripts based on libclang for extracting API information from interpreters☆24Updated 12 years ago
- DroidSafe Android Static Analysis Source Repository☆96Updated 8 years ago
- Binary Analysis Platform -- I will try to keep this updated with patches, fixes, etc.☆33Updated 10 years ago
- Dominator Tree LLVM Pass to Test Satisfiability☆47Updated 9 years ago
- covFuzz☆34Updated 8 years ago
- Control Flow Graph Scanning for Android☆59Updated 10 years ago
- LLDB engine based tool to instrument OSX apps and triage crashes☆27Updated 8 years ago
- Marvin static analyzer is an Android application vulnerability scanner. The framework uses androguard and Static Android Analysis Framewo…☆68Updated 6 years ago
- StaDynA: Addressing the Problem of Dynamic Code Updates in the Security Analysis of Android Applications☆23Updated 2 years ago
- A tool designed to synthesise semantically correct JavaScript snippets given arbitrary data. Useful for fuzzing.☆54Updated 2 years ago
- Borrowed Instructions Synthetic Computation☆70Updated 10 years ago
- A Python module that enables the automation of Firefox☆32Updated last week
- Broadcast Intent FUZzing Framework for Android☆80Updated 9 years ago
- Java* Fuzzer for Android*☆12Updated 8 years ago