Subjects

Your browser does not support JavaScript, or its support is disabled. Some features may not be available.

Advanced Static Program Analysis - NSWI182

Title:	Advanced Static Program Analysis
Guaranteed by:	Department of Distributed and Dependable Systems (32-KDSS)
Faculty:	Faculty of Mathematics and Physics
Actual:	from 2023
Semester:	winter
E-Credits:	3
Hours per week, examination:	winter s.:3/0, Ex [HT]
Capacity:	unlimited
Min. number of students:	unlimited
4EU+:	no
Virtual mobility / capacity:	no
State of the course:	taught
Language:	English
Teaching methods:	full-time
Teaching methods:	full-time
Additional information:	https://d3s.mff.cuni.cz/teaching/nswi182/

Guarantor:	prof. Jan Vitek, M.Sc., Ph.D.
Class:	Informatika Mgr. - volitelný
Classification:	Informatics > Informatics, Software Applications, Computer Graphics and Geometry, Database Systems, Didactics of Informatics, Discrete Mathematics, External Subjects, General Subjects, Computer and Formal Linguistics, Optimalization, Programming, Software Engineering, Theoretical Computer Science

Opinion survey results Examination dates WS schedule Noticeboard

Annotation -

Last update: doc. RNDr. Petr Hnětynka, Ph.D. (24.07.2023)

One of the aims of modern software engineering is to automate the process of understanding software artifacts. This course focuses on techniques for analyzing programs to find, e.g., security vulnerabilities and errors, as well as understanding the software development process. You will gain a working knowledge of program analysis and its theoretical foundations rooted in abstract interpretation. This course is taught together for Northeastern University. The lectures are online.

Literature -

Last update: doc. RNDr. Petr Hnětynka, Ph.D. (24.07.2023)

F. Nielson, H.R. Nielson and C. Hankin. Principle of Program Analysis (PPA)

Syllabus -

Last update: doc. RNDr. Petr Hnětynka, Ph.D. (24.07.2023)

key concepts of program analysis including data flow analysis, constraint-based analysis and abstract interpretation.

dynamic analysis to explore the tradeoff between soundness and scalability

reading, presenting and validating research papers