Satisfiability Solvers Are Static Analysers
Abstract elided by the publisher.
783 papers · page 15 of 40
A Voyage to the Deep-Heap
Abstract elided by the publisher.
Finding Non-terminating Executions in Distributed Asynchronous Programs
Abstract elided by the publisher.
Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation
Abstract elided by the publisher.
Symbolic Learning of Component Interfaces
Abstract elided by the publisher.
Modular Static Analysis with Zonotopes
Abstract elided by the publisher.
When the Decreasing Sequence Fails
Abstract elided by the publisher.
Succinct Representations for Abstract Interpretation - Combined Analysis Algorithms and Experimental Evaluation
Abstract interpretation techniques can be made more precise by distinguishing paths inside loops, at the expense of possibly exponential complexity. SMT-solving techniques and sparse representations of paths and sets of paths avoid this pitfall. We improve previously proposed …
Polyhedral Analysis Using Parametric Objectives
Abstract elided by the publisher.
A New Abstract Domain for the Representation of Mathematically Equivalent Expressions
Abstract elided by the publisher.
Path-Sensitive Backward Slicing
Abstract elided by the publisher.
Liveness-Based Pointer Analysis
Abstract elided by the publisher.
Semantics and Analyses for JavaScript and the Web
Abstract elided by the publisher.
Binary Reachability Analysis of Higher Order Functional Programs
Abstract elided by the publisher.
Efficient May Happen in Parallel Analysis for Async-Finish Parallelism
Abstract elided by the publisher.
Modular Heap Analysis for Higher-Order Programs
Abstract elided by the publisher.
A Structural Soundness Proof for Shivers's Escape Technique - A Case for Galois Connections
Abstract elided by the publisher.
Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version)
Abstract elided by the publisher.
Bilateral Algorithms for Symbolic Abstraction
Abstract elided by the publisher.
A Generalization of Stålmarck's Method
Abstract elided by the publisher.