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.", }