2021年8月14日
软件分析笔记10 Soundiness
摘要： Soundness Conservative approximation: captures all program behaviors, or the analysis result models all possible executions of the program 然鹅 Academia 阅读全文
posted @ 2021-08-14 02:45 jjppp 阅读(86) 评论(0) 推荐(0) 编辑