A Practical String Analyzer by the Widening Approach
No abstract available.
Related papers
- More Precise Yet Efficient Type Inference for Logic Programs SAS 2002
- Precise and scalable static analysis of jQuery using a regular expression domain DLS 2016
- Precise Analysis of String Expressions SAS 2003
- Efficient Abstract Interpretation via Selective Widening OOPSLA 2025
- Proof-guided underapproximation-widening for multi-process systems POPL 2005
- Abstract parsing for two-staged languages with concatenation GPCE 2009
- Analyzing Exotic Instructions for a Retargetable Code Generator PLDI 1982
- Data-Parallel String-Manipulating Programs POPL 2015