Alternatives and similar repositories for Jalangi-Berkeley:

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

• Berkeley-Correctness-Group / DLint
  Runtime checker for JS coding practices
  ☆35Updated 2 years ago
• SRA-SiliconValley / jalangi
  Available for legacy purposes. New users please see Jalangi2 https://github.com/Samsung/jalangi2
  ☆122Updated 9 years ago
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 11 years ago
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆31Updated 3 months ago
• wala / jsdelta
  A delta debugger for JavaScript
  ☆51Updated 2 years ago
• jarulraj / llvm
  Compiler Course
  ☆17Updated 9 years ago
• jieyu / maple
  A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…
  ☆69Updated 7 years ago
• goyalankit / compilers-and-llvm
  LLVM optimization passes (DCE, LICM), compilers and stuff
  ☆14Updated 4 years ago
• codelion / pa.llvm
  Program Analysis for LLVM
  ☆36Updated 7 years ago
• ksen007 / jalangi2analyses
  Analyses repository for Jalangi2
  ☆9Updated 7 years ago
• sukyoung / safe
  Scalable Analysis Framework for ECMAScript
  ☆119Updated 3 years ago
• Graspan / graspan-java
  This is java implementation of Graspan.
  ☆20Updated last year
• tum-i4 / klee-install
  Step by step manual for building KLEE
  ☆18Updated 7 years ago
• sarda-nikhil / Sypy
  A symbolic execution engine for Python
  ☆45Updated 12 years ago
• isstac / badger
  ☆20Updated 6 years ago
• tingsu / caut-lib
  a CIL-based dynamic symbolic execution (DSE) engine for C language
  ☆10Updated 9 years ago
• cs-au-dk / TAJS
  Type Analyzer for JavaScript
  ☆194Updated 4 years ago
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆32Updated 4 years ago
• perdisci / WebCapsule
  Record and Replay Engine for Web Browsers
  ☆16Updated 9 years ago
• henry-nazare / llvm-sra
  Symbolic range analysis for LLVM.
  ☆10Updated 9 years ago
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 5 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆99Updated 4 years ago
• rohanpadhye / vasco
  An inter-procedural data-flow analysis framework using value-based context sensitivity
  ☆89Updated 7 months ago
• xiw / mini-mc
  minimal symbolic model checker & fuzzer
  ☆111Updated 9 years ago
• secure-software-engineering / boomerang
  Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.
  ☆23Updated last month
• jirislaby / LLVMSlicer
  Static Slicer for LLVM
  ☆65Updated 9 years ago
• isstac / spf-wca
  Tool for algorithmic complexity analysis based on symbolic execution
  ☆10Updated 6 years ago
• season-lab / survey-symbolic-execution
  A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.
  ☆81Updated 6 years ago
• soundiness / soundiness.github.io
  ☆11Updated last week
• liuml07 / giri
  Dynamic Program Slicing in LLVM Compiler
  ☆136Updated 6 years ago