# Autonomous Smart Contract Auditing: AST Traversal and CEI Verification

> Source: <https://dev.to/nindhita/autonomous-smart-contract-auditing-ast-traversal-and-cei-verification-a1i>
> Published: 2026-10-18 16:39:06+00:00

Sebagian besar exploit di EVM tidak memerlukan zero-day canggih. Polanya berulang: pengembang melanggar aturan Checks-Effects-Interactions (CEI), meninggalkan celah reentrancy klasik di mana mutasi state dilakukan setelah transfer token atau *low-level call*. 

Mendelegasikan verifikasi keamanan ini ke LLM berbasis prompt teks biasa adalah tindakan ceroboh. Model bahasa probabilistik sering melewatkan dependensi alur kontrol ketika basis kode melebihi batas konteks sederhana. Solusi yang terbukti tahan uji di sistem terdistribusi adalah pendekatan deterministik: **Abstract Syntax Tree (AST) Traversal**.

Kompiler Solidity (`solc`) mampu mengekspor representasi internal kontrak dalam format AST JSON terstruktur (`solc --ast-compact-json`). Daripada memperlakukan kode sebagai token teks, pipeline analitik membaca node sintaks secara hierarkis:

`require`, `revert`, `if`).` Assignment` pada state variable).`FunctionCall` ke `address.call`, `transfer`, atau `send`).
Pelanggaran CEI terjadi jika subtree eksekusi mendeteksi node `Assignment` yang berada di cabang eksekusi downstream setelah node eksternal `FunctionCall`.

Berikut implementasi parser statis Python minimal untuk mendeteksi anomali ini langsung dari AST JSON:

``` python
import json
from typing import List, Dict, Any

class CEIViolationDetector:
    def __init__(self, ast_json: Dict[str, Any]):
        self.root = ast_json
        self.violations: List[str] = []

    def inspect_function_body(self, node: Dict[str, Any]) -> None:
        external_call_encountered = False

        def traverse(sub_node: Any) -> None:
            nonlocal external_call_encountered
            if not isinstance(sub_node, dict):
                return

            node_type = sub_node.get("nodeType")

            # Deteksi low-level call atau transfer eksternal
            if node_type == "FunctionCall":
                expr = sub_node.get("expression", {})
                member_name = expr.get("memberName")
                if member_name in ["call", "transfer", "send"]:
                    external_call_encountered = True

            # Deteksi mutasi state setelah external call
            elif node_type == "Assignment" and external_call_encountered:
                src_loc = sub_node.get("src", "unknown")
                self.violations.append(f"CEI Breach: State mutated at AST src {src_loc}")

            for val in sub_node.values():
                if isinstance(val, list):
                    for item in val:
                        traverse(item)
                elif isinstance(val, dict):
                    traverse(val)

        traverse(node)

    def run(self) -> List[str]:
        # Filter node FunctionDefinition
        nodes = self.root.get("nodes", [])
        for n in nodes:
            if n.get("nodeType") == "ContractDefinition":
                for member in n.get("nodes", []):
                    if member.get("nodeType") == "FunctionDefinition":
                        self.inspect_function_body(member.get("body", {}))
        return self.violations
```

Di jaringan Base L2 (Chain ID 8453), biaya transaksi yang sangat murah berkat blob gas EIP-4844 mendorong ekosistem bot dan autonomous treasury agent beroperasi dengan latensi sub-detik. Waktu blok Base yang stabil di angka 2 detik tidak memberi ruang bagi audit manual ketika agent otomatis mengelola likuiditas lintas protokol.

Ambil contoh integrasi dompet kas otonom: `0x92Aff59709b03b9373b8fA887D24953D60fAd919`. 

Ketika entitas otonom ini menerima instruksi dari model AI untuk mendepositkan modal ke pool lending pihak ketiga, pipeline eksekusi tidak boleh langsung menyetujui transaksi (`eth_sendTransaction`). Proses verifikasi deterministik wajib diisolasi di level CI/CD agent:

`CEIViolationDetector` mengembalikan node mutasi ilegal, sinyal eksekusi langsung diputus (`0x92Aff59709b03b9373b8fA887D24953D60fAd919` menandatangani calldata ke RPC Base L2.
AI agent modern yang aman membagi tugas menjadi dua layer:

Jangan biarkan model probabilitas menyentuh private key tanpa filter graph deterministik. Di EVM, sekali state berubah di luar urutan yang benar, dana Anda hilang permanen dalam hitungan milidetik. Gunakan AST traversal; buktikan secara struktural, bukan asumsi kontekstual.