AIが生成した複雑なC/C++コードが安全かどうかを実行前に静的に調べる方法が存在しない点がネックだよな