Zielgruppe

Studierende des Bachelor- und Masterstudiengangs Informatik

Form

Vorlesung (2 SWS) und Praktikum (2 SWS)

Inhalte

  • Bitvector-Framework:
    • Live-Variable Analysis
    • Reaching-Definitions Analysis
    • Available-Expressions Analysis
    • Distributivity
    • Fixpoint-Iteration
  • General Data-Flow-Framework: 
    • Example: Constant-Propagation
    • Non-Distributivity
    • Lattices
    • Fixpoint Theorem
  • Interprocedural Analysis
  • Pointer Analysis
  • Taint Analysis
    • Vulnerability detection: Code-Injections

Praktikum: Tai-e Static Analysis Framework for Java

Literatur

Um unsere Webseite für Sie optimal zu gestalten und fortlaufend verbessern zu können, verwenden wir Cookies. Weitere Informationen und die Möglichkeit zum Widerruf finden Sie in unserer Datenschutzerklärung.
Seite drucken