摘要: Abstract 背景: 传统fuzzer:难以抓住keywords等信息 Constraints-based test generation: 根据path上的conditions来拓展uncovered code,但是存在条件过于复杂会导致path explosion的问题 本文-一个基于inp 阅读全文
posted @ 2021-01-11 14:50 雪溯 阅读(138) 评论(0) 推荐(0) 编辑