Probabilistic symbolic execution: a bird's eye view

Antonio Filieri

Probabilistic symbolic execution is a static program analysis technique for computing probabilistic measures over the space of execution paths of a program, optionally conditioned on specific usage profiles. In its basic formulation, it aims at computing the probability of a program reaching specific target states during the execution, e.g., invoking a specific function or throwing an exception. More recent applications include quantitative security analysis, program similarity, and code level performance and reliability analysis. This talk will overview some of the main principles and challenges behind the working of probabilistic symbolic execution, and discuss a set of its current and envisioned applications.