29.04.2014
Inference of NotNull annotations from Java bytecode
|
||||
|
Annotation: The paper presents a simple solution of annotating Java bytecode for its safer usage (e.g. from code written in Kotlin programming language). The solution is based on symbolic execution of Java byte code over abstract values. Keywords: Java; bytecode; nullness; nullable; notnull; NullPointerException; null safety; control flow graph |
|||
EJB |
||||
Методология построения EJB систем |
||||
Servlet |