Page History

...

Code Block

bgColor	#ccccff

private static final BigInteger bigMaxInt = BigInteger.valueOf(IntInteger.MAX_VALUE);
private static final BigInteger bigMinInt = BigInteger.valueOf(IntInteger.MIN_VALUE);

public static BigInteger intRangeCheck(BigInteger val) throws ArithmeticException {
  if (val.compareTo(bigMaxInt) == 1 ||
      val.compareTo(bigMinInt) == -1) {
    throw new ArithmeticException("Integer overflow");
  }
  return val;
}

public static int multAccum(int oldAcc, int newVal, int scale) throws ArithmeticException {
  BigInteger product =
    BigInteger.valueOf(newVal).multiply(BigInteger.valueOf(scale));
  BigInteger res = intRangeCheck(BigInteger.valueOf(oldAcc).add(product));
  return res.intValue(); // safe conversion
}

...

The CERT C Secure Coding Standard	INT32-C. Ensure that operations on signed integers do not result in overflow
The CERT C++ Secure Coding Standard	INT32-CPP. Ensure that operations on signed integers do not result in overflow
<ac:structured-macro ac:name="unmigrated-wiki-markup" ac:schema-version="1" ac:macro-id="134cb16de5995e0d-08c3b5b5-41794535-a0cf94e8-44c463ad265068cf14535019"><ac:plain-text-body><![CDATA[	[ISO/IEC TR 24772:2010	http://www.aitcnet.org/isai/]	"Wrap-around Error [XYY]"	]]></ac:plain-text-body></ac:structured-macro>
MITRE CWE	CWE-682, "Incorrect Calculation"
	CWE-190, "Integer Overflow or Wraparound"
	CWE-191, "Integer Underflow (Wrap or Wraparound)"

...

<ac:structured-macro ac:name="unmigrated-wiki-markup" ac:schema-version="1" ac:macro-id="96812ae494aaf10f-f5ec8f4d-4e674e18-943d83fc-74cf7f58f1c92e257072d4fb"><ac:plain-text-body><![CDATA[	[[API 2006	AA. Bibliography#API 06]]	class [`AtomicInteger`	http://download.oracle.com/javase/6/docs/api/java/util/concurrent/atomic/AtomicInteger.html]	]]></ac:plain-text-body></ac:structured-macro>
<ac:structured-macro ac:name="unmigrated-wiki-markup" ac:schema-version="1" ac:macro-id="ffb7075676f2d1e7-69492fcc-47f34213-9c7588ae-4b91b0510f7fdbc3b3f4e536"><ac:plain-text-body><![CDATA[	[[Bloch 2005	AA. Bibliography#Bloch 05]]	Puzzle 27: Shifty i's	]]></ac:plain-text-body></ac:structured-macro>
<ac:structured-macro ac:name="unmigrated-wiki-markup" ac:schema-version="1" ac:macro-id="b764ab86facd1330-0ecb831b-46e0442b-ab3581cb-fba5daef98fd42f026d8b72b"><ac:plain-text-body><![CDATA[	[[JLS 2005	AA. Bibliography#JLS 05]]	[§4.2.2, "Integer Operations"	http://java.sun.com/docs/books/jls/third_edition/html/typesValues.html#4.2.2]	]]></ac:plain-text-body></ac:structured-macro>
	§15.22, "Bitwise and Logical Operators"
<ac:structured-macro ac:name="unmigrated-wiki-markup" ac:schema-version="1" ac:macro-id="44e14feb0fb2c80f-a480f37d-40114f51-8175a7bf-7f8bef17e37275563fb2acf8"><ac:plain-text-body><![CDATA[	[[Seacord 2005	AA. Bibliography#Seacord 05]]	Chapter 5. Integers	]]></ac:plain-text-body></ac:structured-macro>
<ac:structured-macro ac:name="unmigrated-wiki-markup" ac:schema-version="1" ac:macro-id="e116627095c40dc5-c82be0e6-47604f5a-a0df8ab7-5ab37b0245a6d07938db3209"><ac:plain-text-body><![CDATA[	[[Tutorials 2008	AA. Bibliography#Tutorials 08]]	Primitive Data Types	]]></ac:plain-text-body></ac:structured-macro>

...

Space shortcuts

Page tree

Versions Compared

Old Version 193

New Version 194

Key