計算量の調査を手伝う静的解析ツールnayutaを作った
コーディングエージェントとの性能改善で調査の手がかりを得るため、Rustコードのループから計算量が増えやすい箇所を探すnayutaを作った。
COLLECTION
静的解析
→
Goにおける明示的な純粋性制約の静的検査: mikotoの設計と検証
Goの関数行数と明示的な純粋性制約を検査するmikotoを作った。値型の境界、ASTと型情報、ジェネリクスの型集合、暗黙のポインタ参照を扱い、5件の不具合修正と検証結果から静的検査の有効範囲と限界を考える。