affinepoly/awesome-binja-papers
GitHub: affinepoly/awesome-binja-papers
该仓库精选了利用 Binary Ninja 进行逆向工程与二进制分析的学术论文，为相关领域研究者提供系统性的文献索引与追踪服务。
Stars: 4 | Forks: 0
# Binary Ninja 酷炫研究 🥷
一份精选的学术论文、学位论文和研讨会出版物列表，这些文献使用、集成或评估了 **[Binary Ninja](https://binary.ninja/)** 作为逆向工程/二进制分析平台。
论文涵盖了从直接基于 Binary Ninja 构建的工具（插件、反编译器、符号执行引擎），到将其与 IDA Pro、Ghidra 和 angr 等其他反汇编器/反编译器进行对比评估的基准测试研究。
按年份排序，最新优先。
## 论文
| 论文 | 年份 |
|---|---|
| [用于常量时间分析的反编译](https://dl.acm.org/doi/10.1145/3798201) | 2026 |
| [Bangr：Binary Ninja + angr](https://www.ndss-symposium.org/ndss-paper/bangr-binary-ninja-angr/) | 2026 |
| [评估 Tigress 混淆器对抗 MOPSA 和 BinaryNinja 的有效性](https://dl.acm.org/doi/10.1145/3733817.3762702) | 2025 |
| [从组合约束中恢复函数签名](https://unpaywall.org/10.1145/3719027.3765089) | 2025 |
| [SALT4Decompile：为基于 LLM 的二进制反编译推断源码级抽象逻辑树](https://arxiv.org/pdf/2509.14646) | 2025 |
| [反编译器语义缺陷：一项实证研究](https://www.usenix.org/system/files/atc25-yang-zao.pdf) | 2025 |
| [一种新的软件混淆评估标准框架](https://arxiv.org/pdf/2502.14093) | 2025 |
| [SoK：大语言模型在逆向工程中的潜力与挑战](https://arxiv.org/pdf/2509.21821) | 2025 |
| [使用大语言模型进行二进制差异摘要](https://arxiv.org/pdf/2509.23970) | 2025 |
| [面向神经反编译器的快速、细粒度等价性检查](https://arxiv.org/pdf/2501.04811) | 2025 |
| [DecompileBench：在真实场景中评估反编译器的综合基准](https://arxiv.org/pdf/2505.11340) | 2025 |
| [一款用于 IoT 固件认证的工具](https://dl.acm.org/doi/fullHtml/10.1145/3664476.3670469) | 2024 |
| [Ahoy SAILR！无需 DREAM of C：一种用于二进制反编译的编译器感知结构化算法](https://www.usenix.org/conference/usenixsecurity24/presentation/basque) | 2024 |
| [Blaze：一个用于过程间二进制分析的框架](https://www.ndss-symposium.org/wp-content/uploads/2023/03/bar2023-23009-paper.pdf) | 2023 |
| [固件分析技术与工具综述](https://objects.lib.uidaho.edu/etd/pdf/Whipple_idaho_0089N_11859.pdf) | 2022 |
| [可视化机器学习解释以辅助软件逆向工程师](https://apps.dtic.mil/sti/trecms/pdf/AD1181415.pdf) | 2022 |
| [DECOMPERSON：人类如何进行反编译以及我们能从中借鉴什么](https://sites.cs.ucsb.edu/~chris/research/doc/usenix22_decomperson.pdf) | 2022 |
| [dewolf：通过用户调查改进反编译](https://arxiv.org/pdf/2205.06719) | 2022 |
| [SENinja：一个用于 Binary Ninja 的符号执行插件](https://www.researchgate.net/publication/364579898_SENinja_A_symbolic_execution_plugin_for_Binary_Ninja) | 2022 |
| [SoK：关于 x86/x64 二进制反汇编及更多你想知道的一切](https://arxiv.org/pdf/2007.14266) | 2020 |
| [GTIRB：GrammaTech 的二进制中间表示](https://arxiv.org/pdf/1907.02859) | 2019 |
| [PaperMachete](https://github.com/cetfor/PaperMachete) | 2016 |
标签：TruffleHog, URL提取, 二进制分析, 云安全运维, 云资产清单, 反编译, 学术论文, 逆向工程, 防御加固