Mopsa tutorial

Abstract

Mopsa is a conservative static analysis platform, independent of language and abstraction choices. Developers are free to add arbitrary abstractions (numeric, pointer, memory, etc.) and syntax iterators for new languages. Mopsa encourages the development of independent abstractions which can cooperate or be combined to improve precision. Mopsa currently support the analysis of Python, C and Python+C programs. This tutorial will present and motivate the general framework of Mopsa, as well as practical advice to ease the development and debugging of static analysis tools. A practical session will provide a hands-on experience of Mopsa, both by running it on real-world programs and by exploring the implementation of some abstract domains.