ybonjour / Data-Flow-AnalysisLinks
☆10Updated 12 years ago
Alternatives and similar repositories for Data-Flow-Analysis
Users that are interested in Data-Flow-Analysis are comparing it to the libraries listed below
Sorting:
- a CIL-based dynamic symbolic execution (DSE) engine for C language☆10Updated 10 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆90Updated last year
- Dynamic Symbolic Execution of Android Apps☆22Updated 9 years ago
- ☆14Updated 11 months ago
- ☆25Updated 3 years ago
- MemLock: Memory Usage Guided Fuzzing☆33Updated 4 years ago
- Slicing tool for c++ programs using clang AST.☆17Updated 4 years ago
- Indexing reachability for context-sensitive data flow analysis.☆11Updated 2 years ago
- A data dependence analyzer for C program☆21Updated 3 years ago
- An automatic API misuse checker for C programs!☆19Updated 6 years ago
- llvm control flow graph☆26Updated 5 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆64Updated 3 years ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆40Updated 3 years ago
- Concolic analysis tool for Java☆21Updated last year
- Interprocedural Distributive Environment algorithm implementation☆16Updated 9 years ago
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆43Updated 4 years ago
- Symbolic Program Slicing with LLVM☆80Updated 4 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆32Updated 5 years ago
- KLEE / CSE Project☆45Updated 5 years ago
- ☆12Updated 3 years ago
- A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.☆81Updated 7 years ago
- This is java implementation of Graspan.☆20Updated last year
- Simply C program slicing tool in C☆10Updated 9 years ago
- COVA - A static analysis tool to compute path conditions☆36Updated 2 years ago
- Finding and Understanding Bugs in Software Model Checkers☆8Updated 6 years ago
- Sys, but no longer in Haskell☆18Updated 3 years ago
- Android Benchmark Reproduction Framework☆11Updated 3 years ago
- DBGBench Website:☆18Updated 4 years ago
- Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.☆132Updated 4 years ago
- An automatic test case generator for C source code using Memorized Symbolic Execution☆12Updated 2 years ago