You have Guest access.
Log In
Kwangkeun Yi
Front matter
1-2
Unleashing the Power of Static Analysis
3-17
Static Analysis in Disjunctive Numerical Domains
18-34
Static Analysis of Numerical Algorithms
35-51
Static Analysis of String Manipulations in Critical Embedded C Programs
52-70
Abstract Regular Tree Model Checking of Complex Dynamic Data Structures
71-87
Structural Invariants
88-106
Existential Label Flow Inference Via CFL Reachability
107-126
Abstract Interpretation with Specialized Definitions
127-143
Underapproximating Predicate Transformers
144-160
Combining Widening and Acceleration in Linear Relation Analysis
161-180
Beyond Iteration Vectors: Instancewise Relational Abstract Domains
181
Separation Logic and Program Analysis
182-203
Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic
204-220
Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding
221-239
Recency-Abstraction for Heap-Allocated Storage
240-260
Interprocedural Shape Analysis with Separated Heap Abstractions
261-279
Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm
280
Shape Analysis for Low-Level Code
281-300
Catching and Identifying Bugs in Register Allocation
301-317
Certificate Translation for Optimizing Compilers (Extended Abstract)
318-335
Analysis of Low-Level Code Using Cooperating Decompilers
336-352
Static Analysis for Java Servlets and JSP
353-369
Cryptographically-Masked Flows
370-386
Proving the Properties of Communicating Imperfectly-Clocked Synchronous Systems
387-404
Parametric and Termination-Sensitive Control Dependence
405-424
Memory Leak Analysis by Contradiction
425-442
Path-Sensitive Dataflow Analysis with Iterative Refinement
Back matter
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info