Lab for Automated Reasoning and Analysis LARA

Set Constraints, Shape, Interprocedural Analysis

Set Constraints

Pointer and Shape Analysis

Continuing lecture24 on aliasing, pointer, and shape analysis.

Galois Connection for Heap Analysis

Allocation-Site Based Model and Instrumented Semantics

Representation of Pointer Analysis Using Set Constraints

Flow Sensitive vs Flow Insensitive Analysis - constraining facts at all points to be equal

Path Sensitivity through Powerset Domain

Pointer Analyses

Shape Analysis

Symbolic Shape Analysis

Interprocedural Analysis

Merging Control Flow Graphs and False Paths

Inlining

Modular Analysis with Supplied Contracts

Synthesizing Contracts

Using Set Constraints with Projections to Eliminate False Paths

Control-Flow Analysis and Dynamic Dispatch

More on interprocedural analysis:

General Reference

 
sav08/lecture25.txt · Last modified: 2008/05/26 15:07 by vkuncak
 
© EPFL 2018 - Legal notice