Tags
19 个页面
二进制分析
揭秘libmagic：一个古老而神秘的二进制文件识别库
Manticore GUI 轻松上手 - 符号执行引擎的交互式插件开发
使用CodeReason对原生程序进行语义分析 - 揭秘二进制逆向工程
维基百科内容清洗与二进制差异分析的历史文档
使用KLEE-Native进行二进制符号执行：漏洞挖掘新范式
迈向两全其美的二进制反汇编工具——Dr. Disassembler技术解析
破解DEF CON CTF独特架构cLEMENCy：Binary Ninja逆向实战
Python ABI兼容性：问题有多严重？-Trail of Bits技术解析
Manticore：面向人类的符号执行工具 - 技术解析与应用案例
我们在网络大挑战中的表现 - 自动化漏洞挖掘与修复技术解析
1
2