Available for legacy purposes. New users please see Jalangi2 https://github.com/Samsung/jalangi2
☆122May 29, 2015Updated 11 years ago
Alternatives and similar repositories for jalangi
Users that are interested in jalangi are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Dynamic analysis framework for JavaScript☆504Jan 10, 2026Updated 9 months ago
- Runtime checker for JS coding practices☆35Sep 13, 2022Updated 4 years ago
- automated testing for JavaScript☆37Feb 1, 2018Updated 8 years ago
- A delta debugger for JavaScript☆53May 17, 2022Updated 4 years ago
- KLEE / CSE Project☆48Apr 3, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An distributed, dynamic and static analysis security sandbox for Android, all open source.☆11Jul 31, 2014Updated 12 years ago
- Doing research on top of Jalangi☆12Sep 9, 2016Updated 10 years ago
- Analyses repository for Jalangi2☆14Sep 2, 2017Updated 9 years ago
- A delta debugger for JavaScript☆18Jan 11, 2014Updated 12 years ago
- WALA analyses and tools that are implemented in JavaScript☆81Oct 25, 2016Updated 10 years ago
- A fuzzer for SMT solvers☆23May 8, 2026Updated 5 months ago
- A Z3-Based String Constraint Solver☆88Jan 1, 2020Updated 6 years ago
- JaVerT2.0 - Compositional Symbolic Execution for JavaScript☆20Apr 22, 2020Updated 6 years ago
- write-what-where plus heap address leaking in OMX☆36Dec 8, 2015Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Dynamic tracing for binary applications (using PIN), IDA plugin to visualize and interact with the traces☆97Mar 24, 2012Updated 14 years ago
- The Cloud9 main repository☆56Sep 11, 2013Updated 13 years ago
- Z3 Symbolic Execution python☆28Dec 28, 2017Updated 8 years ago
- Type Analyzer for JavaScript☆199Feb 11, 2025Updated last year
- ask whether a particular esprima node matches a CSS-like selector☆14Sep 18, 2016Updated 10 years ago
- IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis☆10Mar 10, 2018Updated 8 years ago
- A(nother) Binary Analysis Framework☆31Jun 10, 2014Updated 12 years ago
- Tool to measure code coverage of Android applications when their source code is not available☆12Apr 1, 2023Updated 3 years ago
- Automated Testing Tool for Android Applications.☆61Jan 13, 2015Updated 11 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Automatic Android App Explorer☆42Sep 15, 2016Updated 10 years ago
- Staging repository for WEB_REPLAY feature in WebKit.☆13Jun 29, 2015Updated 11 years ago
- ☆20Jun 25, 2013Updated 13 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆31Nov 24, 2015Updated 10 years ago
- libdft for win☆51Jul 8, 2013Updated 13 years ago
- Static heap reachability analysis for Java bytecode and Android memory leak finder.☆34Oct 25, 2014Updated 12 years ago
- FuzzBALL: Vine-based Binary Symbolic Execution☆216Aug 15, 2025Updated last year
- Android sandboxing (ptrace based)☆14Jul 21, 2015Updated 11 years ago
- ropc-llvm is a PoC of a Turing complete ROP compiler with support for a subset of LLVM IR. It is an extension of ropc.☆69Oct 3, 2013Updated 13 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ECMAScript code generator on steroids☆39Dec 24, 2014Updated 11 years ago
- Finding the potential null pointer exception☆29Dec 1, 2020Updated 5 years ago
- Goal-directed static analysis tool for JVM languages.☆60May 17, 2016Updated 10 years ago
- C++11 library for many-sorted logics☆39Nov 21, 2016Updated 9 years ago
- A dockerized droidbox instance☆25Apr 7, 2016Updated 10 years ago
- Eclipse plugin that synthesizes real Java code☆26Aug 20, 2014Updated 12 years ago
- The tool to decode obfuscated shellcodes using the unicorn and capstone engine☆54Jun 19, 2016Updated 10 years ago