排序方式: 共有22条查询结果,搜索用时 31 毫秒
1.
缓冲区溢出是C程序中众多安全隐患的根源之一,以C程序代码为目标对象,提出了一个基于底层虚拟机中间代码的缓冲区溢出检测工具PathChecker.该工具基于动态符号执行方法,使用无量词谓词公式刻画缓冲区操作的安全性质,并利用可满足模型理论求解器技术检验缓冲区操作的安全性.实验结果表明,该工具能有效检测C代码中的缓冲区溢出漏洞,且易于推广至其他高级程序语言代码和其他类型安全漏洞的检测. 相似文献
2.
3.
4.
西南反应堆工程研究设计院目前已生产出30居里、50居里铱-192γ射线探伤机。该机操纵方便、结构安全可靠,符合ISO-3999标准规定,可透照10—70毫米厚的钢和30—200毫米厚的铝。既可圆周照射,又可单向照射。工作时,远距离操作,放 相似文献
5.
6.
7.
8.
9.
运用于化工、石油、城建、冶金、纺织工业中的球罐,最常见的缺陷有错边、角变形,裂纹、气孔和夹渣、未焊透、未熔合等。而裂纹是危险性最大的一种缺陷。为了准确、有效地无损检验出球罐的内部缺陷,使用铱-192γ射线探伤机探伤则可代替传统的100%超声探伤及表面探伤为主,辅以适量的X射线拍片抽查及复核的方法。铱-192γ射线探伤机是利用材料对γ射线吸收程度的差异,通过γ射线拍片的方法,从 相似文献
10.
安全信息管理系统生成器的研究 总被引:1,自引:0,他引:1
基于生成式程序设计和领域工程的理论与方法对运行于PDA的安全类软件进行建模,本文介绍一种简单的领域建模语言GML,设计一个生成器解析GML文档并生成目标系统。 相似文献