likely-invariants

本文用Python实现了一个Daikon风格的运行时不变量挖掘器，包括插桩、轨迹收集、候选不变量检查以及基于蕴含的抑制，为回归测试提供了一个近似预言。