Pages that link to "Item:Q5385606"
From MaRDI portal
The following pages link to A Practical String Analyzer by the Widening Approach (Q5385606):
Displayed 5 items.
- Twinning automata and regular expressions for string static analysis (Q2234078) (← links)
- Automata-based symbolic string analysis for vulnerability detection (Q2248096) (← links)
- Widening and narrowing operators for abstract interpretation (Q2275526) (← links)
- String Analysis as an Abstract Interpretation (Q3075489) (← links)
- String abstract domains and their combination (Q6102247) (← links)