完美的无漏洞软件？形式化验证

显示全部楼层 · 发表于 2018-12-4 19:36:34

HEMM 发表于 2018-12-4 18:23
追求完美没错，但不可能有完美，不可能无BUG......
绝对不会有已知BUG就等于没BUG，那么无话可说。

当初有人写了个dns服务器
自称没漏洞然后还公开挑战
作者自称谁要是找到了漏洞就给他2w多rmb
然后没记错的话是过了8年也没人找出漏洞来.
10年后好像也没人找到.

知道有一天他成功的失败了

显示全部楼层 · 发表于 2018-12-4 19:44:05

kxmp 发表于 2018-12-4 19:36
当初有人写了个dns服务器
自称没漏洞然后还公开挑战
作者自称谁要是找到了漏洞就给他2w多rmb

姐姐！我在吃饭= =........当心我变这样

不讨论了，没啥意义......
完美不完美，各有各的想法......

显示全部楼层 · 发表于 2018-12-4 19:45:32

勒索软件算是这类吗？

显示全部楼层 · 发表于 2018-12-4 22:33:12

ziyerain2015 发表于 2018-12-4 19:45
勒索软件算是这类吗？

你是来灌水的吗？

显示全部楼层 · 发表于 2018-12-4 22:35:40

HEMM 发表于 2018-12-4 18:23
追求完美没错，但不可能有完美，不可能无BUG......
绝对不会有已知BUG就等于没BUG，那么无话可说。

目前只有数学还不曾有问题。把代码转换成数学问题验证数学上没问题，达到目前可以达到的“完美”。这目的就达到了。

显示全部楼层 · 发表于 2018-12-5 03:56:54

如果一个体系不考虑和外界接触只专注自己运行那当然可以做到没有漏洞

显示全部楼层 · 发表于 2018-12-5 12:44:46

HEMM 发表于 2018-12-4 19:44
姐姐！我在吃饭= =........当心我变这样
不讨论了，没啥意义......
完美不完美，各有各的想法... ...

然后那人就乖乖的交钱出来了

显示全部楼层 · 发表于 2018-12-5 16:19:00

很多安全相关的软件都需要形式化建模和验证了

显示全部楼层 · 发表于 2018-12-5 16:53:14

学习了

显示全部楼层 · 发表于 2018-12-8 15:35:50

漏洞百出

[讨论] 完美的无漏洞软件？形式化验证