一. 简介 基本介绍 SIMD，即single instruction multiple data，单指令流多数据流，也就是说一次运算指令可以执行多个数据流，从而提高程序的运算速度，实质是通过数据并行来提高执行效率

CFL-Reachability相关知识点复习准备

约束求解公开课，从概述到神经网络验证，到约束求解的方法。===持续更新====

符号执行的简介与示例，加上限界模型BMC的简单介绍

根据北大熊老师的软件分析课，记录一下sat与smt基础的求解方法，比如CDCL、DPLL(T)

根据北大软件基础与实践课程的学习笔记

z3求解器的基本使用

datalog基础知识的学习，并提供一个简单的intra-procedural的指针分析测试

2023实验室面试的项目复习准备