程序切片技术 2019-05-10 | 5 评论 | 3,222 浏览 CMPT 479 / CMPT 886: Automated Software Analysis & Security Week 1 程序切片技术
LLVM概述二:LLVM设计精髓及其优势 2019-04-05 | 0 评论 | 1,246 浏览 LLVM设计精髓,LLVM如此强大的原因 译自《The Architecture of Open Source Applications: LLVM》
程序表示方法 2019-05-10 | 0 评论 | 1,356 浏览 CMPT 479 / CMPT 886: Automated Software Analysis & Security Week 1 程序表示方法
程序分析介绍 2019-05-10 | 0 评论 | 734 浏览 CMPT 479 / CMPT 886: Automated Software Analysis & Security Week 1 程序分析课程介绍