私は、C コードのテストを行うプログラム (klee) を使用しています。プログラムで結果を使用する必要があります。
読み取り可能な情報ではありませんが、解決策のいくつかは次の形式の 16 進数データです: '\x0e\x00\x00\x00' 整数に変換する方法については既に質問しましたが、解決策を見つけました。
この種の結果を構造体にも導入する必要があります。サイズはわかりますが、フィールドやその他のことについてはわかります。
私はこれを解決できると思いますが、問題は次のようなものを取得できる場合があることです: '\n\x00\x00\x00'= 13 または '\r\x00\x00\x00' = 10
そして、彼らがそれを読み取り可能な情報に変換するために使用する表現の種類を見つけられませんでした..明らかに、Pythonでこれを解決できました: import struct selection = struct.unpack('
私はpytonについて何も知りません.Javaまたはcで解決策を見つけたいと思います. どうもありがとう