patrick-petrovic / visualDFA
VisualDFA is a sophisticated educational tool for interactively visualizing data-flow analyses using Java/Jimple.
☆12Updated 7 years ago
Alternatives and similar repositories for visualDFA:
Users that are interested in visualDFA are comparing it to the libraries listed below
- Interprocedural Distributive Environment algorithm implementation☆16Updated 9 years ago
- Vine: The BitBlaze Static Analysis Component☆25Updated 10 years ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆17Updated 3 weeks ago
- Applied Symbolic Execution with KLEE/LLVM☆24Updated 11 years ago
- Interactive Control Flow Graph Visualization.☆31Updated 3 years ago
- A tool for testing C compilers automatically☆20Updated 9 years ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆36Updated 4 years ago
- CClyzer port to souffle lang☆18Updated last year
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆18Updated 6 years ago
- Data Flow Analysis and Static Single Assignment☆28Updated 6 years ago
- Configurable instrumentation of LLVM bitcode☆33Updated last week
- Map2Check: Finding Software Vulnerabilities☆27Updated 4 years ago
- A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …☆15Updated 5 months ago
- A tool for analyzing LLVM bitcode using Datalog.☆100Updated 4 years ago
- A library for dynamic binary rewriting☆57Updated 4 years ago
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆40Updated 3 years ago
- SMT solver for the theory of floating-point arithmetic☆26Updated 7 years ago
- Verifying x86 semantics☆10Updated 7 years ago
- Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…☆33Updated 3 weeks ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆65Updated this week
- DAI: Demanded Abstract Interpretation☆16Updated 4 months ago
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆25Updated 4 years ago
- This is an implementation of the Language Server Protocol for Jimple. It enables your IDE to provide code exploring features while workin…☆12Updated last year
- Data and scripts for the paper "Polymorphic Type Inference for Machine Code"☆13Updated 8 years ago
- Experimental MLIR based points-to analysis tool☆14Updated 2 months ago
- An SMT Solver for string constraints☆37Updated this week
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- Static checker for Java☆85Updated last month