Static Analysis Using Abstract InterpretationLecture about abstract interpretation. This lecture starts with a brief introduction to validation and verification using formal methods. It then demonstrates IKOS (Inference Kernel for Open Static Analyzers), a static analyzer for C/C++ based on Abstract Interpretation. Then, it describes in details the theory of Abstract Interpretation, a mathematical framework to over-approximate the reachable states of a program.
Document ID
20190032528
Acquisition Source
Ames Research Center
Document Type
Presentation
Authors
Arthaud, Maxime (Stinger Ghaffarian Technologies Inc. (SGT Inc.) Moffett Field, CA, United States)