Probabilistic Output Analyses for Deterministic Programs --- Reusing Existing Non-probabilistic Analyses

Maja Hanne Kirkeby

We consider reusing established non-probabilistic output analyses (either forward or backwards) that yield over-approximations of a program's pre-image or image relation, e.g., int…