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., interval analyses. We assume a probability measure over the program input and present two techniques (one for forward and one for backward analyses) that both derive upper and lower probability bounds for the output events. We demonstrate the most involved technique, namely the forward technique, for two examples and compare their results to a cutting-edge probabilistic output analysis.

中文翻译：

---

确定性程序的概率输出分析 --- 重用现有的非概率分析

我们考虑重用已建立的非概率输出分析（向前或向后），这些分析产生程序的原像或图像关系的过度近似，例如区间分析。我们假设对程序输入进行概率度量，并提出两种技术（一种用于前向分析，一种用于后向分析），它们均可推导出输出事件的概率上限和下限。我们为两个示例演示了最复杂的技术，即前向技术，并将它们的结果与前沿的概率输出分析进行了比较。