Refining Static Analyses by Trace-Based Partitioning Using Control Flow
Abstract elided by the publisher.
Related papers
- Trace Partitioning as an Optimization Problem SAS 2024
- Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript ECOOP 2020
- Finding Recurrent Sets with Backward Analysis and Trace Partitioning TACAS 2016
- Input space splitting for OpenCL CC 2016
- Trace-based control-flow analysis PLDI 2021
- Trace Partitioning in Abstract Interpretation Based Static Analyzers ESOP 2005
- Parameterized Construction of Program Representations for Sparse Dataflow Analyses CC 2014
- Control-flow refinement and progress invariants for bound analysis PLDI 2009