NicolaasWeideman / RegexStaticAnalysis
A tool to perform static analysis on regexes to determine whether they are vulnerable to ReDoS.
☆109Updated 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
- An automated tool for the detection of regexes' slow-matching vulnerabilities.☆156Updated 3 years ago
- Vulnerabilities discovered in npm packages [Berkeley PL & Security Research]☆43Updated 10 months ago
- Codyze is a static analyzer for Java, C, C++ based on code property graphs☆87Updated 3 months ago
- WALA analyses and tools that are implemented in JavaScript☆82Updated 8 years ago
- Type Analyzer for JavaScript☆195Updated 2 months ago
- This novel black-box web vulnerability scanner attempts to infer the state machine of the web application.☆19Updated 5 years ago
- Creates a CFG from JavaScript source code.☆68Updated 7 months ago
- Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.☆54Updated 3 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…☆59Updated 7 years ago
- Parser utility to generate ASTs from PHP source code suitable to be processed by Joern.☆35Updated 5 years ago
- Automatically Preventing Code Injection Attacks on Node.js☆78Updated 3 years ago
- This is the repository for JÄk. I created it as prototype during my masterthesis.☆30Updated 7 years ago
- An extensible, heuristic-based vulnerability scanning tool for installed npm packages☆50Updated 3 years ago
- Generic SAST Library☆131Updated 5 months ago
- TC39 proposal for mitigating prototype pollution☆46Updated last year
- A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…☆200Updated 3 months ago
- A static analysis API for finding deserialization attack gadgets☆38Updated 2 years ago
- Java taint propagation for java. Define tainted sources, sanitizer methods and sinks via aspects.☆28Updated 6 years ago
- Binary rewriting approach with fork server support to fuzz Java applications with afl-fuzz.☆91Updated 6 years ago
- Security contract types☆60Updated 2 years ago
- OWASP WAP - Web Application Protection Project☆11Updated 5 years ago
- Grammar-based HTTP/2 fuzzer with mutation ability☆43Updated 2 years ago
- Analyse package dependency networks at the call graph level☆93Updated last year
- Repository to showcase various configuration recipes with various technologies☆35Updated 2 years ago
- Testability Pattern Catalogs for SAST☆30Updated 2 months ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆17Updated 2 months ago
- A simple Java command-line utility to mirror the entire contents of VulnDB.☆44Updated 4 months ago
- Source code for ACM CCS 2020 Paper PMForce: Systematically Analyzing postMessage Handlers at Scale☆17Updated 3 years ago
- Parser utility to generate ASTs from PHP source code suitable to be processed by Joern.☆17Updated 6 years ago