cojac.txt

Associated article: Signalling Integer Overflows in Java

Tags: Web Development     Security     Tools     Open Source     JVM Languages     Design    

Published source code accompanying the article by Francois Kilchoer and Frederic Bapst in which they present COJAC, a freely available tool that instruments any existing Java bytecode for overflow detection. Also see COJAC..ZIP . File: COJAC.ZIP Title: Signalling Integer Overflows in Java Author: Francois Kilchoer and Frederic Bapst Keywords: SEP08 JAVA DEBUGGING Description: Unpublished source code accompanying the article by Francois Kilchoer and Frederic Bapst in which they present COJAC, a freely available tool that instruments any existing Java bytecode for overflow detection. Requires UNZIP/PKUNZIP to extract.

					Signalling Integer Overflows in Java
by Frederic Bapst and Francois Kilchoer

Example 1:

(a)  
int a, b, r;
 ...
r = a + b;
 ...

(b)
int a, b, r;
 ...
r = checkedIADD(a,b);
 ...

(c)
package utils;
public class SecuredArithmetics {
  static int checkedIADD(int a, ...