Guided Static Analysis

DOI10.1007/978-3-540-74061-2_22MaRDI QIDQ3612009zbMATH OpenOpenAlexFDO

Authors Denis Gopan, Thomas Reps

Publication date 3 March 2009

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74061-2_22

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Stratified static analysis based on variable dependencies
• Widening with Thresholds for Programs with Complex Control Graphs
• Static Analysis by Policy Iteration on Relational Domains
• Precise widening operators for convex polyhedra
• Widening for Control-Flow

Cited in

(12)

• Improving the results of program analysis by abstract interpretation beyond the decreasing sequence
• Backward symbolic execution with loop folding
• Finding fix locations for CFL-reachability analyses via minimum cuts
• A modular static analysis approach to affine loop invariants detection
• Abstract fixpoint computations with numerical acceleration methods
• Acceleration of the abstract fixpoint computation in numerical program analysis
• Stratified static analysis based on variable dependencies
• Guided Type Debugging
• Verifying pointer safety for programs with unknown calls
• Multivariant assertion-based guidance in abstract interpretation
• Decoupling the ascending and descending phases in abstract interpretation
• Dissecting widening: separating termination from information

This page was built for publication: Guided Static Analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3612009)