NtaTrust使用五种核心技术对性能和功能属性(包括正确性和安全性)对区块链生态系统进行证伪和证真。这五个核心技术包括动态分析,模糊测试,符号执行,模型检测和静态分析。这些技术具有协同和互补的优势。
动态分析和
模糊测试能够准确高效的挖掘错误。NtaTrust的动态分析可以在特定输入下正常的程序执行行为中预测出错误,而模糊测试可以自动产生大概率会导致程序出错的输入以监控更多程序行为。
符号执行是较低效但是更全面的证伪技术,用于系统性排查程序路径并发现一般测试难以发现的错误。另一方面,
静态分析和
模型检测侧重于分析区块链生态系统行为的超集。静态分析可以高效判断程序是否有疑似错误的代码,而模型检测能够准确证明程序模型属性的正确性。
因此,在NtaTrust内部,静态分析和模型检测适用于验证属性,而模糊测试,动态分析和符号执行则适用于挖掘程序错误。有关其他信息,请参阅我们的
单页说明和白皮书。