Test case 149277

Type: source code
State: bad
Author: IARPA STONESOUP Test and Evaluation team
Status: candidate
Language: C
Application: cpe:2.3:a:postgresql:postgresql:9.2.4:*:*:*:*:*:*:*
Submission Date: 06 Oct 2015

Description

This test case reads the taint source. If it contains a non-alphanumeric value, the source taint buffer is set to NULL. Subsequently, strcpy is called with the source taint buffer as this source. This causes a null pointer dereference.
Metadata
- Base program: PostgreSQL
- Source Taint: FILE_CONTENTS
- Data Type: VOID_POINTER
- Data Flow: VAR_ARG_LIST
- Control Flow: POINTER_TO_FUNCTION

Flaws

CWE-476 NULL Pointer Dereference

Test Suites

PostgreSQL 9.2.4
IARPA STONESOUP Phase 3 - Test Cases

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
Grammatech Report.pdf
MINESTRONE Report.pdf

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