首页  流程图  详情

java 代码检查机制-基础

2017-04-03 17:41:31   0  举报





仅支持查看

为你推荐

查看更多



Java代码检查机制是一种用于确保代码质量和可维护性的自动化工具。它通过对代码进行静态分析，检查代码中的潜在问题，如语法错误、逻辑错误、性能问题等。这些检查可以帮助开发者在代码编写阶段发现并修复问题，从而提高代码质量，减少调试时间。常见的Java代码检查工具有Checkstyle、FindBugs、PMD等。此外，许多集成开发环境（IDE）也内置了代码检查功能，如Eclipse、IntelliJ IDEA等。通过使用这些工具，开发者可以遵循一定的编码规范，提高代码的可读性和可维护性。

作者其他创作

大纲/内容

Java 解释器

由java解释器负责把类文件解释成为机器码进行执行

Java代码安全性检查机制：首先由类装载器(class loader)负责把类文件(.class文件)加载到Java虚拟机(JVM)中，它通过区分本地文件系统的类和网络系统导入的类增加安全性，这可以限制任何特洛伊木马程序。因为本机类总是先被加载，一旦所有的类都被加载完，执行文件的内存就固定了。然后，字节码校验器进行校验，字节码校验器不检查那些可信任的编译器所生成的类文件，而是对那些有意违背命名空间规定和java语言规则的类文件进行检查，并且关闭具有安全性漏洞的类文件，自己码校验器主要执行下面的检查。加载的类符合JVM规范的类文件格式，没有违反访问限制，代码上没有造成上溢或者下溢，所有操作代码的参数类型都正确的，没有非法的数据类型转换发生，检查该类文件是否存在某些非法操作。字节码校验器在java源程序中，会执行try-catch-finally语句序列并且捕捉和响应java的程序错误。最后，如果字节码校验检验通过，由java解释器负责把类文件解释成为机器码进行执行。

java 代码安全性检查机制

装载完毕

装载类文件 (.class文件)会区分本地还是网络文件来增加安全性

class loader（类装载器）

JVM虚拟机

检查该类文件的代码中是否存在着某些非法操作，例如applet程序中写本机文件系统的操作

bytecode verifier（字节码校验器）

类装载器(class loader)

java虚拟机采用的是\"沙箱\"运行模式，即把java程序的代码和数据都限制在一定内存空间里执行，不允许程序访问该内存空间外的内存，如果是applet程序，还不允许访问客户端机器的文件系统。

校验通过

字节码校验

加载的类符合JVM规范的类文件格式，没有违反访问限制，代码上没有造成上溢或者下溢，所有操作代码的参数类型都正确的，没有非法的数据类型转换发生，检查该类文件是否存在某些非法操作。字节码校验器在java源程序中，会执行try-catch-finally语句序列并且捕捉和响应java的程序错误。