课程与代码库

在 Tai-e 静态分析框架上实现两道数据流分析作业：A1 活跃变量分析（迭代求解器 + 位向量集合），A2 常量传播（含跨过程常量传播与分支常量分析）。完整实现 DataflowAnalysis 抽象基类、Fact 的 meet/transfer 契约，以及 Worklist 调度器。

• javaA1 活跃变量分析meet 处做并集（gen/kill 视角），transfer 求 use/eval 的差集。↗
• javaA1 迭代求解器Worklist 驱动：节点结果变化时重新入队其 successors。↗
• javaA1 位向量集合以 BitSet 承载集合运算，取代朴素 HashSet 以压缩内存。↗
• java数据流分析抽象基类定义 load/store/initialize 与 isBackward 的契约，子类只实现 meet 与 transfer。↗
• javaA2 常量传播格高为「未知 / 常量值」，meet 在非常量处取未知。↗
• javaA2 常量格格论要点：底元素、顶元素、glb（最大下界）与 lub（最小上界）。↗
• javaA2 值域表示区分未定义、无值与具体常量，避免把 0 与「无」混淆。↗

协议分析部分覆盖 IPSec、SSL、IPv6 与电子邮件协议的抓包判读方法；PBL 部分实现基于 DNA 编码与深度神经网络密钥生成的混沌图像加密，chaos.py 是完整实现。

• pyDNA 编码 + DNN 密钥的混沌图像加密完整实现：DNA 碱基编码规则、混沌系统迭代、神经网络密钥派生与加解密流程。↗
• py加密验证脚本加密—解密往返校验，并输出加密前后图像对比。↗

按章梳理无线各层的安全机制（WLAN、无线城域网、无线个域网、无线体域网、传感器网络、物联网），并基于 CIC-IDS2017 数据集做 DDoS 流量的统计特征分析。数据集 22.5 万行，已 gzip 压缩。

• pyCIC-IDS2017 DDoS 流量特征数据集22.5 万行、78 维特征的周五下午 DDoS 流记录，gzip 后 17MB。↗

攻防方向的综合实训：DNS 探针任务、攻防规则解读，以及按周提交的阶段报告与总结。

C++ 实现的局域网 ARP 探测工具，包含原始以太网帧构造与发送、Qt 界面交互。用于理解 ARP 协议的工作位置与实验环境下的抓包分析。

• cppARP 扫描器核心局域网 ARP 探测逻辑。↗
• cpp数据包构造与发送原始以太网帧的构造、校验与发送。↗
• cpp程序入口入口与参数解析。↗
• cppQt 界面层控制扫描、展示结果。↗

不依赖现成模型库，用 PyTorch 从 embedding 层开始逐层搭出 Transformer：多头注意力、位置编码、编码器-解码器，再进一步扩展到混合专家（MoE）结构。适合作为「读懂论文实现」的对照读物。

• pyTransformer 最小实现Multi-Head Attention、位置编码与编码器-解码器结构，用德英平行语料做机器翻译。↗
• py训练与推理脚本配套训练循环：数据构造、批处理、推理验证。↗
• pyMixture-of-Experts 变体引入专家路由与稀疏激活，模型参数约 55.84M。↗

用 LangChain 拼装检索增强生成流程：网页加载、递归切分、BM25 与向量检索融合、Ollama 本地生成，并自行实现了一层安全检测模块过滤输入。

• pyRAG 检索增强流水线网页加载、递归切分、BM25 混合检索与生成，并带自定义安全检测。↗
• pyOllama 本地问答接入本地 Ollama 模型的检索问答实现。↗

大学英语四级阶段测验卷存档，含听力与阅读部分，仅作练习留档。

形势与政策课程的作业要求、学习说明与结课论文存档。