Alternatives and similar repositories for jalangi

Users that are interested in jalangi are comparing it to the libraries listed below

• Samsung / jalangi2

  View on GitHub
  Dynamic analysis framework for JavaScript
  ☆480Jan 10, 2026Updated last month
• Berkeley-Correctness-Group / DLint

  View on GitHub
  Runtime checker for JS coding practices
  ☆35Sep 13, 2022Updated 3 years ago
• delcypher / nsolv

  View on GitHub
  Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.
  ☆11Dec 7, 2012Updated 13 years ago
• Berkeley-Correctness-Group / JITProf

  View on GitHub
  Analyses repository for Jalangi2
  ☆14Sep 2, 2017Updated 8 years ago
• cs-au-dk / Artemis

  View on GitHub
  automated testing for JavaScript
  ☆36Feb 1, 2018Updated 8 years ago
• Yanivmd / TRACY

  View on GitHub
  TRACY
  ☆19Jul 1, 2016Updated 9 years ago
• davidtr1037 / chopper

  View on GitHub
  KLEE / CSE Project
  ☆48Apr 3, 2020Updated 5 years ago
• dariosharp / SZpy

  View on GitHub
  Z3 Symbolic Execution python
  ☆28Dec 28, 2017Updated 8 years ago
• rainoftime / smtfuzz

  View on GitHub
  A fuzzer for SMT solvers
  ☆21Aug 22, 2025Updated 5 months ago
• z3str / Z3-str

  View on GitHub
  A Z3-Based String Constraint Solver
  ☆87Jan 1, 2020Updated 6 years ago
• cuplv / dai

  View on GitHub
  DAI: Demanded Abstract Interpretation
  ☆16Sep 23, 2024Updated last year
• saltlab / tochal

  View on GitHub
  Tool for Change Impact Analysis in JavaScript Web Applications
  ☆10Sep 12, 2014Updated 11 years ago
• wala / JS_WALA

  View on GitHub
  WALA analyses and tools that are implemented in JavaScript
  ☆81Oct 25, 2016Updated 9 years ago
• ryosuzuki / trace-diff

  View on GitHub
  [VL/HCC 2017] TraceDiff: Debugging Unexpected Code Behavior Using Trace Divergences
  ☆12Sep 2, 2017Updated 8 years ago
• secure-software-engineering / ideal

  View on GitHub
  IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis
  ☆10Mar 10, 2018Updated 7 years ago
• 0xmilkmix / sandbox

  View on GitHub
  collection of scripts and stuff
  ☆12Aug 15, 2016Updated 9 years ago
• IvanIvanov / JavaScript-Logic-Programming-System

  View on GitHub
  A JavaScript implementation of the Logic Programming System described in section 4.4 of "Structure and Interpretation of Computer Program…
  ☆22Jan 25, 2012Updated 14 years ago
• lujiefsi / NPEDetector

  View on GitHub
  Finding the potential null pointer exception
  ☆29Dec 1, 2020Updated 5 years ago
• hbgit / Map2Check

  View on GitHub
  Map2Check: Finding Software Vulnerabilities
  ☆30Nov 13, 2020Updated 5 years ago
• jgalenson / codehint

  View on GitHub
  Eclipse plugin that synthesizes real Java code
  ☆26Aug 20, 2014Updated 11 years ago
• 0x2Adr1 / gcov

  View on GitHub
  gnu gcov like tool
  ☆12Jun 18, 2015Updated 10 years ago
• bitblaze-fuzzball / d-s-se-directed-tests

  View on GitHub
  Binary dynamic, static, and symbolic execution analysis tools for directed test generation
  ☆22Nov 14, 2019Updated 6 years ago
• abiusx / php-emul

  View on GitHub
  PHP Emulator
  ☆13Dec 18, 2016Updated 9 years ago
• boogie-org / symbooglix

  View on GitHub
  Symbolic Execution Engine for Boogie
  ☆29Dec 27, 2021Updated 4 years ago
• Volcore / gi2d

  View on GitHub
  Global Illumination in 2D
  ☆17Jun 9, 2018Updated 7 years ago
• matthewearl / gchq-xmas

  View on GitHub
  A solver for GCHQ's christmas card puzzle
  ☆12Dec 14, 2015Updated 10 years ago
• mmicu / leena

  View on GitHub
  Symbolic execution engine for JavaScript
  ☆13Apr 5, 2016Updated 9 years ago
• rmkml / etplc

  View on GitHub
  ☆17Mar 22, 2018Updated 7 years ago
• coco-team / zustre

  View on GitHub
  A model checker and assume/guarantee contract generator for Lustre programs.
  ☆16Jun 5, 2018Updated 7 years ago
• BobMarlon / Tny

  View on GitHub
  A simple data serializer in C
  ☆200Mar 6, 2014Updated 11 years ago
• programa-stic / Marvin-toqueton

  View on GitHub
  Automated GUI testing utility developed for Marvin-dynamic-analyzer.
  ☆16Feb 17, 2016Updated 9 years ago
• harisphnx / Distributed_System_Simulator-DSS_py

  View on GitHub
  DSS_py is a Distributed System Simulator.
  ☆14Dec 29, 2022Updated 3 years ago
• trishullab / cflobdd

  View on GitHub
  ☆14Updated this week
• simplisticated / Baggage

  View on GitHub
  Simplifying work with clipboard in iOS.
  ☆13Oct 29, 2017Updated 8 years ago
• amaurremi / IDE

  View on GitHub
  Interprocedural Distributive Environment algorithm implementation
  ☆16Jul 16, 2015Updated 10 years ago
• bshastry / melange-checkers

  View on GitHub
  Clang SA checkers developed as part of the Melange framework
  ☆17Nov 30, 2015Updated 10 years ago
• v9n / simplyrethink

  View on GitHub
  Simple RethinkDB book
  ☆40Apr 12, 2016Updated 9 years ago
• travitch / llvm-analysis

  View on GitHub
  A library for analyzing LLVM bitcode in Haskell
  ☆44Oct 9, 2014Updated 11 years ago
• blackberry / ALF

  View on GitHub
  Fuzz testing framework for security research
  ☆30Jun 19, 2014Updated 11 years ago