Last update: Fri Jan 5 02:08:04 MST 2018
@Article{Bapst:2008:SIO,
author = "Frederic Bapst and Fran{\c{c}}ois Kilchoer",
title = "Signalling Integer Overflows in {Java}: {A} tool for
checking overflows in {Java} code",
journal = j-DDJ,
volume = "33",
number = "9",
pages = "54--58",
month = sep,
year = "2008",
CODEN = "DDJOEB",
ISSN = "1044-789X",
bibdate = "Tue Aug 12 18:02:50 2008",
bibsource = "http://www.math.utah.edu/pub/tex/bib/dr-dobbs-2000.bib",
URL = "http://home.hefr.ch/bapst/cojac",
acknowledgement = ack-nhfb,
journal-URL = "http://www.ddj.com/",
remark = "The COJAC (Checking Overflows in JAva Code) tool
instruments a compiled {\tt .class} file, replacing
integer instructions subject to overflow with calls to
routines that report any overflow.",
}