Binary Ninja 5.2 发布 - 反编译器、反汇编器、调试器和二进制分析平台

简介: Binary Ninja 5.2.8614 (macOS, Linux, Windows) - 反编译器、反汇编器、调试器和二进制分析平台

Binary Ninja 5.2.8614 (macOS, Linux, Windows) - 反编译器、反汇编器、调试器和二进制分析平台

interactive decompiler, disassembler, debugger, and binary analysis platform

请访问原文链接:https://sysin.org/blog/binary-ninja/ 查看最新版。原创作品,转载请保留出处。

作者主页:sysin.org


Binary Ninja

A New Type of Reversing Platform

Binary Ninja 是一个交互式反编译器、反汇编器、调试器和二进制分析平台,由逆向工程师为逆向工程师打造。它在开发时特别注重提供高质量的自动化 API 以及简洁易用的图形界面。Binary Ninja 正被全球的恶意软件分析师、漏洞研究人员和软件开发者广泛使用。Binary Ninja 具备跨平台的强大优势 (sysin),可反编译为 Windows、macOS 和 Linux 上的许多常见架构构建的软件。

decompiler, disassembler

功能简介

  • 反编译 Decompile

    针对任何受支持的架构(包括您自己的架构)反汇编和反编译代码为 C 或 BNIL。

  • 分析 Analyze

    可视化控制流并以交互方式浏览交叉引用。

  • 自动化 Automate

    使用 C++、Python 和 Rust API 从 UI 内部或外部自动进行分析。

  • 调试 Debug

    在任何受支持的架构或平台上本地或远程调试程序。

  • 协作 Collaborate

    使用我们的企业产品通过同步提交轻松协作。

  • 加速 Accelerate

    通过额外的 AI 功能加速分析并优化理解。

新增功能

Binary Ninja 5.2,代号 “Io”,现已发布,包括位域支持、容器、Hexagon 支持以及更多功能。

此次发布包含了一些最具影响力且备受用户期待的功能,包括位运算数据结构支持(第二大需求)、容器支持(第五大需求)、对 Hexagon 架构的完整支持(包括反汇编和反编译),以及更多其他功能。

此更新日志仅包括稳定版本的更新内容。

5.2.8614(2025 年 11 月 13 日)

主要特性

  • 免费版功能:Objective-C 工作流、WARP 插件、DWARF 导入和 TTD 支持
  • 位域支持
  • 容器支持
  • 自定义字符串 / 常量
  • Ghidra 导入
  • WARP 服务器
  • Hexagon 支持
  • 新的交叉引用用户界面
  • TTD 查询与分析
  • Objective-C 改进

5.2 包含了大量的改进和修复,篇幅较长,详见官方更新记录。

下载地址

Binary Ninja 5.2.8614 for macOS, Linux, Windows


更多:HTTP 协议与安全

目录
相关文章
|
3月前
|
存储 消息中间件 安全
企业级实时消息推送系统的架构设计,一文即懂!
如果你是技术负责人,该如何搭建一套能解决这些问题的企业级统一消息推送平台?今天我们就从核心挑战出发,拆解一套可落地的统一推送服务架构方案。
465 0
|
10月前
|
人工智能 前端开发 Serverless
阿里云《AI 剧本生成与动画创作》解决方案技术评测
随着人工智能技术的发展,越来越多的工具和服务被应用于内容创作领域。阿里云推出的《AI 剧本生成与动画创作》解决方案,利用函数计算 FC 构建 Web 服务,结合百炼模型服务和 ComfyUI 工具,实现了从故事剧本撰写、插图设计、声音合成和字幕添加到视频合成的一站式自动化流程。本文将对该方案进行全面的技术评测,包括实现原理及架构介绍、部署文档指引、具体耗时分析以及实际使用体验。
699 16
|
12月前
|
人工智能 分布式计算 大数据
MaxFrame 产品评测
MaxFrame 是一款连接大数据和 AI 的 Python 分布式计算框架。本文介绍了其在实际使用中的表现,包括便捷的安装配置、强大的分布式 Pandas 处理能力和高效的大语言模型数据处理。文章还对比了 MaxFrame 与 Apache Spark 和 Dask 的优劣,并提出了未来发展的建议,旨在为读者提供全面的评测参考。
273 22
|
12月前
|
存储 自然语言处理 算法
【北京大学 软件工程】四、结构化分析方法
结构化分析方法是一种系统化的软件开发方法学,旨在通过使用问题域术语建立系统的功能模型,以明确“系统必须做什么”。该方法包括结构化分析、设计和程序设计三个主要部分。其核心工具是数据流图(DFD),用于表达系统功能模型,并结合数据字典定义数据流和数据存储。此外,还使用加工小说明(如判定表或判定树)描述加工逻辑。 结构化分析过程遵循自顶向下、逐步求精的原则,首先建立系统环境图确定边界,然后通过分解加工、分派数据流和引入文件来细化模型。整个过程中需确保模型平衡和信息组织的复杂性控制。最终输出为需求规格说明书(SRS),确保需求的正确性、无二义性、完整性和可验证性等特性。
|
人工智能 算法 搜索推荐
清华校友用AI破解162个高数定理,智能体LeanAgent攻克困扰陶哲轩难题!
清华校友开发的LeanAgent智能体在数学推理领域取得重大突破,成功证明了162个未被人类证明的高等数学定理,涵盖抽象代数、代数拓扑等领域。LeanAgent采用“持续学习”框架,通过课程学习、动态数据库和渐进式训练,显著提升了数学定理证明的能力,为数学研究和教育提供了新的思路和方法。
400 3
|
搜索推荐 前端开发 开发者
前端开发的必修课:如何让你的网页在搜索引擎中脱颖而出?
【10月更文挑战第31天】前端开发不仅是构建网页与用户间桥梁的关键,还需注重搜索引擎优化(SEO)。优化网页结构、合理使用关键词、提升加载速度及整合社交媒体等技巧,能帮助网页在搜索引擎中脱颖而出,吸引更多用户。
155 5
|
设计模式 架构师 Java
Java开发工程师转架构师需要学习什么
Java开发工程师转型为架构师需掌握多项技能:精通Java及框架、数据库与分布式系统;熟悉设计模式与架构模式;积累项目经验;提升沟通与领导力;持续学习新技术;培养系统设计与抽象能力;了解中间件及开发工具;并注重个人特质与职业发展。具体路径应结合个人目标与实际情况制定。
355 20
|
编译器 存储 网络协议
【汇编】CS、IP寄存器与代码段,用汇编语言写的源程序,jmp指令
【汇编】CS、IP寄存器与代码段,用汇编语言写的源程序,jmp指令
1481 1
【汇编】CS、IP寄存器与代码段,用汇编语言写的源程序,jmp指令
|
XML 数据可视化 安全
给 DSL 开个脑洞:无状态的状态机
什么是 DSL ?DSL 是一种工具,其核心价值在于提供了一种手段,可以更加清晰地就系统某部分的意图进行沟通。本文将通过实现一个状态机引擎来看清 DSL 的本质,介绍状态机的核心模型和 Fluent 接口,并解决状态机的性能问题。
2007 0
给 DSL 开个脑洞:无状态的状态机
|
机器学习/深度学习 算法 数据挖掘
模型训练及评估(上)| 学习笔记
快速学习模型训练及评估(上)
模型训练及评估(上)| 学习笔记