スマートコントラクト - 脆弱性、CodeLlamaの使用とガス駆動の検出 | Synapse