Cited in
(23)- Symbolic string transformations with regular lookahead and rollback
- Symbolic String Verification: Combining String Analysis and Size Analysis
- Context-oriented web application protection model
- Equivalence of finite-valued symbolic finite transducers
- String theories involving regular membership predicates: from practice to theory and back
- Stranger
- AMNESIA
- CSSV
- Symbolic automata
- Snort
- LIFT
- Sigma*
- Fable
- Merlin
- Pixy
- Z3str2
- TAJ
- Bex
- Towards more efficient methods for solving regular-expression heavy string constraints
- Dynamic management of capabilities in a network aware coordination language
- StringFuzz
- A survey on server-side approaches to securing web applications
- Automata-based symbolic string analysis for vulnerability detection
This page was built for software: Saner
