Alternatives and similar repositories for Jalangi-Berkeley

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

• isstac / badger
  ☆20Updated 6 years ago
• Berkeley-Correctness-Group / DLint
  Runtime checker for JS coding practices
  ☆35Updated 2 years ago
• henry-nazare / llvm-sra
  Symbolic range analysis for LLVM.
  ☆10Updated 9 years ago
• SRA-SiliconValley / jalangi
  Available for legacy purposes. New users please see Jalangi2 https://github.com/Samsung/jalangi2
  ☆123Updated 9 years ago
• goyalankit / compilers-and-llvm
  LLVM optimization passes (DCE, LICM), compilers and stuff
  ☆13Updated 4 years ago
• yujokang / EPEx
  Tool for detecting error handling bugs
  ☆22Updated 8 years ago
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆32Updated 5 years ago
• codelion / pa.llvm
  Program Analysis for LLVM
  ☆36Updated 8 years ago
• wala / JS_WALA
  WALA analyses and tools that are implemented in JavaScript
  ☆82Updated 8 years ago
• caballa / wrapped-intervals
  Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…
  ☆12Updated 7 years ago
• jarulraj / llvm
  Compiler Course
  ☆18Updated 10 years ago
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆33Updated 7 months ago
• qingkaishi / context-sensitive-reachability
  Indexing reachability for context-sensitive data flow analysis.
  ☆11Updated 2 years ago
• columbia / woodpecker
  Woodpecker: Verifying systems rules using rule-directed symbolic execution
  ☆12Updated 8 years ago
• whichbug / SVF-UAF
  A use-after-free checker based on SVF.
  ☆21Updated 7 years ago
• sslab-gatech / caver
  ☆26Updated 9 years ago
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 5 years ago
• awen-li / PCA
  A data dependence analyzer for C program
  ☆21Updated 3 years ago
• tingsu / caut-lib
  a CIL-based dynamic symbolic execution (DSE) engine for C language
  ☆10Updated 10 years ago
• mjc92 / buffer_overrun_memory_networks
  ☆20Updated 8 years ago
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆100Updated 2 years ago
• grievejia / tpa
  Pointer Analysis with Tunable Precision
  ☆26Updated 9 years ago
• brucespang / taint-analysis
  Static analysis to detect taint in java programs
  ☆9Updated 12 years ago
• WSP-LAB / CRScope
  CRash Scope (CRScope) is a ML-guided crash classifier of a given JavaScript engine crash-dump file.
  ☆12Updated 5 years ago
• DengMinghua / LLVM-Program-Dependency-Graph-Generator
  A pass that can generate PDG(in *.dot) for LLVM.
  ☆36Updated 8 years ago
• soundiness / soundiness.github.io
  ☆11Updated 4 months ago
• sslab-gatech / juxta
  ☆25Updated 3 years ago
• yannicnoller / hydiff
  ☆25Updated 3 years ago
• ICSE2020-MemLock / MemLock
  MemLock: Memory Usage Guided Fuzzing
  ☆33Updated 4 years ago
• sslab-gatech / kernel-analyzer
  ☆71Updated 5 years ago