Introduction

Great effort has been made to make the control-flow-graphs (CFGs) produced by ALTO as precise and useful as possible. Precise means all possible controlflow is modelled. Useful means the design of interprocedural analyses is simplified. The preciseness requirement lead to the introduction of a variety of edges that might be confusing at first.

The general flavor is based on interprocedural control-flow- graphs (cite something). So a function call is modelled using three edges:

call edge

connects the callsite site with init bbl in the callee (first bbl)

return edge

connects the exit bbl in the callee (last bbl) with the return site

link edge

connects the callsite with the corresponding return site

Go to the first, previous, next, last section, table of contents.