Java bytecode; Clone detection; Metrics; Hierarchical matching;
机译:通过代码转换和标准字节码验证来检查Java字节码中的安全信息流
机译:PicoJava:Java字节码的直接执行引擎
机译:使用BML规范注释的Java Bytecode程序的正式模型。
机译:JSIMIL:Java字节码克隆探测器
机译:Java字节码中的信息流分析和实施
机译:克隆的雄性检测犬的繁殖能力及其后代的行为特征
机译:通过代码转换和标准字节码验证检查Java字节码中的安全信息流