In the last year or two, interest in "alternative" languages on top of the Java Virtual Machine has grown exponentially, to the point where three languages were blessed with official acceptance in the ...

Abstract: Using abstract syntax tree as the basis of static analysis of Java program have many difficulties. The paper defines a XML data structure for Java bytecode, instead of abstract syntax tree ...

Abstract: We demonstrate a model, including operational semantics, for the reverse execution of stack-based code. We discuss our modification of the Kaffe implementation of the Java Virtual Machine, ...

Jar Analyzer - 一个JAR包分析工具，SCA漏洞分析，批量分析JAR包，方法调用关系搜索，字符串搜索，Spring组件分析，CFG程序分析 ...