01Test-first methodology with automated generation of vulnerable and safe cases
022 GitHub stars
03Integrated validation and taint-flow debugging for complex security rules
04Mandatory applicability analysis to prevent invalid rule translation
05AST-based pattern translation for high-precision detection
06Automated cross-language rule porting for polyglot environments