malloc したエリアを free していない等の、メモリーリーク指摘を増やしてほしい。
ご提案ありがとうございます。
メモリリークについてのコードチェックも今後盛り込めるよう検討してみます。
ただ、AdLint は静的解析ツールであるため、解析対象を完全に実行して「事実をベース」に問題を指摘することはできません。
また、解析対象がバッチ的に「上から下」に実行されるものとは限らず、イベント駆動で実際に実行してみないと関数の実行順序も分からない、ということも考えられます。 したがって、ある関数がメモリ確保を行い、複雑な経緯を経てメモリ解放を行う関数が呼ばれる、といった場合にはかなり解析が難しいと思われます。
まずは、限定的なチェックとなると思われますが、メモリリークチェック機能も追加してみて、みなさまからのご意見をもとに解析精度を向上したいと思います。
Log in to post a comment.
malloc したエリアを free していない等の、メモリーリーク指摘を増やしてほしい。
ご提案ありがとうございます。
メモリリークについてのコードチェックも今後盛り込めるよう検討してみます。
ただ、AdLint は静的解析ツールであるため、解析対象を完全に実行して「事実をベース」に問題を指摘することはできません。
また、解析対象がバッチ的に「上から下」に実行されるものとは限らず、イベント駆動で実際に実行してみないと関数の実行順序も分からない、ということも考えられます。
したがって、ある関数がメモリ確保を行い、複雑な経緯を経てメモリ解放を行う関数が呼ばれる、といった場合にはかなり解析が難しいと思われます。
まずは、限定的なチェックとなると思われますが、メモリリークチェック機能も追加してみて、みなさまからのご意見をもとに解析精度を向上したいと思います。
Last edit: Yutaka Yanoh 2012-08-20