t_wの輪郭

Feedlyでフォローするボタン
静的解析せいてきかいせき
静的解析ツールあれ『Masanori Ogino 𓀁: "FFIと静的解析の組み合わせは今後アツいトピックなんじゃない…" - :don:』

あれ

2024/3/20 15:14:00

関数に事前条件と事後条件を設定したら、コードの間違いを良い感じにエディタ上で警告出してくれるツールほしい。