刘 涛 伍少成 马 越 赵 杰 姜和芳

(深圳供电局有限公司 广东深圳 518001)(1513629216@qq.com)

随着电力市场化交易的出现，电能计量系统正从传统的离线方式向在线方式转换，系统新功能的不断推送，使得系统的安全隐患和风险加大，一旦系统任何节点的源代码存在安全漏洞或缺陷，导致电能现货交易意外中断，就会给政府和电力企业带来不可估量的社会影响和重大经济损失.为了及时查找软件代码可能存在的安全缺陷，通常采用静态代码分析和动态代码分析[1].前者是用来发现程序代码本身的安全漏洞，测试工具简单易用；而后者需要更专业的测试工具和人员配置，才可发现静态代码如何与其他组件交互时的错误.

研究人员马均飞和郑文强[2]对代码静态测试评审的原则和类型进行了较准确详细的描述，给出实际分析案例，并通过基于代码和基于架构的分析方法，进一步加深对代码安全性静态分析的论述；贺江敏和相里朋[3]在马均飞等人[2]研究的基础上，开展了代码安全性人工走查和静态工具分析相结合的研究，针对目前常见的软件安全漏洞，比如SQL注入、缓冲区溢出、资源未释放等进行人工走查的方式查找安全漏洞，然后，通过代码安全性静态分析工具对数据流、控制流和程序结构等方面的自动化扫描分析，再结合人工分析方法加以完善.

不过，人工排查源代码安全漏洞的方法需要对代码编程有较高技术才可完成，费用高、时间……