污染源验证

处理受污染的源索引，分解授权范围并跟踪洁净室覆盖率，在不传输源代码表达式的前提下验证规范与源的一致性。