Description
This test takes a filename and attemps to read and output
to the screen. If the file does not exist, it swallows the
FileNotFoundException, and subsequently dies on a NullPointerException.
Metadata
- Base program: Apache Lucene
- Source Taint: FILE_CONTENTS
- Data Type: VOID_POINTER
- Data Flow: ADDRESS_AS_CONSTANT
- Control Flow: INTERPROCEDURAL_2
Flaws
Test Suites
Documentation
Have any comments on this test case? Please, send us an email.