Secure Information Flow as a Safety Problem
Abstract elided by the publisher.
783 papers · page 25 of 40
Information Flow Analysis in Logical Form
Abstract elided by the publisher.
The Blast Query Language for Software Verification
Abstract elided by the publisher.
On Logics of Aliasing
Abstract elided by the publisher.
The Octahedron Abstract Domain
An interesting area in static analysis is the study of numerical properties. Complex properties can be analyzed using abstract interpretation, provided that an adequate abstract domain is defined. Each domain can represent and manipulate a family of properties, providing a differ…
Approximating the Algebraic Relational Semantics of Imperative Programs
Abstract elided by the publisher.
Type Inference Against Races
Abstract elided by the publisher.
A Polynomial-Time Algorithm for Global Value Numbering
Abstract elided by the publisher.
Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions
Abstract elided by the publisher.
Static Analysis of Gated Data Dependence Graphs
Abstract elided by the publisher.
A Relational Approach to Interprocedural Shape Analysis
Abstract elided by the publisher.
Generalized Records and Spatial Conjunction in Role Logic
Role logic is a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of role logic corresponds to two-variable logic with counting and is therefore decidable.
Partially Disjunctive Heap Abstraction
Abstract elided by the publisher.
Towards Declarative Programming for Web Services
Abstract elided by the publisher.
Spatial Analysis of BioAmbients
Abstract elided by the publisher.
Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis
Abstract elided by the publisher.
Non-termination Inference for Constraint Logic Programs
Abstract elided by the publisher.
Completeness Refinement in Abstract Symbolic Trajectory Evaluation
Abstract elided by the publisher.
An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants
Abstract elided by the publisher.
Shape Analysis Quantitative Shape Analysis
Abstract elided by the publisher.