The following pages link to (Q4813388):
Displayed 9 items.
- 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)
- Analyzing ambiguity of context-free grammars (Q2266946) (← links)
- Relational String Verification Using Multi-track Automata (Q3073648) (← links)
- An Evaluation of Automata Algorithms for String Analysis (Q3075486) (← links)
- String Analysis as an Abstract Interpretation (Q3075489) (← links)
- Path Feasibility Analysis for String-Manipulating Programs (Q3617764) (← links)
- Symbolic String Verification: Combining String Analysis and Size Analysis (Q3617765) (← links)