nuprl / augur
Performant taint analysis for Node.js
☆49Updated 8 months ago
Alternatives and similar repositories for augur:
Users that are interested in augur are comparing it to the libraries listed below
- Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.☆54Updated 2 months ago
- TaintFlow, a framework for JavaScript dynamic information flow analysis.☆17Updated 2 years ago
- ☆31Updated 6 months ago
- WALA analyses and tools that are implemented in JavaScript☆82Updated 8 years ago
- A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…☆199Updated 2 months ago
- ODGen is a JavaScript Static Analysis tool to detect multiple types of vulnerabilities in Node.js packages.☆153Updated last year
- Type Analyzer for JavaScript☆195Updated last month
- ObjLupAnsys is a tool to detect prototype pollution vulnerabilities in Node.js packages. This project is written in Python and JavaScript…☆23Updated 3 years ago
- Dynamic analysis framework for JavaScript☆448Updated last year
- Towards Measuring Supply Chain Attacks on Package Managers for Interpreted Languages☆130Updated 2 years ago
- ☆26Updated last year
- Statically Detecting Vulnerable Data Flows in Browser Extensions at Scale☆74Updated 3 years ago
- Home page of project "KB"☆122Updated last week
- A delta debugger for JavaScript☆51Updated 2 years ago
- Basic Gradle configuration and example drivers to get started with WALA☆29Updated 4 months ago
- Static data flow-based analysis of JavaScript files to detect syntactic clones☆23Updated 5 years ago
- Automatically Preventing Code Injection Attacks on Node.js☆78Updated 2 years ago
- Modular static malicious JavaScript detection system☆69Updated 4 years ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆40Updated 3 years ago
- Creates a CFG from JavaScript source code.☆68Updated 6 months ago
- creates a control flow graph from an esprima abstract syntax tree☆170Updated 7 years ago
- ReDeBug Source Code.☆24Updated last year
- ☆68Updated 3 years ago
- Construct approximate static call graph for JavaScript & Typescript☆190Updated 2 years ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆66Updated 3 months ago
- JAW: A Graph-based Security Analysis Framework for Client-side JavaScript☆105Updated 3 months ago
- ISSTA'23 - Third-party Library Dependency for Large-scale SCA in the C/C++ Ecosystem: How Far Are We?☆29Updated last year
- A browser fuzzer augmented by API mod-ref relations☆31Updated last year
- Scalable Analysis Framework for ECMAScript☆119Updated 3 years ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆131Updated this week