V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
V2EX 提问指南
randy123
V2EX  ›  问与答

有没有朋友了解 klee 和 llvm 啊?

  •  
  •   randy123 · 2015-05-08 14:07:10 +08:00 · 2025 次点击
    这是一个创建于 3465 天前的主题,其中的信息可能已经有所发展或是发生改变。

    本人在进行klee的二次开发,主要是利用符号执行来进行c++程序迭代深度的计算,老师指派的项目,不清楚有没有朋友进行过类似的项目,或者比较了解Klee和LLVM的?希望帮忙讲述一下符号执行的相关概念.

    3 条回复    2018-09-05 17:05:12 +08:00
    yuanbg
        1
    yuanbg  
       2016-03-15 10:13:58 +08:00
    Klee 是 LLVM 下的一个子项目,近期我也在了解这方面的东西,想做污点分析,不知道楼主现在做的怎么样了?
    radix86
        2
    radix86  
       2016-03-28 09:52:18 +08:00
    @yuanbg 我现在正在做,想对 KLEE 增加新的功能,可以交流。
    zj4321
        3
    zj4321  
       2018-09-05 17:05:12 +08:00
    @radix86 您好,我最近在看符号执行,想利用 klee 做点东西,可以跟您讨教一些经验吗?
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   5200 人在线   最高记录 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 28ms · UTC 09:35 · PVG 17:35 · LAX 02:35 · JFK 05:35
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.