本发明公开了一种面向以太坊智能合约的协议安全属性自动提取方法及系统，基于源码中使用的函数和/或全局变量类型实现合约分类，是一种基于数字货币类型的智能合约分类方案，划分标准明确，能覆盖大多数的以太坊智能合约，同一分类下的智能合约具有共同点，便于提取通用安全属性；同时，可以针对不同类型的合约提取通用的安全属性，不需要人工参与，根据智能合约本身特征即可总结得出，能够应用于自动化的智能合约安全分析，使得分析更高效。同时这些安全属性可用于交易顺序依赖等漏洞的检测，不局限于溢出等底层漏洞。