Parametric and Termination-Sensitive Control Dependence
Abstract elided by the publisher.
783 papers · page 23 of 40
Unleashing the Power of Static Analysis
Abstract elided by the publisher.
Path-Sensitive Dataflow Analysis with Iterative Refinement
Abstract elided by the publisher.
Combining Widening and Acceleration in Linear Relation Analysis
Abstract elided by the publisher.
Interprocedural Shape Analysis with Separated Heap Abstractions
Abstract elided by the publisher.
Static Analysis of Numerical Algorithms
Abstract elided by the publisher.
Catching and Identifying Bugs in Register Allocation
Abstract elided by the publisher.
Structural Invariants
Abstract elided by the publisher.
Static Analysis for Java Servlets and JSP
We present an approach for statically reasoning about the behavior of Web applications that are developed using Java Servlets and JSP. Specifically, we attack the problems of guaranteeing that all output is well-formed and valid XML and ensuring consistency of XHTML form fields a…
Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm
Abstract elided by the publisher.
Separation Logic and Program Analysis
Abstract elided by the publisher.
Memory Leak Analysis by Contradiction
Abstract elided by the publisher.
Existential Label Flow Inference Via CFL Reachability
Abstract elided by the publisher.
Abstract Interpretation with Specialized Definitions
The relationship between abstract interpretation and partial evaluation has received considerable attention and (partial) integrations have been proposed starting from both the partial evaluation and abstract interpretation perspectives. In this work we present what we argue is t…
Static Analysis in Disjunctive Numerical Domains
Abstract elided by the publisher.
Underapproximating Predicate Transformers
Abstract elided by the publisher.
Shape Analysis for Low-Level Code
Abstract elided by the publisher.
Algorithmic Game Semantics and Static Analysis
Abstract elided by the publisher.
Widening Operators for Weakly-Relational Numeric Abstractions
Abstract elided by the publisher.
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra
Abstract elided by the publisher.