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:
- ☆145Updated 2 years ago
- Codyze is a static analyzer for Java, C, C++ based on code property graphs☆89Updated 9 months ago
- An automated tool for the detection of regexes' slow-matching vulnerabilities.☆155Updated 3 years ago
- Generic SAST Library☆132Updated 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…☆58Updated 7 years ago
- JAW: A Graph-based Security Analysis Framework for Client-side JavaScript☆112Updated 2 months ago
- Automatically Preventing Code Injection Attacks on Node.js☆78Updated 3 years ago
- GitHub Satellite 2020 workshops on finding security vulnerabilities with CodeQL for Java/JavaScript.☆211Updated last year
- ☆19Updated 6 years ago
- This is the repository for JÄk. I created it as prototype during my masterthesis.☆31Updated 7 years ago
- A static analysis API for finding deserialization attack gadgets☆38Updated 3 years ago
- A Node.js vulnerability finding tool.☆96Updated 3 months ago
- Collection of python helper API's for interacting with LGTM.com in ways the official API doesn't support.☆24Updated 3 years ago
- ☆11Updated 7 years ago
- Java version of the deliberately vulnerable serverless application Serverless-Goat from https://github.com/OWASP/Serverless-Goat☆13Updated 4 years ago
- Securibench Micro is a benchmark for static analysis tools for security.☆26Updated 7 years ago
- Phosphor: Dynamic Taint Tracking for the JVM☆179Updated 5 months ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆18Updated 9 months ago
- Detect vulnerable regexes in your project. REDOS, catastrophic backtracking.☆337Updated 3 years ago
- Java taint propagation for java. Define tainted sources, sanitizer methods and sinks via aspects.☆29Updated 7 years ago
- Grammar-based HTTP/2 fuzzer with mutation ability☆47Updated 3 years ago
- Vulnerabilities discovered in npm packages [Berkeley PL & Security Research]☆42Updated last year
- Performant taint analysis for Node.js☆55Updated last year
- WALA analyses and tools that are implemented in JavaScript☆81Updated 9 years ago
- Testability Pattern Catalogs for SAST☆31Updated 9 months ago
- FUGIO: Automatic Exploit Generation for PHP Object Injection Vulnerabilities☆96Updated last year
- SARIF Microsoft Visual Studio Code extension☆122Updated this week
- Parser utility to generate ASTs from PHP source code suitable to be processed by Joern.☆36Updated 5 years ago
- TaintFlow, a framework for JavaScript dynamic information flow analysis.☆18Updated 2 years ago
- A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…☆215Updated 10 months ago