pieces of analysis information dependent on the predicates at conditional branch instructions. For instance, if a branch contains a condition , then on the fall-through path, the analysis would assume that and on the target of the branch it would assume that indeed holds. A context-sensitive analysis is an interprocedural analysis that considers the calling context when analyzing the target of a function call. In particular, using context information one can jump back to the original call site, whereas without that information, the analysis information has to be propagated back to all possible call sites, potentially losing precision. List of data-flow analyses Reaching definitions Liveness analysis Definite assignment analysis Available expression Constant propagation See also Abstract interpretation Control flow analysis XLT86 References Further reading Compiler optimizations