顧客からの独自のセーフティ クリティカル システムのモジュールに frama-c/jessie を適用しようとしています。分析中の関数は非常に大きく (コメントなしの 700 行の画像)、多くの条件ステートメントと複雑なステートメント (&&、|| など) があります。
Ubuntu VM 64 ビット マシンで実行すると、このエラー メッセージが表示されました。エラー 137 はメモリ サイズなどに関連しているようですが、よくわかりません。
このエラーに対処する方法についての提案は大歓迎です。
[
formal_verification]$ frama-c -jessie test.c
[kernel] preprocessing with "gcc -C -E -I. -dD test.c"
[jessie] Starting Jessie translation
[jessie] Producing Jessie files in subdir test.jessie
[jessie] File test.jessie/test.jc written.
[jessie] File test.jessie/test.cloc written.
[jessie] Calling Jessie tool in subdir tests.jessie
Generating Why function testFun
[jessie] Calling VCs generator.
gwhy-bin [...] why/test.why
Computation of VCs...
Killed
make: *** [test.stat] Error 137