#
halmos
Here are 5 public repositories matching this topic...
A foundry project about formal verification testing using tools like Halmos and Certora.
-
Updated
Oct 22, 2024 - Solidity
An audit report provides an in-depth evaluation of potential vulnerabilities, code inefficiencies, and ensure that the software adheres to industry best practices. This report also aims to suggest improvements and recommend actions for optimizing the project's security and performance.
ethereum blockchain solidity denial-of-service vulnerability-detection formal-verification slither mev auditing-vulnerabilities oracle-manipulation reentrancy-attack halmos aderyn certora-prover invariant-break missing-access-controls storage-collision failure-to-initialize
-
Updated
Oct 27, 2025
Improve this page
Add a description, image, and links to the halmos topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the halmos topic, visit your repo's landing page and select "manage topics."