登录注册

符号执行

1 引用 • 133 浏览

参与讨论

关注

关注分享

LLVM

20 引用 • 3 回帖 • 1 关注
程序员

程序员是从事程序开发、程序维护的专业人员。
565 引用 • 3532 回帖

默认热议好评优选最近回帖关注者查看所有标签

多选块与多选单元格改进提案投票与意见征集
提案内容多选块后不再保留光标多选表格单元格后不再保留光标，然后实现按 Backspace 和 Delete 清空单元格关联 [链接] 我认为如果用户选中单元格，那就是要对单元格的整体进行操作，不应该还有光标。这是目前多选表格单元格的逻辑，光标会出现在放开鼠标的位置，无法使用 Backspace 和 Delete ..

97 12 小时前
KLEE 源码安装（Ubuntu 16.04 + LLVM 9）
原文链接： [链接] 符号执行在近几年的软件测试及漏洞挖掘领域越来越火，其主要思想是把程序的执行路径转化为一个个路径约束，然后使用约束求解器求解这些约束，从而生成特定覆盖路径的测试用例。其中最有名的工具就属 KLEE 了。KLEE 是建立在 LLVM 编译器基础结构之上的符号执行虚拟机，从 2008 年提出以来，已经在 ..

1.3K 4 年前