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="7f71cfb41bbb79da-52d0478d-4a0d4284-b00d9f59-f26eb5be32ff02d29556c18e"><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="cc35325290f6a1e1-fee40703-45174ee4-87a8b67a-334ec119585668bbee84e53b"><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="83255e3919f0851e-785b438a-40c8402e-a0a19704-c35f8b0215e23a976037ab52"><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="c0d72902aa1869e9-8ccd0edb-458f45f2-9e61961e-c29307f06de50a510667980a"><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="e68bcdbe8086c9cc-76beb9ac-4c204378-88c2966a-3d475752fe88f2f2b6fb01b8"><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="83ff24be15d2c92f-052254e2-49ee40d6-95f39fa0-47950e8ef4019a575f090dd2"><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