DroidTest / TimeMachine
Time-travel Testing
☆106Updated 2 years ago
Alternatives and similar repositories for TimeMachine:
Users that are interested in TimeMachine are comparing it to the libraries listed below
- Automatic Input Generation System for Android Apps☆36Updated 5 years ago
- A tool that automatically detects both the execution context of user input validation and also the content involved in the validation, to…☆47Updated 4 years ago
- ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications☆38Updated last year
- COVA - A static analysis tool to compute path conditions☆32Updated 2 years ago
- ☆103Updated last year
- A search-based Android static analysis tool with much better performance than Amandroid and FlowDroid☆47Updated 3 years ago
- Fair Android Explorer☆20Updated last year
- IC3: Inter-Component Communication Analysis in Android☆36Updated 5 years ago
- Source code of MEUZZ fuzzer☆44Updated 3 years ago
- ☆22Updated 8 years ago
- Flow analysis using Soot☆51Updated 4 years ago
- Binary Instrumentation of Android Apps☆69Updated 8 years ago
- ☆89Updated 3 years ago
- Montage: A Neural Network Language Model-Guided JavaScript Engine Fuzzer☆86Updated 9 months ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆86Updated 9 months ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆98Updated 2 years ago
- ☆37Updated last year
- Large Commit Precise Vulnerability Dataset based on AOSP CVE☆61Updated last year
- Hybrid Interface Aware Fuzz for Android Kernel Drivers☆31Updated 3 years ago
- ☆10Updated 3 years ago
- Benchmark apps for static analyzing native world of Android applications.☆12Updated 6 years ago
- LibD: Scalable and Precise Third-party Library Detection in Android Markets☆68Updated 5 years ago
- ☆22Updated last year
- We hinder fuzzing☆65Updated 3 years ago
- Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)☆54Updated 4 years ago
- Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing☆33Updated last year
- ☆68Updated 3 years ago
- source code for savior fuzzer☆126Updated 4 years ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆66Updated 2 months ago
- ☆72Updated 3 years ago