符号表论文

软件安全检查工具前端的设计与实现
论文摘要本文研究和讨论的软件安全检查工具可以在程序的编译阶段对其进行安全分析,尽可能全面地检查出程序存在的安全漏洞,从而避免这些漏洞在程序的运行阶段造成更严重的问题。软件安全检...
静态二进制翻译中基于软件规范的函数识别及恢复技术研究
论文摘要二进制翻译技术是解决软件移值问题的重要手段，在遗产代码移植、程序优化、系统安全等方面都有着重要的意义，已经成为现代编译技术研究热点之一。由于静态二进制翻译技术在理论和实...