Valid for: 2021/22
Faculty: Faculty of Engineering, LTH
Decided by: PLED C/D
Date of Decision: 2021-04-20
Language of instruction: The course will be given in English
Program analysis allows us to better understand what software
does and does not do.
The techniques of program analysis can thereby contribute to
software security, software quality control, program understanding,
software maintenance and evolution, and software performance
improvement.
The aim of this course is to provide a detailed understanding of
modern program analysis techniques, as well as their strengths and
weaknesses, when applied to realistic software.
Knowledge and understanding
For a passing grade the student must
Competences and skills
For a passing grade the student must
Judgement and approach
For a passing grade the student must
The course topics include: type and effect systems, operational semantics, data flow analysis, constraint-based analysis, heap abstraction, call graph analysis, domain-specific languages for program analysis, profiling, and sampling.
Grading scale: TH - (U,3,4,5) - (Fail, Three, Four, Five)
Assessment: Written examination. To qualify for the written examination, students must have completed their programming assignments. The final grade for the entire course is based on the result of the written examination.
The examiner, in consultation with Disability Support Services, may deviate from the regular form of examination in order to provide a permanently disabled student with a form of examination equivalent to that of a student without a disability.
Parts
Code: 0119. Name: Laboratory Work.
Credits: 3. Grading scale: UG. Assessment: Completed laboratory exercises. Contents: Laboratory work
Code: 0219. Name: Written Examination.
Credits: 4,5. Grading scale: TH. Assessment: Written examination. The final grade of the entire course is based on the result of this exam. To qualify for the written exam, students must have completed their laboratory work. Contents: Written examination
The number of participants is limited to: No
Course coordinator: Christoph Reichenbach, christoph.reichenbach@cs.lth.se
Course homepage: http://cs.lth.se/edap15