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
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 11 years ago
• goyalankit / compilers-and-llvm
  LLVM optimization passes (DCE, LICM), compilers and stuff
  ☆13Updated 4 years ago
• sukyoung / safe
  Scalable Analysis Framework for ECMAScript
  ☆119Updated 4 years ago
• wala / JS_WALA
  WALA analyses and tools that are implemented in JavaScript
  ☆81Updated 8 years ago
• xiw / mini-mc
  minimal symbolic model checker & fuzzer
  ☆113Updated 10 years ago
• cs-au-dk / TAJS
  Type Analyzer for JavaScript
  ☆196Updated 6 months ago
• henry-nazare / llvm-sra
  Symbolic range analysis for LLVM.
  ☆12Updated 9 years ago
• saltlab / BugAID
  A tool for learning bug patterns.
  ☆11Updated 9 years ago
• Samsung / mimic
  Synthesizer for JavaScript API models
  ☆18Updated 2 years ago
• travitch / llvm-analysis
  A library for analyzing LLVM bitcode in Haskell
  ☆44Updated 10 years ago
• sslab-gatech / apisan
  APISan: Sanitizing API Usages through Semantic Cross-Checking
  ☆64Updated 3 years ago
• tum-i4 / klee-install
  Step by step manual for building KLEE
  ☆18Updated 8 years ago
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 5 years ago
• estools / esfuzz
  fuzzer for generative testing of ECMAScript parsers
  ☆59Updated 11 years ago
• cs-au-dk / TIP
  Static program analysis for TIP
  ☆295Updated 3 months 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…
  ☆70Updated 8 years ago
• columbia / woodpecker
  Woodpecker: Verifying systems rules using rule-directed symbolic execution
  ☆12Updated 9 years ago
• Samsung / jalangi2
  Dynamic analysis framework for JavaScript
  ☆461Updated last year
• jburnim / crest
  CREST is a concolic test generation tool for C.
  ☆162Updated 5 years ago
• liuml07 / giri
  Dynamic Program Slicing in LLVM Compiler
  ☆142Updated 7 years ago
• tingsu / caut-lib
  a CIL-based dynamic symbolic execution (DSE) engine for C language
  ☆10Updated 10 years ago
• Graspan / graspan-java
  This is java implementation of Graspan.
  ☆20Updated last year
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆34Updated 10 months ago
• martintrojer / symbolic-execution
  Applied Symbolic Execution with KLEE/LLVM
  ☆24Updated 12 years ago
• fengcc / ProgramSlicing
  Simply C program slicing tool in C
  ☆10Updated 10 years ago
• jirislaby / LLVMSlicer
  Static Slicer for LLVM
  ☆67Updated 9 years ago
• wala / jsdelta
  A delta debugger for JavaScript
  ☆53Updated 3 years ago
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆100Updated 2 years ago
• thinkmoore / llvm-analysis
  Static analysis for llvm
  ☆20Updated 10 years ago