[论文分享] Automated Bug Hunting With Data-Driven Symbolic Root Cause Analysis
概述Automated Bug Hunting With Data-Driven Symbolic Root Cause Analysis [CCS 2021]成功网络攻击的成本增加导致了思维模式的转变, 防御者现在采用主动防御, 即软件bug查找, 以及现有的反应性措施(防火墙、入侵检测系统、入侵防御系统)来保护系统. 但是, 从寻找错误到部署补丁的过程仍然是艰苦和昂贵的, 需要人类的专业知识, 而且仍然会错过严重的内存损坏. 为了应对这些挑战, 论文建议使用基于执行轨迹的符号重建状态(symboli