登录注册

符号执行

1 引用 • 133 浏览

参与讨论

关注

关注分享

LLVM

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

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

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

关于 SiYuan v3.1.12 后默认自动清理超过 180 天快照的调查
目前思源加入了自动的快照清理功能，触发时机如下：手动触发同步每 24 小时执行一次默认的配置是保留 180 天内的快照，每天保留两份。在启动、退出时的同步不会触发，但是 30s 的自动同步会触发。我个人不喜欢这个设计，因此以下的描述可能会有偏颇。不喜欢的原因如下：清理功能是自动的且没有开关默认开启，这导致假 ..

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

1.3K 4 年前