Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions
No abstract available.
Related papers
- Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions ESOP 2006
- ALASCA: Reasoning in Quantified Linear Arithmetic TACAS 2023
- Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions CAV 2002
- Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF TACAS 2017
- Precise interprocedural analysis using random interpretation POPL 2005
- Proof Tree Preserving Interpolation TACAS 2013
- Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic VMCAI 2011
- Artemis: Toward Accurate Detection of Server-Side Request Forgeries through LLM-Assisted Inter-procedural Path-Sensitive Taint Analysis OOPSLA 2025