「 PL 」 5月23,2024
CFL-Reachability相关知识点复习准备
「 PL 」 4月06,2024
约束求解公开课,从概述到神经网络验证,到约束求解的方法。===持续更新====
「 PL 」 2月27,2024
符号执行的简介与示例,加上限界模型BMC的简单介绍
「 PL 」 11月26,2023
根据北大熊老师的软件分析课,记录一下sat与smt基础的求解方法,比如CDCL、DPLL(T)
「 PL 」 11月12,2023
根据北大软件基础与实践课程的学习笔记
「 PL 」 11月11,2023
z3求解器的基本使用
「 PL 」 10月20,2023
datalog基础知识的学习,并提供一个简单的intra-procedural的指针分析测试
「 编译 」 10月01,2023
2023实验室面试的项目复习准备