TaintFlow, a framework for JavaScript dynamic information flow analysis.
☆18Jan 18, 2023Updated 3 years ago
Alternatives and similar repositories for taintflow
Users that are interested in taintflow are comparing it to the libraries listed below
Sorting:
- JITed Taint Tracking in V8☆15May 19, 2014Updated 11 years ago
- Discovered Data and Source Code☆10May 5, 2025Updated 9 months ago
- JSFlow is a security-enhanced JavaScript interpreter for fine-grained tracking of information flow.☆15May 28, 2021Updated 4 years ago
- Toy implementation of a Automated Exploit Generation built on Angr; stiched using radare, pwntools, pyelftools, and Angrop.☆16Jan 9, 2022Updated 4 years ago
- JavaScript virtual machine for WebAssembly and Taint Tracking security tool☆15Dec 15, 2017Updated 8 years ago
- ☆14Dec 10, 2021Updated 4 years ago
- Tai-e学习记录☆20Apr 15, 2024Updated last year
- Source code for ACM CCS 2020 Paper PMForce: Systematically Analyzing postMessage Handlers at Scale☆18May 17, 2021Updated 4 years ago
- S2E plugins library☆17Jan 7, 2020Updated 6 years ago
- Clonewise - Detecting Package Clones and Inferring Security Vulnerabilities on Entire Linux Distributions.☆25Feb 15, 2013Updated 13 years ago
- A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆21Jun 10, 2017Updated 8 years ago
- Statically-linked portable applications for Linux x86, x86-64, armhf and arm64☆25Apr 11, 2020Updated 5 years ago
- A Cross-Language Dynamic Information Flow Analysis.☆28Nov 29, 2022Updated 3 years ago
- A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…☆220Jan 19, 2025Updated last year
- Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.☆59Jan 18, 2025Updated last year
- GPT AiCSA(Code security audit)，SAST（Static Application Security Testing，静态应用程序安全测试），JAR security analysis, static vulnerability and vulne…☆60Dec 26, 2023Updated 2 years ago
- A simple, web based dashboard to use with LibAFL + OnDiskJSONMonitor☆24Feb 3, 2026Updated 3 weeks ago
- Static JavaScript Analysis: AST, Control Flow, Data Flow, & Pointer Analysis☆28Feb 26, 2022Updated 4 years ago
- Dump the call graph by the static analysis of FlowDroid☆23Jun 22, 2017Updated 8 years ago
- Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.☆34Jul 29, 2018Updated 7 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆33Feb 18, 2020Updated 6 years ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Apr 29, 2021Updated 4 years ago
- 👓 Yet another binary vulnerbilities checker. An automated vulnerability scanner for ELF based on symbolic execution.☆34Nov 7, 2021Updated 4 years ago
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆39Apr 9, 2023Updated 2 years ago
- A fuzzing framework targeted at MQTT brokers. Modeled as a finite state machine (using Markov Modeling).☆38Jul 11, 2023Updated 2 years ago
- SQLAlchemy bindings for WordPress☆13Oct 22, 2010Updated 15 years ago
- ROP Benchmark is a tool to compare ROP compilers☆44Jan 26, 2023Updated 3 years ago
- Code for the NDSS'23 paper "DARWIN: Survival of the Fittest Fuzzing Mutators"☆33Feb 28, 2023Updated 3 years ago
- Red-Team - AI Agent to Phish Employees based on Social Intelligence.☆22Dec 28, 2025Updated 2 months ago
- ☆11Jan 5, 2023Updated 3 years ago
- CDCL(Crypto) SAT solver for cryptanalysis problems☆11Mar 5, 2021Updated 4 years ago
- headless-ida-mcp-server☆30Apr 4, 2025Updated 10 months ago
- A comprehensive repository for malware analysis and threat intelligence, including Cobalt Strike Beacon configurations, YARA rules, IOCs,…☆15Updated this week
- Python infrastructure to train paths selectors for symbolic execution engines.☆13Updated this week
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Feb 22, 2019Updated 7 years ago
- Avalanche is a document generator which uses context-free grammars to generate randomized outputs for fuzz-testing.☆33May 1, 2021Updated 4 years ago
- A monitoring script for AFL☆41Feb 8, 2017Updated 9 years ago
- Android 隐私合规检测方案，基于ASM编译期插桩，将隐私api调用的堆栈信息保存到本地Excel文件中☆40Dec 19, 2021Updated 4 years ago
- Android 隐私政策合规检查方案☆39Sep 1, 2022Updated 3 years ago