Berkeley-Correctness-Group / Jalangi-Berkeley
Doing research on top of Jalangi
☆12Updated 8 years ago
Alternatives and similar repositories for Jalangi-Berkeley:
Users that are interested in Jalangi-Berkeley are comparing it to the libraries listed below
- Available for legacy purposes. New users please see Jalangi2 https://github.com/Samsung/jalangi2☆123Updated 9 years ago
- Symbolic range analysis for LLVM.☆10Updated 9 years ago
- Type Analyzer for JavaScript☆195Updated 2 months ago
- Step by step manual for building KLEE☆18Updated 7 years ago
- LLVM optimization passes (DCE, LICM), compilers and stuff☆13Updated 4 years ago
- WALA analyses and tools that are implemented in JavaScript☆82Updated 8 years ago
- Tool for detecting error handling bugs☆22Updated 8 years ago
- Scalable Analysis Framework for ECMAScript☆119Updated 3 years ago
- Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.☆56Updated 3 months ago
- The Cloud9 main repository☆52Updated 11 years ago
- Woodpecker: Verifying systems rules using rule-directed symbolic execution☆12Updated 8 years ago
- Source of the Symbolic Execution-based Test Tool Evaluator (SETTE)☆11Updated 2 years ago
- ☆11Updated 3 months ago
- Code used in a short tutorial on LLVM passes for the Software Reliablity Group (SRG) at Imperial☆19Updated 10 years ago
- Inter-procedural analysis framework and dependency/information-flow analysis for LLVM☆19Updated 12 years ago
- A unification-based alias analysis and related tools☆32Updated 6 months ago
- ☆20Updated 6 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆90Updated 11 months ago
- A use-after-free checker based on SVF.☆20Updated 7 years ago
- Program Analysis for LLVM☆36Updated 8 years ago
- This is java implementation of Graspan.☆20Updated last year
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Updated 4 years ago
- SKI virtual machine for testing concurrency bugs☆12Updated 9 years ago
- JISET: JavaScript IR-based Semantics Extraction Toolchain☆41Updated 2 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆32Updated 5 years ago
- Pointer Analysis with Tunable Precision☆26Updated 9 years ago
- minimal symbolic model checker & fuzzer☆112Updated 9 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆63Updated 3 years ago
- A points-to and alias analysis benchmark suite☆40Updated 6 years ago
- Performant taint analysis for Node.js☆49Updated 8 months ago