论文部分内容阅读
随着Internet以及分布式系统的不断发展和广泛应用，安全问题正在逐渐成为研究的热点。其中关于恶意代码所导致的软件安全问题也引起了人们的关注。该文重点分析了时序安全特性和竞争条件等代码分析热点问题，给出了时序安全特性的分类以及形式化描述，提出了将模式识别应用于解释性语言中的动态代码检查方法。将该方法应用于Perl语言解释器中，实现了对Perl语言脚本的动态检查.