The following pages link to (Q4813388):
Displayed 12 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)
- Verifying pointer and string analyses with region type systems (Q2014831) (← links)
- Automata-based symbolic string analysis for vulnerability detection (Q2248096) (← links)
- A type and effect system for activation flow of components in Android programs (Q2252643) (← 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)