Static Analysis Book

	Precise Analysis of String Expressions	1
	Modular Class Analysis with datalog	19
	Class-Level Modular Analysis for Object Oriented Languages	37
	Checking Interference with Fractional Permissions	55
	Message Analysis for Concurrent Languages	73
	Instantaneous Termination in Pure Esterel	91
	Stack Size Analysis for Interrupt-Driven Programs	109
	Program Development Using Abstract Interpretation (And the Ciao System Preprocessor)	127
	Selective Tail Call Elimination	153
	Inserting Safe Memory Reuse Commands into ML-Like Programs	171
	Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis	189
	Client-Driven Pointer Analysis	214
	Abstract Interpretation of Programs as Markov Decision Processes	237
	A Logic for Analyzing Abstractions of Graph Transformation Systems	255
	Type Systems for Distributed Data Sharing	273
	Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations	295
	Computer-Assisted Verification of a Protocol for Certified Email	316
	Craig Interpolation of Reachability Analysis	336
	Precise Widening Operators for Convex Polyhedra	337
	Cartesian Factoring of Polyhedra in Linear Relation Analysis	355
	Continuation-Based Partial Evaluation without Continuations	366
	Loop Transformations for Reducing Data Space Requirements of Resource-Constrained Applications	383
	Code Compaction of Matching Single-Entry Multiple-Exit Regions	401
	Existential Heap Abstraction Entailment Is Undecidable	418
	Typestate Verification: Abstraction Techniques and Complexity Results	439
	Static Analysis of Accessed Regions in Recursive Data Structures	463
	Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management	483
	Author Index	505