Skip to content
P
非影
精选
最新
漏洞
研究
工具
主题
来源
搜索
搜索
English
面向安全从业者的中英双语安全研究与漏洞情报精选。
让 Manticore GUI 变得简单
blog.trailofbits.com
| 漏洞 |
#web3
|
#ghidra
|
#research
|
#tooling
|
#symbolic-execution
摘要
NUS 实习生为 Manticore 符号执行引擎开发了 Ghidra 版 MUI 插件(免费开源,区别于 Binary Ninja),并搭建基于 gRPC 的基础设施,让 MUI 插件在反汇编器之间更易使用、维护和开发。
发布时间
2022-12-13 13:00
收录时间
2026-07-03 04:03
原文 ↗
相关内容
P-Code 注入指南:在 Ghidra 中动态修改代码的中间表示
(swarm.ptsecurity.com)
Flounder:具备执行验证能力的自主 AI 白帽安全审计器
(github.com)
使用 Binary Ninja 进行漏洞建模
(blog.trailofbits.com)
用 Manticore 施展魔法
(blog.trailofbits.com)
借助 AI 的力量为漏洞赏金猎取提速
(ethiack.com)
Git 任意配置注入(CVE-2023-29007)
(ethiack.com)
返回