NicolaasWeideman / RegexStaticAnalysis
A tool to perform static analysis on regexes to determine whether they are vulnerable to ReDoS.
☆110Updated 2 years ago
Alternatives and similar repositories for RegexStaticAnalysis:
Users that are interested in RegexStaticAnalysis are comparing it to the libraries listed below
- ☆144Updated 2 years ago
- Detect vulnerable regexes in your project. REDOS, catastrophic backtracking.☆320Updated 3 years ago
- A list of ReDoS vulnerabilities in npm modules found by the Software Lab at TU Darmstadt. For each vulnerability, there is a proof-of-con…☆59Updated 7 years ago
- Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.☆53Updated last month
- Codyze is a static analyzer for Java, C, C++ based on code property graphs☆88Updated last month
- Binary rewriting approach with fork server support to fuzz Java applications with afl-fuzz.☆90Updated 6 years ago
- Vulnerabilities discovered in npm packages [Berkeley PL & Security Research]☆44Updated 8 months ago
- Generic SAST Library☆127Updated 3 months ago
- Soot based Jimple interpreter☆14Updated 3 years ago
- A static analysis API for finding deserialization attack gadgets☆38Updated 2 years ago
- Plume is a code representation benchmarking library with options to extract the AST from Java bytecode and store the result in various gr…☆73Updated 4 months ago
- Parser utility to generate ASTs from PHP source code suitable to be processed by Joern.☆16Updated 6 years ago
- An automated tool for the detection of regexes' slow-matching vulnerabilities.☆156Updated 3 years ago
- WALA analyses and tools that are implemented in JavaScript☆82Updated 8 years ago
- Performant taint analysis for Node.js☆49Updated 6 months ago
- ☆11Updated 6 years ago
- Parser utility to generate ASTs from PHP source code suitable to be processed by Joern.☆35Updated 4 years ago
- ReDoSHunter: A Combined Static and Dynamic Approach for Regular Expression DoS Detection☆78Updated 2 years ago
- Java taint propagation for java. Define tainted sources, sanitizer methods and sinks via aspects.☆28Updated 6 years ago
- An automatic testing tool for Java software☆25Updated 6 years ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆17Updated 3 weeks ago
- A delta debugger for JavaScript☆51Updated 2 years ago
- Testability Pattern Catalogs for SAST☆29Updated this week
- ShiftLeft Scan is a free and open-source commercial-grade security tool for modern DevOps teams.☆13Updated 2 years ago
- Automatically Preventing Code Injection Attacks on Node.js☆78Updated 2 years ago
- TC39 proposal for mitigating prototype pollution☆46Updated last year
- Phosphor: Dynamic Taint Tracking for the JVM☆171Updated last month
- Discussion area for security aspects of ECMAScript☆64Updated 7 years ago
- ObjLupAnsys is a tool to detect prototype pollution vulnerabilities in Node.js packages. This project is written in Python and JavaScript…☆22Updated 3 years ago
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆42Updated 3 years ago