Back to the previous page
Test Case ID | ![]() |
Bad / Good / Mixed | Bad![]() |
Author | IARPA STONESOUP Test and Evaluation team |
Associations | Test suite: 102 Application: 5 |
Added by | Charles Oliveira |
Language | C |
Type of test case | Source Code |
Input string | |
Expected Output | |
Instructions | See src/INSTALL file for instructions on how to install. |
Submission date | 2015-10-06 |
Description | This test case reads the taint source, and converts it to an integer, then an unsigned int. It uses a wrapped malloc to allocate a buffer of the size specified by the taint source. If the size is greater than 512, the wrapped malloc returns NULL. The program attempts to use the buffer, and if the buffer is NULL, this causes a segmentation fault. Metadata - Base program: PostgreSQL - Source Taint: SOCKET - Data Type: STRUCT - Data Flow: ADDRESS_ALIAS_1 - Control Flow: SEQUENCE |
File(s) |
|
Flaw |
There are no comments
Have any comments on this test case? Please,
.
- resowner.c
- C-C476F-PSQL-05-ST03-DT05-DF01-CF20-01.xml
- service_mon.sh
- runFifos.py
- C-C476F-PSQL-05-ST03-DT05-DF01-CF20-01.yaml
File Contains:
CWE-476: NULL Pointer Dereference on line(s): 1110, 1111, 1112, 1113
CWE-476: NULL Pointer Dereference on line(s): 1110, 1111, 1112, 1113