NicolaasWeideman / RegexStaticAnalysisLinks
A tool to perform static analysis on regexes to determine whether they are vulnerable to ReDoS.
☆111Updated 3 years ago
Alternatives and similar repositories for RegexStaticAnalysis
Users that are interested in RegexStaticAnalysis are comparing it to the libraries listed below
Sorting:
- ☆144Updated 3 years ago
- Codyze is a static analyzer for Java, C, C++ based on code property graphs☆91Updated last year
- Generic SAST Library☆135Updated 7 months ago
- An automated tool for the detection of regexes' slow-matching vulnerabilities.☆154Updated 4 years ago
- A Node.js vulnerability finding tool.☆96Updated 6 months ago
- Performant taint analysis for Node.js☆56Updated last year
- TaintFlow, a framework for JavaScript dynamic information flow analysis.☆18Updated 3 years ago
- This is the repository for JÄk. I created it as prototype during my masterthesis.☆31Updated 8 years ago
- GitHub Satellite 2020 workshops on finding security vulnerabilities with CodeQL for Java/JavaScript.☆211Updated last year
- Parser utility to generate ASTs from PHP source code suitable to be processed by Joern.☆37Updated 5 years ago
- ☆381Updated 11 months ago
- ☆28Updated 3 years ago
- JAW: A Graph-based Security Analysis Framework for Client-side JavaScript☆117Updated 5 months 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…☆60Updated 8 years ago
- Vulnerabilities discovered in npm packages [Berkeley PL & Security Research]☆42Updated last year
- Java taint propagation for java. Define tainted sources, sanitizer methods and sinks via aspects.☆28Updated 7 years ago
- ☆18Updated 7 years ago
- Run CodeQL queries at scale using Multi-Repository Variant Analysis (MRVA)☆61Updated 9 months ago
- Phosphor: Dynamic Taint Tracking for the JVM☆180Updated 7 months ago
- Type Analyzer for JavaScript☆199Updated last year
- ObjLupAnsys is a tool to detect prototype pollution vulnerabilities in Node.js packages. This project is written in Python and JavaScript…☆26Updated 4 years ago
- An extended Node.js runtime with additional security mechanisms built-in. Protects your Node.js applications from injection attacks such …☆31Updated 4 years ago
- A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…☆218Updated last year
- Testability Pattern Catalogs for SAST☆31Updated 11 months ago
- WALA analyses and tools that are implemented in JavaScript☆81Updated 9 years ago
- Finding potential software vulnerabilities from git commit messages☆419Updated 2 years ago
- A static analysis API for finding deserialization attack gadgets☆38Updated 3 years ago
- Securibench Micro is a benchmark for static analysis tools for security.☆26Updated 7 years ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆18Updated last year
- Automatically Preventing Code Injection Attacks on Node.js☆78Updated 3 years ago