Ta上传的资源 (0)

本文针对IA-64跳转表的特性,提出了一种与机器和编译器无关的恢复跳转表和它们的目标地址的解决方案,该方案的基础是过程内切片技术和表达式替换技术。通过这些技术,可以将包含索引跳转的过程代码转换成一般的形式,同时可以确定跳转表装入位置和包含的信息。最后通过实验可以说明,该方案可在很大程度上提高二进制翻

FindBugs 是一个静态分析工具,它检查类或者 JAR 文件,将字节码与一组缺陷模式进行对比以发现可能的问题。有了静态分析工具,就可以在不实际运行程序的情况对软件进行分析。不是通过分析类文件的形式或结构来确定程序的意图,而是通常使用 Visitor 模式。