SAMATE Logo NIST Logo The SAMATE Project Department of Homeland Security
Downloads:  Download this Test Case #155246

Back to the previous page... Back to the previous page

Test Case IDCandidate155246
Bad / Good / MixedBadBad test case
AuthorIARPA STONESOUP Test and Evaluation team
Associations
Test suite: 102  
Application: 11  
Added byCharles Oliveira
LanguageJava
Type of test caseSource Code
Input string
Expected Output
Instructions
See src/build.xml and src/maven-build.xml.
Submission date2015-10-06
DescriptionThis test takes in a value from a taint source,
which is then used to allocate an array. This value is
positive when stored in a byte, but if the value is between 128 and
255, becomes negative if stored in a byte. When this negative value
is stored in a larger container (an int) it becomes a very large
number. When this number is used as part of a loop, it results in an
out of bounds exception.

Metadata
- Base program: Apache Jena
- Source Taint: ENVIRONMENT_VARIABLE
- Data Type: SIMPLE
- Data Flow: VAR_ARG_LIST
- Control Flow: INTERCLASS_1
File(s)
Flaw

There are no comments
Have any comments on this test case? Please, .

File Contains:
CWE-194: Unexpected Sign Extension on line(s): 828, 829, 830

					
				

					
				

					
				

					
				

					
				

Contact: :: Created: Jan. 2006 :: Updated: Nov. 2017 :: Version: 4.9