Autonomous Smart Contract Auditing: AST Traversal and CEI Verification

A developer built a deterministic smart contract auditing pipeline that traverses Solidity compiler AST JSON to detect Checks-Effects-Interactions (CEI) violations, flagging state-variable assignments that occur after external calls such as call, transfer or send. The approach is positioned as an alternative to prompt-based LLM auditing, which the developer argues misses control-flow dependencies once code exceeds simple context limits, and is proposed as a CI/CD gate for autonomous treasury agents on Base L2 that would otherwise sign calldata directly to an RPC.

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.