• 编译器优化7
• 逆向工程5
• Windows内核5
• 数据流分析4
• 恶意软件分析报告4
• ntoskrnl4
• 格论3
• 符号执行3
• 进程注入3
• 常量传播2
• SCCP2
• SSA2
• 反射式注入2
• GhostDrop2
• Dropper/Loader2
• 对象管理2
• PCIe1
• DMA1
• 计算机体系结构1
• 内存获取1
• SDN1
• 软件定义网络1
• 路由算法1
• 流表1
• 阅读清单1
• 参考资料1
• UEFI1
• EDK21
• 固件开发1
• 偏序集1
• 支配边界1
• φ函数1
• 传递函数1
• 半格1
• 单调框架1
• 到达定值1
• gen-kill1
• RSA1
• 密码学1
• 公钥加密1
• 模算数1
• 免杀技术1
• angr1
• 二进制分析1
• 恶意软件分析1
• 病毒分析1
• 威胁情报1
• 污点分析1
• 抽象解释1
• 程序切片1
• 勒索病毒1
• 远控木马1
• 武器空投1
• 蠕虫1
• IDA Pro1
• 开发环境1
• Intel Pin1
• 动态二进制插桩1
• 内核调试1
• WinDbg1
• 虚拟机1
• APC1
• 异步过程调用1
• 驱动开发1
• WDK1
• 句柄1
• 执行体1

数据流分析基础

---

城城2025年7月28日大约 29 分钟

到达定值

---

城城2025年7月27日大约 8 分钟

Lattice

---

城城2025年7月26日大约 15 分钟

Monotone Data Flow Analysis Frameworks

---

城城2025年7月3日大约 21 分钟