符号执行和概率推理

符号执行是一种系统的程序分析技术，它通过收集和求解程序路径上的符号路径条件来同时探索多个程序行为。该技术最近通过概率推理进行了扩展。该方法计算达到感兴趣的目标程序事件的条件，并使用模型计数量化满足这些条件的输入域部分，从而计算事件发生的概率。例如，该概率信息可用于计算不同风况下飞机控制器的可靠性（概率建模），或使用信息理论度量（如香农熵）量化软件系统中敏感数据的泄漏。在这次演讲中，我们回顾了符号执行和概率推理的最新进展，并讨论了如何使用它们来确保软件系统的安全性。