智能合约验证新利器:Manticore-Verifier 简化安全属性测试

本文介绍 Trail of Bits 推出的 manticore-verifier 工具,它允许开发者用 Solidity 编写安全属性测试,并自动通过符号执行进行验证。工具支持与 Echidna 模糊测试共享测试格式,大幅降低智能合约的安全验证成本。

防御性安全播客第258期:网络安全事件深度解析

本期播客深入探讨了恶意PyPI包窃取开发者数据、联邦政府列出的最常被利用的30个漏洞、医院网络遭受网络攻击的原因以及影子IT相关事件对CISO的教训等网络安全议题。

深入探索汇编与反汇编:从零构建可编译的反汇编器

本文详细介绍了作者在2002年学习汇编语言时,从零开发反汇编器的经历。通过实际代码演示,展示了如何将二进制程序反编译为可重新编译的源代码,并探讨了数据处理、符号恢复等核心技术挑战。