Stratified Static Analysis Based on Variable Dependencies

DOI10.1016/j.entcs.2012.10.008zbMath1294.68063arXiv1109.2405OpenAlexW1986269585WikidataQ113318046 ScholiaQ113318046MaRDI QIDQ5170182

Julien le Guen, David Monniaux

Publication date: 22 July 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1109.2405

zbMATH Keywords

static analysisabstract interpretationpolyhedral domainwidening operator

Mathematics Subject Classification ID

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

Related Items (3)

Improving the results of program analysis by abstract interpretation beyond the decreasing sequence ⋮ Experimental evaluation of numerical domains for inferring ranges ⋮ Decoupling the ascending and descending phases in abstract interpretation

Uses Software

• Apron
• PPL
• ASTREE

Cites Work

• Unnamed Item
• A minimalistic look at widening operators
• Some ways to reduce the space dimension in polyhedra computations
• Widening and narrowing operators for abstract interpretation
• Precise widening operators for convex polyhedra
• Program Slicing
• Automatic Modular Abstractions for Template Numerical Constraints
• Abstract Interpretation Frameworks
• Widening Polyhedra with Landmarks
• Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra
• Static Analysis by Policy Iteration on Relational Domains
• Precise Fixpoint Computation Through Strategy Iteration
• Static Analysis
• Static Analysis
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Stratified Static Analysis Based on Variable Dependencies