漏洞检测

Mythril是以太坊官方推荐的智能合约安全检测工具，包含众多漏洞检测模型。

Slither是一款以太坊智能合约静态安全检测工具

02.slither基本使用参数解析

介绍Slither中Function对象常用的方法及应用示例

本文探讨了人工智能工具在区块链安全审计中的应用，包括其优点、局限性及实际案例。文章详细描述了AI工具如何增强代码理解、漏洞检测、攻击向量验证和文档报告写作等过程，同时强调了人工审计师在验证工具输出的重要性。各类AI工具的选择与使用对提高审计效率。文章对当前AI技术的快速发展及其未来趋势进行了展望。

本文会涉及到slither中几类call的区别，slither遍历node时的常用的递归框架，以及将这两类知识应用到批量函数调用风险的检测中。

本文介绍了sec3 X-Ray安全扫描器的公共发布，提供了针对Solana智能合约的全面安全分析服务，包括检测40多种常见漏洞、集成GitHub CI、快速生成报告以及24/7可用等功能。用户可以通过完整的步骤指南开始使用该服务，并了解如何集成到GitHub工作流中。

Symmetry Sniper是一种新的安全审计技能，专注于发现智能合约中配对操作（如存款/取款、铸造/销毁）之间的对称性破坏漏洞。它通过在文档、命名、事件、接口或测试中确认两个函数本应对称后，直接比较它们的状态写入、资产移动、授权、舍入和边界情况，找出可能破坏不变量、授权不匹配、收费不对称或批量绕过的问题。该技能已在六个月内发现240个已确认问题，包括20个关键、105个高、115个中等级别漏洞，并在Panoptic和Alchemix V3审计中成功应用。

本文讲述了使用X-Ray工具在Solana的一个智能合约中发现和报告漏洞的过程，包含了对X-Ray工具的介绍，以及在智能合约审计过程中如何快速识别潜在安全问题的案例。这篇文章对于开发者进行合约安全审计具有重要参考价值。

本文详尽介绍了智能合约的模糊测试和不变性测试，强调了它们在确保区块链系统安全性方面的重要性。通过使用Foundry框架，文章探讨了如何定义不变性、不同类型的模糊测试以及其相对于传统单元测试的优势，并推荐了几种最佳的模糊测试工具。

Cyfrin Aderyn 是一个基于 Rust 开源的智能合约静态分析工具，旨在帮助开发者和安全研究者检测 Solidity 代码中的漏洞。该工具通过快速分析抽象语法树，提供定制化探测器，并支持多种报告格式，有助于提高智能合约的安全性。

本文介绍了十大智能合约审计公司及其服务，详细说明了智能合约审计的重要性，以及如何选择适合的审计服务。文章涵盖了不同公司提供的技术和专业知识，体现了在区块链项目中进行审计的必要性和益处。

Certora提供了一种解决智能合约安全问题的工具套件，通过其自动化验证技术，帮助开发者检测合约中的漏洞，并确保其安全性。文章详细介绍了Certora Prover的工作原理、与传统审计和测试方法的比较，以及其在多个实际案例中检测到的严重漏洞，展现了其在智能合约安全领域的重要价值。

本文提出一种AI智能合约安全审计新方法：将Solidity语义转化为结构化自然语言，而非直接分析代码。作者认为LLMs擅长处理语言，这种“语义同构”方法能更有效地识别漏洞，早期实验结果也支持了这一观点。

这篇文章详细阐述了智能合约的生命周期，并重点介绍了“左移方法”（Shift-Left Approach）。文章强调了在智能合约开发过程中，从设计阶段开始集成安全和质量保障的重要性，以提前检测和解决漏洞，从而提高合约的安全性、效率和可靠性。