問題タブ [program-slicing]

Andreas Zellerのデバッグの本を読んだ後、 DynamicSlicingに興味を持ちました。

現時点では、Java分析に関連するツールしか見つかりませんでした。C / C ++用のそのようなツールを知っていますか？

特定の数値の因数を見つける必要があります。たとえば、次のようになります。

コード ：

しかし、実行するdivisors2(40,RR).と無限ループになり、画面には何も表示されません。

なんで ？

よろしく

叔母の関係がうまくいかない理由を誰か教えてもらえますか? 呼び出そうとするたびに false を返します。

その下に書いたおじさん関係がバッチリ効いているようです。違いがわかりません。最後に (not(mother(X,Y)). も試しましたが、何も変わりません。

少なくとも 1 つの大文字/小文字などの一般的な要件を持つパスワードを作成しようとしています。パスワードが要件に従って有効でない場合は、ユーザーがパスワードを取得できるようにエラーを表示する必要があります。もう一度修正します。

最後に、ユーザーが別のテストを続行するかどうかを選択できるように、while ループから始めました。これらは私が行った一般的な手順です。

最後に、ユーザーのテキスト入力が有効でないと判断された場合、ユーザーのエラーが何であったかを表示する必要があります。それが今の私の主な問題です。提案の後、コードはより良くなります。今、私は何とかエラーを表示する必要があります。

これが私のコードのやり方です

ソース コードとスライスされたコードを比較しようとしていますが、frama-c は解析時にコードを正規化するため、スライスされたコード ステートメントはソース コード ステートメントと同一ではありません。

Frama-c を使用してコードを前処理して、条件を使用してスライスしたときに、結果のスライスされたステートメントを前処理されたステートメントと比較できるようにすることは可能ですか?

ありがとう。