Find regex denial-of-service (ReDoS) vulnerabilities in your JavaScript and TypeScript files. Detects catastrophic backtracking patterns, nested quantifiers, and overlapping alternation before ...
#!/usr/bin/env python3 import z3 s = z3.Solver() d = z3.DeclareSort('d') o = z3.DeclareSort('od') h = z3.DeclareSort('h') cm = z3.Const('c', d) od = z3.Function('od ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results