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="6f2f167abcc32b80-08c606a4-4b164bb0-9aa99835-ef64b165416a7f31640abd00"><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="21c1281406feb83a-7babbcbb-4bb240ba-90879f8e-6c1af23a8239f760470e7678"><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="8b43583213913cfe-14419bb2-40824373-8db1aaf9-9058e8af3fb2de4605b89aef"><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="c78e2757181980ad-29b2a348-40ee4c61-9af1b646-d69f5d8e12ae7e8afb68a2ad"><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="060c7bb905e2a3f2-88f739b7-4bd8469a-9388ab97-22da854d9b3ba3d1ab08492b"><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="06e38bee7ae7005a-aea2c6e6-433845b3-957ba369-0ca751f1c4e9bca6444eb031"><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