关于我
KLEE 源码安装（Ubuntu 16.04 + LLVM 9）
KLEE 在 Ubuntu 16.04 + LLVM 9 上源码安装
程序分析 标签
程序动态分析
动态分析相关技术，包括路径剖析、插桩等
AddressSanitizer VS Valgrind
Linux下常用的两种内存检测工具对比
LLVM IR 基础介绍
LLVM IR主要的优势，三种表示方法及转化，基本语法结构说明
程序切片技术
LLVM概述二：LLVM设计精髓及其优势
LLVM设计精髓，LLVM如此强大的原因
KLEE 在 Ubuntu 16.04 + LLVM 9 上源码安装
动态分析相关技术，包括路径剖析、插桩等
Linux下常用的两种内存检测工具对比
LLVM IR主要的优势，三种表示方法及转化，基本语法结构说明
LLVM设计精髓，LLVM如此强大的原因