IT, data og digitalisering

Automated Software Analysis

Beskrivelse

This course is about "Automated Software Analysis". The student will learn
how to automatically analyze software and how code analyzers work
such as "Coverity" and Facebook's "Infer" code analysis tool.

After the course the student should be able to:
- Describe formally the meaning of a wide range of programming constructs
- Explain fundamental concepts/techniques/results regarding semantics of
- programming languages
- Reason About semantic descriptions of programming languages
- Prove simple properties (structural induction)
- Analyze programs (program analysis)
- Discuss possibilities and limitations of automated static analysis

Læs mere om kurset her

Det praktiske

  • Kursusudbyder: IT-Universitetet
  • Undervisningssprog: Engelsk
Søg støtte