• AspectJ

  • Referenced in 130 articles [sw04426]
  • AspectJ code is compiled into standard Java bytecode. Simple extensions to existing Java development environments...
  • TALx86

  • Referenced in 45 articles [sw34511]
  • language that is better suited than Java bytecodes for supporting a wide variety of source...
  • Soot

  • Referenced in 26 articles [sw09122]
  • Soot - a Java bytecode optimization framework. This paper presents Soot, a framework for optimizing Java ... bytecode. The framework is implemented in Java ... supports three intermediate representations for representing Java bytecode: Baf, a streamlined representation of bytecode which...
  • COSTA

  • Referenced in 23 articles [sw00162]
  • infer cost and termination information about Java bytecode programs. The system receives as input ... examples, and also to upload their own bytecode programs. As the behaviour of COSTA ... these options include whether to analyze the Java standard libraries, to take exceptions into account...
  • jMoped

  • Referenced in 10 articles [sw01486]
  • jMoped: A Java bytecode checker based on Moped. We present a tool for finding errors ... Java programs that translates Java bytecodes into symbolic pushdown systems, which are then checked...
  • JavaFAN

  • Referenced in 30 articles [sw01934]
  • explicit state model checking. Both Java language and JVM bytecode analyses are possible. JavaFAN ... Maude code, specifying formally the semantics of Java and JVM in rewriting logic and then...
  • Dava

  • Referenced in 5 articles [sw34048]
  • Decompiling Java bytecode: Problems, traps and pitfalls. Java virtual machines execute Java bytecode instructions. Since ... conventional wisdom is that decompiling Java bytecode is relatively simple. This may be true when ... pitfalls when decompiling arbitrary verifiable Java bytecode. Such bytecode could be produced by other Java ... compilers, Java bytecode optimizers or Java bytecode obfuscators. Java bytecode can also be produced...
  • jContractor

  • Referenced in 10 articles [sw01488]
  • Introducing design-by-contract to Java using reflective bytecode instrumentation Design by Contract ... allows programmers to write “contracts” as standard Java methods following an intuitive naming convention. Preconditions ... interface. jContractor performs on-the-fly bytecode instrumentation to detect violation of the contract specification ... during a program’s execution. jContractor’s bytecode engineering technique allows it to specify...
  • SAFKASI

  • Referenced in 5 articles [sw20431]
  • implementation strictly by rewriting the Java bytecodes before they are loaded by the system ... changes to the JVM or bytecode semantics are necessary. With a combination of static analysis ... easier to consider for languages beyond Java. We call our system SAFKASI (the Security Architecture...
  • BicolanoMT

  • Referenced in 3 articles [sw28593]
  • BicolanoMT: a formalization of multi-threaded Java at bytecode level. This paper ... describes a formalization of multi-threaded Java bytecode in Coq. The formalization builds ... aspects of sequential bytecode supported by the CLDC (Java for mobile phones) platform ... does not require any transformation of the bytecode. The formalization is developed to be suited...
  • ASM

  • Referenced in 4 articles [sw23064]
  • purpose Java bytecode manipulation and analysis framework. It can be used to modify existing classes...
  • OCaml-Java

  • Referenced in 3 articles [sw21578]
  • allow compilation of OCaml sources into Java bytecodes. The ability to run OCaml code...
  • DiSL

  • Referenced in 3 articles [sw06886]
  • Java bytecode instrumentation made easy: The disl framework for dynamic program analysis. Many software development ... techniques. While there are many low-level bytecode manipulation libraries that support the development ... abstractions and require detailed knowledge of the Java Virtual Machine. In addition, they often lack ... infrastructure for load-time instrumentation with complete bytecode coverage to ensure that each method with...
  • julia

  • Referenced in 2 articles [sw09720]
  • analyser for single-threaded Java and Java bytecode programs, built inside the julia tool. Nullness ... denotational abstract interpretation of Java bytecode through Boolean logical formulas, strengthened with...
  • ProGuard

  • Referenced in 2 articles [sw33508]
  • most popular optimizer for Java bytecode. It makes your Java and Android applications...
  • ADiJaC

  • Referenced in 2 articles [sw19695]
  • general-purpose automatic differentiation tool for Java bytecode, we argue that ADiJaC’s features...
  • JVer

  • Referenced in 1 article [sw25426]
  • describe JVer, a tool for verifying Java bytecode programs annotated with pre and post conditions ... produces verification conditions for Java bytecode, not Java source; (2) it is sound, because...
  • WALA

  • Referenced in 2 articles [sw04113]
  • WALA) provide static analysis capabilities for Java bytecode and related languages and for JavaScript...
  • Sawja

  • Referenced in 2 articles [sw00827]
  • provides OCaml modules for efficiently manipulating Java bytecode programs. We present the main features...
  • Joogie

  • Referenced in 4 articles [sw13771]
  • that arise from differences between Java code and its bytecode...