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
  ☆123Updated 10 years ago
• henry-nazare / llvm-sra
  Symbolic range analysis for LLVM.
  ☆12Updated 10 years ago
• cs-au-dk / TAJS
  Type Analyzer for JavaScript
  ☆199Updated 11 months ago
• yujokang / EPEx
  Tool for detecting error handling bugs
  ☆23Updated 9 years ago
• goyalankit / compilers-and-llvm
  LLVM optimization passes (DCE, LICM), compilers and stuff
  ☆14Updated 5 years ago
• Graspan / graspan-java
  This is java implementation of Graspan.
  ☆20Updated 2 years ago
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆35Updated last year
• wala / JS_WALA
  WALA analyses and tools that are implemented in JavaScript
  ☆81Updated 9 years ago
• Samsung / jalangi2
  Dynamic analysis framework for JavaScript
  ☆477Updated 3 weeks ago
• soundiness / soundiness.github.io
  ☆12Updated last year
• saltlab / BugAID
  A tool for learning bug patterns.
  ☆11Updated 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
• sukyoung / safe
  Scalable Analysis Framework for ECMAScript
  ☆118Updated 4 years ago
• tum-i4 / klee-install
  Step by step manual for building KLEE
  ☆18Updated 8 years ago
• columbia / woodpecker
  Woodpecker: Verifying systems rules using rule-directed symbolic execution
  ☆12Updated 9 years ago
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆54Updated 12 years ago
• xiw / mini-mc
  minimal symbolic model checker & fuzzer
  ☆114Updated 10 years ago
• shwetasshinde24 / BesFS
  A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
  ☆17Updated 6 years ago
• IoTBench / IoTBench-test-suite
  A micro-benchmark suite to assess the effectiveness of tools designed for IoT apps
  ☆66Updated 6 years ago
• liuml07 / giri
  Dynamic Program Slicing in LLVM Compiler
  ☆143Updated 7 years ago
• bin2415 / llvm-stack-guard
  简化版本llvm的stackprotector策略，将其包装成一个pass，对程序的stack进行保护
  ☆13Updated 8 years ago
• jarulraj / llvm
  Compiler Course
  ☆19Updated 10 years ago
• isstac / badger
  ☆21Updated 7 years ago
• HVLearn / HVLearn
  A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning
  ☆21Updated 8 years ago
• codelion / pa.llvm
  Program Analysis for LLVM
  ☆38Updated 8 years ago
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 6 years ago
• delcypher / srg-llvm-pass-tutorial
  Code used in a short tutorial on LLVM passes for the Software Reliablity Group (SRG) at Imperial
  ☆19Updated 10 years ago
• adrianherrera / llvm-cfg-to-json
  Exports an LLVM control flow graph (CFG) (including function calls) to JSON
  ☆25Updated 4 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆101Updated 5 years ago