搜索结果: 1-2 共查到“计算机科学技术 Concrete”相关记录2条 . 查询时间(0.065 秒)
Modelgen: Mining Explicit Information Flow Specifications from Concrete Executions
Dynamic analysis specification mining information flow
2016/5/24
We present a technique to mine explicit information flow specifications from concrete executions. These specifications can be consumed by a static taint analysis, enabling static analysis to work even...