HEAPHOPPER: Bringing Bounded Model Checking to Heap Implementation Security
随机文章通过使用符号执行技术，自动化分析堆分配器，来评估一个补丁是否能缓解攻击
原文是一篇 Paper，准确说是大学里的某个网络安全实验室的 Paper，原文见这里：
HEAPHOPPER: Bringing Bounded Model Checking to Heap Implementation Security
有空多读读论文，尤其是国外这些站在信息安全高处的论文。感觉国内国外对待安全的态度真是略为不同，国内喜欢讨论政策，而国内喜欢讨论安全的套路。