Invizory / taintflowLinks
TaintFlow, a framework for JavaScript dynamic information flow analysis.
☆17Updated 2 years ago
Alternatives and similar repositories for taintflow
Users that are interested in taintflow are comparing it to the libraries listed below
Sorting:
- Performant taint analysis for Node.js☆50Updated 9 months ago
- CRash Scope (CRScope) is a ML-guided crash classifier of a given JavaScript engine crash-dump file.☆12Updated 5 years ago
- COVA - A static analysis tool to compute path conditions☆36Updated 2 years ago
- ☆29Updated last month
- ObjLupAnsys is a tool to detect prototype pollution vulnerabilities in Node.js packages. This project is written in Python and JavaScript…☆24Updated 3 years ago
- ☆27Updated 2 years ago
- Static data flow-based analysis of JavaScript files to detect syntactic clones☆23Updated 5 years ago
- A collection of JavaScript test suites from JavaScript engine & Test262 repositories.☆21Updated 4 years ago
- ☆31Updated 8 months ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆17Updated 4 months ago
- Source code for ACM CCS 2020 Paper PMForce: Systematically Analyzing postMessage Handlers at Scale☆17Updated 4 years ago
- Statically Detecting Vulnerable Data Flows in Browser Extensions at Scale☆74Updated 3 years ago
- ☆53Updated 7 years ago
- Securibench Micro is a benchmark for static analysis tools for security.☆26Updated 6 years ago
- ☆47Updated 5 years ago
- ODGen is a JavaScript Static Analysis tool to detect multiple types of vulnerabilities in Node.js packages.☆153Updated last year
- ReDeBug Source Code.☆24Updated last year
- Source code of MEUZZ fuzzer☆45Updated 3 years ago
- ☆22Updated 2 years ago
- ☆19Updated 6 years ago
- A set of Code-ql/Joern queries to find vulnerabilities☆59Updated 4 years ago
- Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.☆57Updated 4 months ago
- Testability Pattern Catalogs for SAST☆30Updated 3 months ago
- ☆12Updated 3 years ago
- List the real world programs evaluated in fuzzing papers.☆56Updated 6 years ago
- ☆26Updated last year
- Static JavaScript Analysis: AST, Control Flow, Data Flow, & Pointer Analysis☆26Updated 3 years ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆40Updated 3 years ago
- This is the project of LearnAFL.☆28Updated 4 years ago
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆40Updated last year