PAG offers

• specification of the set of abstract values through inductive definitions

• functional language for definition of transfer functions

• set of parameters

• different interprocedural solution algorithms

• simple interface to the control flow graph

• graphical debugging

• simplifies maintenance

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen