nuprl / augur
Performant taint analysis for Node.js
☆49Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for augur
- Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.☆53Updated last month
- TaintFlow, a framework for JavaScript dynamic information flow analysis.☆17Updated last year
- ☆28Updated last month
- WALA analyses and tools that are implemented in JavaScript☆82Updated 8 years ago
- ODGen is a JavaScript Static Analysis tool to detect multiple types of vulnerabilities in Node.js packages.☆147Updated 9 months ago
- ObjLupAnsys is a tool to detect prototype pollution vulnerabilities in Node.js packages. This project is written in Python and JavaScript…☆22Updated 2 years ago
- A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…☆190Updated 4 months ago
- Creates a CFG from JavaScript source code.☆65Updated last month
- Towards Measuring Supply Chain Attacks on Package Managers for Interpreted Languages☆121Updated 2 years ago
- Source code for ACM CCS 2020 Paper PMForce: Systematically Analyzing postMessage Handlers at Scale☆17Updated 3 years ago
- Type Analyzer for JavaScript☆194Updated 4 years ago
- Modular static malicious JavaScript detection system☆65Updated 3 years ago
- Statically Detecting Vulnerable Data Flows in Browser Extensions at Scale☆66Updated 2 years ago
- This repository contains a list of papers about software supply chain☆25Updated 5 months ago
- ☆68Updated 3 years ago
- Static data flow-based analysis of JavaScript files to detect syntactic clones☆22Updated 4 years ago
- Testability Pattern Catalogs for SAST☆29Updated 7 months ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆16Updated 7 months ago
- ☆28Updated 2 years ago
- Static analysis to detect taint in java programs☆9Updated 11 years ago
- A delta debugger for JavaScript☆51Updated 2 years ago
- ☆36Updated last week
- A constraint solver abstraction layer for Java☆20Updated last year
- Phosphor: Dynamic Taint Tracking for the JVM☆166Updated 2 months ago
- ☆23Updated 8 months ago
- A collection of JavaScript test suites from JavaScript engine & Test262 repositories.☆21Updated 4 years ago
- ☆50Updated 10 months ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆41Updated 3 years ago
- A collection of test cases in the Java language. It contains examples for 112 different CWEs.☆52Updated 3 years ago
- ☆23Updated 3 years ago