The following pages link to (Q4813388):
Displaying 7 items.
- Simple linear string constraints (Q469349) (← links)
- An efficient SMT solver for string constraints (Q518402) (← links)
- Z3str2: an efficient solver for strings, regular expressions, and length constraints (Q526767) (← links)
- XML graphs in program analysis (Q532414) (← links)
- Preventing injection attacks with syntax embeddings (Q608228) (← links)
- Simple and safe SQL queries with \texttt{C++} templates (Q608241) (← links)
- Efficient static checker for tainted variable attacks (Q1651020) (← links)
