Test case 155054

Type: source code
State: bad
Author: IARPA STONESOUP Test and Evaluation team
Status: candidate
Language: Java
Application: cpe:2.3:a:apache:jena:2.11.0:-:*:*:*:*:*:*
Submission Date: 06 Oct 2015

Description

This test takes in a value from an argument and uses it as a array accessor resulting in an ArrayIndexOutOfBounds exception.

Metadata
-Base program: Apache Jena
- Source Taint: ENVIRONMENT_VARIABLE
- Data Type: void_pointer
- Data Flow: address_as_function_return_value
- Control Flow: interclass_50

Flaws

CWE-839 Numeric Range Comparison Without Minimum Check

Test Suites

IARPA STONESOUP Phase 3 - Test Cases
Apache Jena 2.11.0

Documentation

Overview.pdf
Test Case Creation Guide.pdf
Weaknesses Documentation.pdf
TEXAS User Guide.pdf
Communication API Guide.pdf
System Design Document.pdf
Test and Evaluation Phase 3 Final Report.pdf
Test Generation Report
Kestrel Institute Report.pdf

Have any comments on this test case? Please, send us an email.