• OCaml

  • Referenced in 273 articles [sw06363]
  • IA64, HPPA, StrongArm), as well as a bytecode compiler (ocamlc) and an interactive read-eval...
  • AspectJ

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

  • Referenced in 28 articles [sw09122]
  • Soot - a Java bytecode optimization framework. This paper presents Soot, a framework for optimizing Java ... bytecode. The framework is implemented in Java and supports three intermediate representations for representing Java ... bytecode: Baf, a streamlined representation of bytecode which is simple to manipulate; Jimple, a typed ... program optimizations. To show that whole program bytecode optimization can give performance improvements, we provide...
  • TALx86

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

  • Referenced in 23 articles [sw00162]
  • infer cost and termination information about Java bytecode programs. The system receives as input ... bytecode program and a cost model chosen from a selection of resource descriptions, and tries ... allocated on the heap, the number of bytecode instructions executed, the number of billable events ... examples, and also to upload their own bytecode programs. As the behaviour of COSTA...
  • Lua

  • Referenced in 39 articles [sw10207]
  • dynamically typed, runs by interpreting bytecode for a register-based virtual machine, and has automatic...
  • CCSTM

  • Referenced in 34 articles [sw33312]
  • performance and scalability are on par with bytecode rewriting STMs...
  • JavaFAN

  • Referenced in 32 articles [sw01934]
  • model checking. Both Java language and JVM bytecode analyses are possible. JavaFAN’s implementation consists...
  • JPAX

  • Referenced in 29 articles [sw09906]
  • facilitates automated instrumentation of a program’s bytecode, which when executed will emit an event...
  • jContractor

  • Referenced in 10 articles [sw01488]
  • design-by-contract to Java using reflective bytecode instrumentation Design by Contract is a software ... 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...
  • 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...
  • Dava

  • Referenced in 5 articles [sw34048]
  • Decompiling Java bytecode: Problems, traps and pitfalls. Java virtual machines execute Java bytecode instructions. Since ... this bytecode is a higher level representation than traditional object code, it is possible ... conventional wisdom is that decompiling Java bytecode is relatively simple. This may be true when ... decompiling bytecode produced directly from a specific compiler, most often Sun’s javac compiler...
  • PyPy

  • Referenced in 6 articles [sw20002]
  • program that is itself a bytecode interpreter results in very limited or no speedup ... compilers to greatly improve the speed of bytecode interpreters. One crucial point is to unroll ... bytecode dispatch loop, based on two kinds of hints provided by the implementer ... bytecode interpreter. We evaluate our technique by applying it to two PyPy interpreters...
  • 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...
  • JACK

  • Referenced in 7 articles [sw07878]
  • works both for source code and for bytecode, which makes it particularly suitable...
  • muparser

  • Referenced in 7 articles [sw26166]
  • works by transforming a mathematical expression into bytecode and precalculating constant parts of the expression...
  • DiSL

  • Referenced in 3 articles [sw06886]
  • Java bytecode instrumentation made easy: The disl framework for dynamic program analysis. Many software development ... frameworks (e.g., aspect weavers) are based on bytecode instrumentation techniques. While there are many ... level bytecode manipulation libraries that support the development of such tools and frameworks, they typically ... infrastructure for load-time instrumentation with complete bytecode coverage to ensure that each method with...
  • ASM

  • Referenced in 4 articles [sw23064]
  • purpose Java bytecode manipulation and analysis framework. It can be used to modify existing classes ... tools. ASM offer similar functionality as other bytecode frameworks, but it is focused on simplicity...
  • BicolanoMT

  • Referenced in 3 articles [sw28593]
  • formalization of multi-threaded Java at bytecode level. This paper describes a formalization of multi ... threaded Java bytecode in Coq. The formalization builds on the existing Bicolano formalization for sequential ... which captures basically all aspects of sequential bytecode supported by the CLDC (Java for mobile ... does not require any transformation of the bytecode. The formalization is developed to be suited...
  • PLASMA

  • Referenced in 5 articles [sw18420]
  • PLASMA compiles both model and property into bytecode that is executed on an in-built...