【发布时间】:2012-07-09 02:57:44
【问题描述】:
我正在使用一个程序 (klee) 来测试 c 代码。 我需要在我的程序中使用结果。
这是不可读的信息,但一些解决方案是十六进制数据,格式如下: '\x0e\x00\x00\x00' 我已经问过如何将其转换为整数,我找到了解决方案。
我也必须在结构中引入这种结果,我会知道大小,但会知道字段或其他任何相关信息。
我想我可以解决这个问题,但现在的问题是,有时您可以获得以下内容: '\n\x00\x00\x00'= 13 要么 '\r\x00\x00\x00' = 10
而且我没有找到他们使用哪种表示形式将其转换为可读信息.. 显然我可以在 python 中解决这个问题: 导入结构 选择 = struct.unpack('
我对pyton一无所知,我想在java或c中找到一个解决方案。 非常感谢
【问题讨论】:
-
\r是“回车”的 ASCII 转义码 -- 0x0D。 -
哇,我听说过克莱。让我挖掘一下我看到的提到它的东西
-
klee 有一个使用案例的工具,您可以使用此工具将案例与您的原始代码一起使用。问题是我正在用java(eclipse + linux)制作一个程序,我想获取klee给我的信息(我已经做过)并使用它,所以我应该知道如何转换这种数据。
标签: java hex representation klee