National Institute of Standards and Technology
Package illustrating a test case

Test case 154260

Description

This test takes input in the form of an integer
and creates an array of that size. If the input is too large
an exception is raised and the array is initialized to a
default size without ever changing the size variable. This
leads to an ArrayIndexoutOfBoundsException when the array
is accessed.
Metadata
- Base program: Apache Lenya
- Source Taint: FILE_CONTENTS
- Data Type: VOID_POINTER
- Data Flow: VAR_ARG_LIST
- Control Flow: BREAK_WITH_LABEL

Flaws

Test Suites

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