（八）SMT和符号执行
前言我们程序分析的学习进入了下一个阶段。在第一篇文章中提到程序分析可以大体分成抽象和搜索两部分，之前都是学习了抽象的部分。我们从数据流分析开始，讨论了抽象的基本思想，分支（包括循环）如何合并，节点如何...
admin
CVE-2022-42046 Proof of Concept of wfshbr64.sys local privilege escalation via DKOM
EvilWfshbrCVE-2022-42046 Proof of Concept of wfshbr64.sys local privilege escalationwfshbr64.sys and...
HKCERT CTF 2022 Postmortem (III): The Remaining Challenges
In the last part, I will include the two non-crypto challenges I wrote for HKCERT CTF 2022: Numbers...
原创Paper | DirectX Hook - 优雅的实现游戏辅助窗口
作者：The_Itach1@知道创宇404实验室日期：2022年12月27日最近看到了一个github的项目，分析过后觉得里面无论是代码还是界面都很好看，然后开始研究其代码。这篇文章主要分析其如何实现...
