请问有哪些符号执行工具是支持 sparc 的?
我在尝试过 angr 之后发现其对 sparc 的支持性并不很好.
如果有使用 angr 成功对 sparc 下的程序进行符号执行的,请教下是如何做到的?
如果angr真的不可行,有其他的工具可用吗?
![](https://profile-avatar.csdnimg.cn/default.jpg!4)
支持 sparc 的符号执行工具
- 写回答
- 好问题 0 提建议
- 追加酬金
- 关注问题
- 邀请回答
-
3条回答 默认 最新
- 阿里嘎多学长 2024-06-05 15:48关注
以下内容由CHATGPT及阿里嘎多学长共同生成、有用望采纳:
关于支持SPARC架构的符号执行工具,以及angr对SPARC架构支持情况的问题,以下是我根据搜索结果得出的一些信息:
-
angr对SPARC的支持情况:
- 根据CSDN博客[^9^],angr是基于libVEX开发的,目前支持ARM、MIPS、PPC和x86以及amd64架构。文中提到libVEX项目的研究者正在对SPARC架构进行移植工作,这意味着angr未来可能会支持SPARC架构,但目前可能还没有完全支持。
-
其他支持SPARC的符号执行工具:
- 搜索结果中没有直接提到除了angr之外,哪些符号执行工具支持SPARC架构。因此,如果angr对SPARC的支持不够好,可能需要考虑其他的二进制分析工具,或者等待angr对SPARC的官方支持。
-
使用angr进行SPARC架构程序符号执行的经验分享:
- 搜索结果中没有找到具体的案例或教程,说明如何使用angr成功对SPARC架构的程序进行符号执行。因此,这方面的经验可能需要在社区中进一步探索,或者通过实验和尝试来积累。
-
相关的代码实现和参考资料:
- 由于搜索结果中没有提供具体的代码实现和详细的参考资料,建议关注angr的官方文档和社区论坛,以获取最新的支持信息和使用技巧。
- 可以参考的资料包括angr的官方文档[^5^]和GitHub仓库[^8^],以及CSDN等平台上的相关博客文章[^9^]。
综上所述,目前angr对SPARC架构的支持可能还在开发中,没有明确的信息表明已经完全支持。如果需要对SPARC架构的程序进行符号执行,可能需要寻找其他的替代工具,或者关注angr的后续更新。同时,也建议积极参与社区讨论,以获取更多的使用经验和支持信息。
解决 无用评论 打赏 举报 编辑记录 -
悬赏问题
- ¥20 需要帮我远程操控一下,运行一下我的那个代码,我觉得我无能为力了
- ¥20 有偿:在ubuntu上安装arduino以及其常用库文件。
- ¥15 请问用arcgis处理一些数据和图形,通常里面有一个根据点划泰森多边形的命令,直接划的弊端是只能执行一个完整的边界,但是我们有时候会用到需要在有很多边界内利用点来执行划泰森多边形的命令
- ¥30 在wave2foam中执行setWaveField时遇到了如下的浮点异常问题,请问该如何解决呢?
- ¥750 关于一道数论方面的问题,求解答!(关键词-数学方法)
- ¥200 csgo2的viewmatrix值是否还有别的获取方式
- ¥15 Stable Diffusion,用Ebsynth utility在视频选帧图重绘,第一步报错,蒙版和帧图没法生成,怎么处理啊
- ¥15 请把下列每一行代码完整地读懂并注释出来
- ¥15 寻找公式识别开发,自动识别整页文档、图像公式的软件
- ¥15 为什么eclipse不能再下载了?