维护软件中的机密信息控制是一个持续存在的安全问题,其中故障意味着可以通过程序行为泄露机密。信息流控制技术传统上是基于静态或符号分析的,可伸缩性有限,专门用于特定语言。当程序确实泄漏机密时,没有办法自动修复它们,除非泄漏导致功能测试失败。我们提出了HyperGI的愿景,这是一个检测、定位和修复信息泄漏的基因改进框架。HyperGI的关键要素包括(1)使用两个正交测试套件,(2)评估和定位潜在泄漏的动态泄漏检测方法,以及(3)使用遗传改进生成候选补丁的修复组件。我们演示了HyperGI在几个没有失败功能测试的程序上的成功使用。我们手动检查生成的补丁,并确定权衡和未来方向,以充分实现我们的愿景。