链滴
社区愿景和功能特性
优雅的 Markdown 所见即所得编辑
快捷键交互
随时自由编辑分享内容
支持注销账号来去自由
分布式社区网络
开放 API
产品
Symphony 社区系统(Java)
Solo 博客系统(Java)
Vditor 编辑器(TypeScript)
思源笔记(Electron、Go)
Pipe 博客平台(Vue、Go)
发展计划表
发展简史
榜单
GitHub 仓库排行
帖子打赏排行
Solo 博客端排行
积分排行
活跃度排行
贡献排行
本站基于开源项目 Sym
编程代码问答
登录
注册
首页
>
标签
符号执行
1
引用 •
133
浏览
参与讨论
关注
关注
分享
LLVM
20
引用 •
3
回帖 •
1
关注
程序员
程序员是从事程序开发、程序维护的专业人员。
546
引用 •
3531
回帖 •
1
关注
默认
热议
好评
优选
最近回帖
关注者
查看所有标签
KLEE 源码安装(Ubuntu 16.04 + LLVM 9)
原文链接: [链接] 符号执行在近几年的软件测试及漏洞挖掘领域越来越火,其主要思想是把程序的执行路径转化为一个个路径约束,然后使用约束求解器求解这些约束,从而生成特定覆盖路径的测试用例。其中最有名的工具就属 KLEE 了。KLEE 是建立在 LLVM 编译器基础结构之上的符号执行虚拟机,从 2008 年提出以来,已经在 ..
1.3K
3 年前