問題タブ [klee]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
java - jdkでクレーを実行するには?
私は KLEE を初めて使用します。Java で klee ツールを実行したいのですが、Java で KLEE を実行することは可能ですか? はい、いくつかのチュートリアルを見せてください。
llvm - MIPS エラーで KLEE をコンパイルする
今、私は MIPS で KLEE を使いたいと思っています。しかし、makefileでコンパイルすると、error:unknown target triple "mips64el-unkown-linux-gnu", please use -triple or -arch
KLEEがMIPSをサポートしているかどうかわからないという情報があり、KLEEのドキュメントにもこの情報があります。MIPSでKLEEを使用した人はいますか?
compiler-construction - KLEE (LLVM) はコンパイラのステップを実行しますか?
KLEE は実際にコードを生成しますか? コンパイラ/インタプリタの他のベンチマーク手順を実行しますか? (字句解析、構文解析、意味解析、コード最適化、中間コード生成、コード生成、シンボルテーブル連携)
klee - KLEEはどのように枝の数を数えますか
私は Klee 2.9 を使用しており、stat ファイルの klee generators からブランチ情報を取得しようとしています。私は 1 つの if-else ステートメント プログラムを入力し、klee は NumBranches を 8 と報告しました。
テスト中のコードを以下に示します。
以下に示すファイル出力 run.stats ('Instructions','FullBranches','PartialBranches','NumBranches','UserTime','NumStates','MallocUsage','NumQueries','NumQueryConstructs','NumObjects' ,'WallTime','CoveredInstructions','UncoveredInstructions','QueryTime','SolverTime','CexCacheTime','ForkTime','ResolveTime',)
(0,0,0, 8 ,5.609000e-03,0,528704,0,0,0,4.196167e-05,0,78,0.000000e+00,0.000000e+00,0.000000e+00,0.000000e +00,0.000000e+00)
(32,2,0, 8,9.722000e -03,0,654176,3,56,0,3.826760e-01,27,51,3.799300e-01,3.802470e-01,3.801040e-01,6.900000e -05,0.000000e+00)
8がどのように由来するのか誰か説明できますか?
buffer-overflow - SAGE、KLEE、S2Eなどのシンボリック実行を使用してバグを見つける方法
タイトルの通り、これらのツールがバグを見つける方法の違いを知っている人はいますか? kLEE と SAGE は境界外アクセスとバッファ オーバーフローを検出できる可能性があります。KLEE はアサーションを使用できますが、他の方法はありますか?