resess / MandolineLinks
Mandoline is an accurate, low-overhead dynamic slicer for Android applicaions.
☆11Updated last month
Alternatives and similar repositories for Mandoline
Users that are interested in Mandoline are comparing it to the libraries listed below
Sorting:
- Automated Storyboard Generation for Android Apps☆35Updated last year
- A step-by-step tutorial for Soot (a Java static analysis framework)☆447Updated 3 years ago
- Mobile App Analysis and Testing Literature☆105Updated 2 months ago
- ☆11Updated last year
- Fair Android Explorer☆22Updated 2 years ago
- FlowDroid Static Data Flow Tracker☆1,221Updated last week
- ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications☆43Updated 2 years ago
- ☆24Updated 2 years ago
- Stoat (STochastic model App Tester) - an automatic testing tool for android apps☆153Updated 2 years ago
- A micro-benchmark suite to assess the stability of taint-analysis tools for Android☆293Updated 6 months ago
- AndroidSlicer is a dynamic slicing tool, useful for a variety of tasks, from testing to debugging to security.☆14Updated 6 years ago
- A tool to instrument Android APKs based on Soot☆15Updated 5 years ago
- Static Jimple Slicer for Android Apps☆13Updated 4 years ago
- SuSi - our tool to automatically discover sources and sinks in the Android framework☆151Updated 9 years ago
- Inter-component communication Taint Analysis for Android☆94Updated 9 years ago
- ☆11Updated 8 years ago
- ☆29Updated 2 years ago
- ☆56Updated 5 years ago
- The Themis Benchmark for evaluating automated GUI testing☆156Updated 2 years ago
- EHBDroid is an effective and efficient Android Testing tool based on the idea of "event-handler-based" testing. Please cite the followi…☆19Updated 6 years ago
- ☆15Updated 3 years ago
- ☆17Updated 7 years ago
- IFDS/IDE Solver for Soot and other frameworks☆254Updated 3 weeks ago
- Flow analysis using Soot☆52Updated 5 years ago
- Research papers and tools on Android☆129Updated 4 years ago
- PScout Android permission mappings☆26Updated 3 years ago
- Argus static analysis framework☆197Updated 2 years ago
- ☆23Updated 2 years ago
- IC3: Inter-Component Communication Analysis in Android☆41Updated 5 years ago
- A search-based Android static analysis tool with much better performance than Amandroid and FlowDroid☆50Updated 4 years ago