首页/ 成都链安科技有限公司/ 专利详情

一种自动化的智能合约代码缺陷检测系统和方法

基本信息

申请号 CN201810792738.4 申请日 -
公开（公告）号 CN109063477A 公开（公告）日 2018-12-21
申请公布号 CN109063477A 申请公布日 2018-12-21
分类号 G06F21/56;G06Q20/40 分类 计算；推算；计数;
发明人 杨霞 申请（专利权）人 成都链安科技有限公司
代理机构 成都四合天行知识产权代理有限公司 代理人 成都链安科技有限公司
地址 610000 四川省成都市成华区二环路东二段508号7层714号房
法律状态 -

摘要

摘要 本发明公开了一种自动化的智能合约代码缺陷检测系统和方法，全自动化对区块链智能合约做缺陷代码检查；使用静态代码分析和动态路径遍历相结合的方式，再加上独立可扩充的安全模型库和规则匹配库，使得缺陷代码检查更加完备、准确可靠，解决了缺陷代码中漏报问题；同时实时加载区块链底层平台接口调用，并将生成的测试案例和反例在区块链平台上验证缺陷代码是否是伪错误，能有效、准确的查找出智能合约缺陷代码，通过源码映射引擎，还可将缺陷错误代码定位到智能合约源代码具体位置。