From 58fc1a4344f6e50f26a44b19832f6ca01dc19f33 Mon Sep 17 00:00:00 2001 From: Bajuzjefe Date: Thu, 26 Feb 2026 01:57:36 +0100 Subject: [PATCH] Add aikido: static security analyzer for Aiken smart contracts (Cardano) --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 4a00a3bcc..e6da25107 100644 --- a/README.md +++ b/README.md @@ -2365,6 +2365,8 @@ TruffleHog is an open source secret-scanning engine that resolves exposed secret

Smart Contracts

+- [aikido](https://github.com/Bajuzjefe/Aikido-Security-Analysis-Platform) — Static security analyzer for Aiken smart contracts (Cardano). 75 vulnerability detectors covering authorization, value preservation, datum integrity, minting, and arithmetic with Cardano Weakness Classification (CWC) mapping. + - [mythril](https://github.com/ConsenSys/mythril) — A symbolic execution framework with batteries included, can be used to find and exploit vulnerabilities in smart contracts automatically. - [MythX](https://mythx.io) :copyright: — MythX is an easy to use analysis platform which integrates several analysis methods like fuzzing, symbolic execution and static analysis to find vulnerabilities with high precision. It can be integrated with toolchains like Remix or VSCode or called from the command-line.