TAG

# Bug

按具体问题和线索重新找到相关内容。

Symbolic Execution：把输入变成未知数，程序能自己找出崩溃条件吗？

Symbolic Execution：把输入变成未知数，程序能自己找出崩溃条件吗？

Foundit

SBCDX：安全区块链共识数据交换协议

SBCDX：安全区块链共识数据交换协议

尾兽

CFG：程序不是一条线，而是一张路网

CFG：程序不是一条线，而是一张路网

Foundit

Coverage-guided Fuzzing：让测试输入朝“新路径”前进

Coverage-guided Fuzzing：让测试输入朝“新路径”前进

Foundit