Underapproximation of Procedure Summaries for Integer Programs
No abstract available.
Related papers
- Accelerated Bounded Model Checking Using Interpolation Based Summaries TACAS 2024
- Proof-guided underapproximation-widening for multi-process systems POPL 2005
- Monotone Procedure Summarization via Vector Addition Systems and Inductive Potentials OOPSLA 2024
- Computing Procedure Summaries for Interprocedural Analysis ESOP 2007
- Unbounded Procedure Summaries from Bounded Environments VMCAI 2021
- Generating precise and concise procedure summaries POPL 2008
- Precise and compact modular procedure summaries for heap manipulating programs PLDI 2011
- Practical memory leak detector based on parameterized procedural summaries ISMM 2008