clownice / GenerateControlFlow
Using soot to generate control flow
☆20Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for GenerateControlFlow
- Flow analysis using Soot☆51Updated 4 years ago
- IFDS/IDE Solver for Soot and other frameworks☆231Updated last year
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆123Updated 2 months ago
- a basic Gradle configuration to get started with WALA☆28Updated last month
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆42Updated 3 years ago
- The official repo of Doop, the declarative pointer analysis framework.☆164Updated 2 weeks ago
- A dynamic symbolic analysis tool for Java☆113Updated 5 years ago
- A search-based Android static analysis tool with much better performance than Amandroid and FlowDroid☆47Updated 3 years ago
- Inter-component communication Taint Analysis for Android☆92Updated 8 years ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆66Updated 7 months ago
- Precision-guided context sensitivity for pointer analysis☆57Updated last year
- Fair Android Explorer☆20Updated last year
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆41Updated 3 years ago
- Phosphor: Dynamic Taint Tracking for the JVM☆166Updated 2 months ago
- ☆21Updated 7 years ago
- 使用Soot进行android应用静态分析☆66Updated 6 years ago
- Dump the call graph by the static analysis of FlowDroid☆24Updated 7 years ago
- Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity☆11Updated last year
- ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications☆37Updated 9 months ago
- A points-to and alias analysis benchmark suite☆36Updated 6 years ago
- Joana - Information Flow Control for Java☆91Updated 2 years ago
- [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling☆29Updated 2 years ago
- Project FlowCog (2017)☆26Updated 6 years ago
- ☆19Updated 2 years ago
- ☆24Updated last year
- IC3: Inter-Component Communication Analysis in Android☆36Updated 4 years ago
- LibD: Scalable and Precise Third-party Library Detection in Android Markets☆68Updated 5 years ago
- A micro-benchmark suite to assess the stability of taint-analysis tools for Android☆268Updated last year
- ☆74Updated last year