typetools / spartaLinks
Static Program Analysis for Reliable Trusted Apps
☆23Updated 7 years ago
Alternatives and similar repositories for sparta
Users that are interested in sparta are comparing it to the libraries listed below
Sorting:
- Taming Reflection to Support Whole-Program Analysis of Android Apps☆52Updated 5 years ago
- ☆22Updated 8 years ago
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆44Updated 4 years ago
- The Static Android Analysis Framework.☆40Updated 9 years ago
- Symbolic/concolic execution of Android apps☆57Updated 9 years ago
- Agrigento is a tool to identify privacy leaks in Android apps by performing black-box differential analysis on the network traffic.☆72Updated 5 years ago
- DroidMate is an automated GUI execution generator for Android apps.☆39Updated 5 years ago
- Static Analysis Framework for Android Hybrid Applications☆25Updated 5 years ago
- Automated GUI testing utility developed for Marvin-dynamic-analyzer.☆16Updated 9 years ago
- Static heap reachability analysis for Java bytecode and Android memory leak finder.☆32Updated 11 years ago
- A Static Analysis Tool For Android Apps☆20Updated 3 months ago
- DroidSafe Android Static Analysis Source Repository☆97Updated 8 years ago
- OUSPG Open - Summer of Buzz with Fresh Blood, Alumni and Affiliates☆20Updated 9 years ago
- Network and USB protocol fuzzing toolkit.☆34Updated 8 years ago
- Marvin-django is the UI/database part of the Marvin project. Marvin is a platform for security analysis of Android apps.☆74Updated 9 months ago
- Generic server for collaborative code analysis☆13Updated 8 years ago
- Fault injection library☆22Updated 11 years ago
- ☆26Updated last month
- Boring tool to launch multiple afl-fuzz instances☆52Updated 8 years ago
- Marvin static analyzer is an Android application vulnerability scanner. The framework uses androguard and Static Android Analysis Framewo…☆68Updated 7 years ago
- Dynamic android vulnerability scanner using OpenNebula and Android-x86 emulators.☆42Updated 8 years ago
- Security Certifier for anDroid☆58Updated 12 years ago
- Borrowed Instructions Synthetic Computation☆70Updated 10 years ago
- Android File Fuzzing Framework☆87Updated 3 years ago
- Control Flow Graph Scanning for Android☆61Updated 10 years ago
- Block-based software vulnerability fuzzing framework☆49Updated 6 years ago
- Source code for the beta release of CobraDroid☆14Updated 5 years ago
- An Android port of radamsa fuzzer☆67Updated 5 years ago
- libfuzzerfication - fuzzing for the rest of us!☆61Updated 8 years ago
- Python module to detect, analyze and id application bugs☆21Updated 6 months ago