Static Analysis with Set-Closure in Secrecy
Abstract elided by the publisher.
783 papers · page 12 of 40
Shape Analysis for Unstructured Sharing
Abstract elided by the publisher.
Effective Soundness-Guided Reflection Analysis
We introduce Solar, the first reflection analysis that allows its soundness to be reasoned about when some assumptions are met and produces significantly improved under-approximations otherwise. In both settings, Solar has three novel aspects: (1) lazy heap modeling for reflectiv…
A Simple Abstraction of Arrays and Maps by Program Translation
We present an approach for the static analysis of programs handling arrays, with a Galois connection between the semantics of the array program and semantics of purely scalar operations. The simplest way to implement it is by automatic, syntactic transformation of the array progr…
Precise Data Flow Analysis in the Presence of Correlated Method Calls
Abstract elided by the publisher.
Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR
Abstract elided by the publisher.
Block Me If You Can! - Context-Sensitive Parameterized Verification
Abstract elided by the publisher.
Peak Cost Analysis of Distributed Systems
Abstract elided by the publisher.
Backward Analysis via over-Approximate Abstraction and under-Approximate Subtraction
We propose a novel approach for computing weakest liberal safe preconditions of programs. The standard approaches, which call for either underapproximation of a greatest fixed point, or complementation of a least fixed point, are often difficult to apply successfully. Our approac…
SawjaCard: A Static Analysis Tool for Certifying Java Card Applications
Abstract elided by the publisher.
Cyclic Abduction of Inductively Defined Safety and Termination Preconditions
Abstract elided by the publisher.
Expectation Invariants for Probabilistic Program Loops as Fixed Points
Abstract elided by the publisher.
Verifying Recursive Programs Using Intraprocedural Analyzers
Abstract elided by the publisher.
An Abstract Domain to Infer Octagonal Constraints with Absolute Value
Abstract elided by the publisher.
Automatic Analysis of Open Objects in Dynamic Language Programs
Abstract elided by the publisher.
Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations
Abstract elided by the publisher.
On Program Equivalence with Reductions
Abstract elided by the publisher.
A Progress Bar for Static Analyzers
Abstract elided by the publisher.
Sparse Dataflow Analysis with Pointers and Reachability
Abstract elided by the publisher.
Reactivity of Cooperative Systems - Application to ReactiveML
Abstract elided by the publisher.