Archived
「 14 」
-
2024 - 05
-
5月23, 2024CFL-Reachability面试准备
CFL-Reachability相关知识点复习准备
-
2024 - 04
-
4月06, 2024约束求解公开课
约束求解公开课，从概述到神经网络验证，到约束求解的方法。===持续更新====
-
2024 - 03
-
3月30, 2024日常技能
一些好用的小工具 or 小知识点
-
2024 - 02
-
2月27, 2024符号执行
符号执行的简介与示例，加上限界模型BMC的简单介绍
-
2024 - 01
-
1月08, 2024RISCV64位链接器实现
根据中科院PLCT实验室课程完成RISCV64位静态链接器
-
2023 - 11
-
11月26, 2023SAT_SMT基础求解方法
根据北大熊老师的软件分析课，记录一下sat与smt基础的求解方法，比如CDCL、DPLL(T)
-
11月12, 2023coq learning
根据北大软件基础与实践课程的学习笔记
-
11月11, 2023z3求解器
z3求解器的基本使用
-
11月11, 2023Smells Like Teen Spirit
Welcome to Brilliant's House ! 这是一个小简介，其他文章下划即可
-
2023 - 10
-
10月20, 2023Datalog学习记录
datalog基础知识的学习，并提供一个简单的intra-procedural的指针分析测试