Generated Analyzers

• conditional constant propagation

• shape analysis

• memory error detection

• cache behaviour analysis

• pipeline behaviour analysis

• strongly live variables

• interval analysis

• classical bitvector analyses

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen