lava

LAVA: Large Scale Automated Vulnerability Addition Evaluating and improving bug-finding tools is currently difficult due to a shortage of ground truth corpora i.e., software that has known bugs with triggering inputs. LAVA attempts to solve this problem by automatically injecting bugs into...

DECAF

DECAF DECAF（Dynamic Executable Code Analysis Framework 的缩写）是一个基于 QEMU 的二进制分析平台。 DECAF++ DECAF++ 是 DECAF 的新版本，污点分析速度提高约 2 倍，据我们所知，它是最快的全系统动态污点分析框架。这使得可用性大大提高，当不存在可疑（被污染）输入时，仅产生 4% 的开销（SPEC CPU2006）。即使在重污点分析工作负载下，DECAF++ 的性能也更好，由于它的弹性，在 nbench 上大约快 25%。DECAF++...