Multilanguage Static Analysis of Python/C Programs with Mopsa

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. In this talk, we will show how Mopsa analyses Python and its dynamic typing. We will then show how Mopsa can analyze Python programs calling C libraries.

Date
05/11/25
Event
Invited AWS Tech Talk
Location
Online