The following pages link to (Q4813388):
Displaying 20 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)
- Verifying pointer and string analyses with region type systems (Q2014831) (← links)
- Completeness of string analysis for dynamic languages (Q2051812) (← links)
- Twinning automata and regular expressions for string static analysis (Q2234078) (← 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)
- Trading Plaintext-Awareness for Simulatability to Achieve Chosen Ciphertext Security (Q2798768) (← links)
- A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings (Q2964458) (← 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)
- Relaxed Parsing of Regular Approximations of String-Embedded Languages (Q3179182) (← links)
- Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions (Q3303917) (← links)
