CFI Double-Fetch Bugs 2018年 exploitation heap 符号执行 USENIX'18 防护 ACM CCS'18 fuzzing 综述 Lacking-Recheck Bugs Kernels 机器学习 2017年 测试输入生成 二进制反汇编 静态重写技术 NDSS'18 脱壳 静态符号执行、 逆向 二进制分析工具 IOT S&P'19 2019年 科研 内核 USENIX'17 2016年 评估 AsiaCCS'18 ACM CCS’18 测试样本筛选 适应性函数 马尔科夫链 PCFG 深度学习 reinforcement learning Android 堆叠RNN 2019 污点分析 LAVA 梯度下降算法 S&P'18 LLVM 变异算子 可利用性判定 Word2Vec 数据挖掘 漏洞检测 源代码 pin 静态分析 动态分析 CFG NDSS'17 神经网络 S&P‘17 SSL/TLS 主动学习 Fuzzing