Trace Partitioning in Abstract Interpretation Based Static Analyzers
Abstract elided by the publisher.
Related papers
- The trace partitioning abstract domain TOPLAS 2007
- Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript ECOOP 2020
- Trace Partitioning as an Optimization Problem SAS 2024
- The Systematic Design of Responsibility Analysis by Abstract Interpretation TOPLAS 2022
- Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation ECOOP 2021
- Finding Recurrent Sets with Backward Analysis and Trace Partitioning TACAS 2016
- Refining Static Analyses by Trace-Based Partitioning Using Control Flow SAS 1998
- Using Bounded Model Checking to Focus Fixpoint Iterations SAS 2011