Alternatives and similar repositories for Jalangi-Berkeley

Users that are interested in Jalangi-Berkeley are comparing it to the libraries listed below

• SRA-SiliconValley / jalangi
  Available for legacy purposes. New users please see Jalangi2 https://github.com/Samsung/jalangi2
  ☆122Updated 10 years ago
• henry-nazare / llvm-sra
  Symbolic range analysis for LLVM.
  ☆12Updated 9 years ago
• travitch / llvm-analysis
  A library for analyzing LLVM bitcode in Haskell
  ☆44Updated 11 years ago
• SETTE-Testing / sette-tool
  Source of the Symbolic Execution-based Test Tool Evaluator (SETTE)
  ☆11Updated 3 years ago
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆36Updated last year
• goyalankit / compilers-and-llvm
  LLVM optimization passes (DCE, LICM), compilers and stuff
  ☆14Updated 5 years ago
• isstac / badger
  ☆20Updated 6 years ago
• yujokang / EPEx
  Tool for detecting error handling bugs
  ☆23Updated 9 years ago
• whichbug / SVF-UAF
  A use-after-free checker based on SVF.
  ☆20Updated 8 years ago
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 5 years ago
• sslab-gatech / juxta
  ☆26Updated 4 years ago
• wala / jsdelta
  A delta debugger for JavaScript
  ☆54Updated 3 years ago
• franchiotta / taintchecker
  Clang static checker that carries out tainting analysis.
  ☆88Updated 7 years ago
• rohanpadhye / vasco
  An inter-procedural data-flow analysis framework using value-based context sensitivity
  ☆91Updated last year
• grievejia / andersen
  Andersen's inclusion-based pointer analysis re-implementation in LLVM
  ☆231Updated 6 years ago
• thinkmoore / llvm-analysis
  Static analysis for llvm
  ☆20Updated 10 years ago
• xiw / mini-mc
  minimal symbolic model checker & fuzzer
  ☆114Updated 10 years ago
• SVF-tools / SUPA
  SUPA
  ☆28Updated 5 years ago
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆53Updated 12 years ago
• grievejia / tpa
  Pointer Analysis with Tunable Precision
  ☆27Updated 9 years ago
• sslab-gatech / apisan
  APISan: Sanitizing API Usages through Semantic Cross-Checking
  ☆64Updated 4 years ago
• jburnim / crest
  CREST is a concolic test generation tool for C.
  ☆162Updated 5 years ago
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆101Updated 3 years ago
• Graspan / graspan-java
  This is java implementation of Graspan.
  ☆20Updated last year
• ICSE2020-MemLock / MemLock
  MemLock: Memory Usage Guided Fuzzing
  ☆32Updated 5 years ago
• soundiness / soundiness.github.io
  ☆12Updated 11 months ago
• adrianherrera / llvm-cfg-to-json
  Exports an LLVM control flow graph (CFG) (including function calls) to JSON
  ☆25Updated 4 years ago
• bin2415 / llvm_CFGPass
  llvm control flow graph
  ☆26Updated 6 years ago
• proganalysis / type-inference
  Automatically exported from code.google.com/p/type-inference
  ☆27Updated 6 years ago
• tingsu / caut-lib
  a CIL-based dynamic symbolic execution (DSE) engine for C language
  ☆10Updated 10 years ago