[adlint-user-ja:79] 多次元配列における解析エラーについて
Open source and free source code static analyzer
Brought to you by:
asamiogis
From: <tos...@hi...> - 2013-08-06 09:00:13
|
はじめまして。 西田と申します。 最近、AdLintを使い始めたのですが、 下記のように、比較的大きい多次元配列の定義を含むコードの解析にて、 「failed to allocate memory」が発生し、解析が61%で終了してしまいます。 (Sample Code) -------------------------------------------- unsigned char TestStructure[200][200][200]; int main(int argc, char *argv[]) { return 0; } -------------------------------------------- 解析中、topコマンドでメモリ使用率を確認すると、 明らかに上昇していく様子が見られ、100%に達すると上記エラーが出ます。 (なお、検討PCの搭載メモリは2GBです) 検討環境は以下の通りです。 OS : Ubuntu 10.10 AdLint Version : 3.0.10 (2013-06-28) Ruby Version : ruby 2.0.0p247 (2013-06-27 revision 41674) [i686-linux] 仕様上の制限や、必要な設定などありましたらご教示いただけますでしょうか。 宜しくお願いいたします。 |