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 3 years ago
- An automated tool for the detection of regexes' slow-matching vulnerabilities.☆154Updated 4 years ago
- Codyze is a static analyzer for Java, C, C++ based on code property graphs☆91Updated 11 months ago
- Performant taint analysis for Node.js☆55Updated last year
- Testability Pattern Catalogs for SAST☆31Updated 10 months ago
- GitHub Satellite 2020 workshops on finding security vulnerabilities with CodeQL for Java/JavaScript.☆211Updated last year
- This is the repository for JÄk. I created it as prototype during my masterthesis.☆31Updated 7 years ago
- Phosphor: Dynamic Taint Tracking for the JVM☆179Updated 6 months ago
- Vulnerabilities discovered in npm packages [Berkeley PL & Security Research]☆42Updated last year
- Type Analyzer for JavaScript☆197Updated 10 months ago
- JAW: A Graph-based Security Analysis Framework for Client-side JavaScript☆116Updated 3 months ago
- Generic SAST Library☆133Updated 6 months ago
- ODGen is a JavaScript Static Analysis tool to detect multiple types of vulnerabilities in Node.js packages.☆161Updated last year
- TaintFlow, a framework for JavaScript dynamic information flow analysis.☆18Updated 2 years ago
- A web browser with dynamic data-flow tracking enabled in the Javascript engine and DOM, based on Mozilla Firefox (https://github.com/mozi…☆153Updated last month
- Automatically Preventing Code Injection Attacks on Node.js☆78Updated 3 years ago
- ☆36Updated last year
- WALA analyses and tools that are implemented in JavaScript☆81Updated 9 years ago
- Creates a CFG from JavaScript source code.☆70Updated last year
- ☆28Updated 3 years ago
- ☆19Updated 7 years ago
- Securibench Micro is a benchmark for static analysis tools for security.☆26Updated 7 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
- Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.☆59Updated 11 months ago
- Parser utility to generate ASTs from PHP source code suitable to be processed by Joern.☆37Updated 5 years ago
- The official repo of Doop, the declarative pointer analysis framework.☆202Updated 6 months ago
- Binary rewriting approach with fork server support to fuzz Java applications with afl-fuzz.☆90Updated 7 years ago
- A collection of test cases in the Java language. It contains examples for 112 different CWEs.☆60Updated 4 years ago
- Grammar-based HTTP/2 fuzzer with mutation ability☆47Updated 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 8 years ago