[ mirrors | overview | download | authors | publications ]
[ KTH | JKU ]
JNuke is a collection of program analysis tools for Java bytecode; JNuke itself is written in C.
JNuke is a collection of program analysis tools for Java bytecode, including:
See README for more information.
Due to licensing reasons, JNuke is provided in multiple archives, each containing a separate license. The main code base is licensed under the BSD license. To use run the regression tests of JNuke, additional class files are needed, coming under their own license. JNuke also requires class library files, which can be extracted from an existing JVM installation.
|LICENSE||jnuke-1.0.tar.gz||Source distribution (version 1.0)|
|LICENSE-EPCC||jnuke-1.0-edinburgh.tar.gz||Java Grande Benchmark (used in some regression tests)|
|LICENSE-ETH||jnuke-1.0-eth.tar.gz||Concurrency benchmarks (used in some regression tests)|
|LICENSE-GNU||jnuke-1.0-gnu.tar.gz||Java library components (GNU classpath)|
|LICENSE-SUN||jnuke-1.0-sun.tar.gz||Java library class files (for reference only; should be extracted from class files from existing JVM installation)|
Click on the number for the bibtex entry.
|||C. Artho. Combining Static and Dynamic Analysis to Find Multi-threading Faults Beyond Data Races. Diss. ETH Zurich No. 16020, Switzerland, May 2005. Published by Hartung-Gorre Verlag Konstanz, Germany, ISBN 3-89649-997-1, Series of Computer Science, ISSN 1611-0943.||ETH e-collection | Book|
|||C. Artho, A. Biere. Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis. BYTECODE '05, Edinburgh, Scotland, April 2005.||PDF | Postscript (gzipped)|
|||C. Artho, A. Biere. Combined Static and Dynamic Analysis. ETH Technical Report #466. Extended version of AIOOL paper.||PDF | Postscript (gzipped)|
|||C. Artho, K. Havelund, A. Biere: Using Block-local Atomicity to Detect Stale-value Concurrency Errors. ATVA '04, Taipei, Taiwan, November 2004.||PDF | Postscript (gzipped)|
|||C. Artho, V. Schuppan, A. Biere, P. Eugster, M. Baur, B. Zweimüller: JNuke: Efficient Dynamic Analysis for Java. CAV '04, Boston, USA, July 2004.||PDF | Postscript (gzipped)|
|||C. Artho, A. Biere, and K. Havelund: High-level Data Races. In: Journal on Software Testing, Verification and Reliability (STVR), 13(4). Extended Version of the VVEIS '03 paper.||Preprint as PDF | Postscript (gzipped)|
E-mail: artho (at) kth (dot) se
Last update: September 8, 2016: This website moved to KTH. Please update your links and bookmarks!