2026-05-01 09:12
ftp://ftp.de.debian.org/debian/pool/main/c/cgif/cgif_0.5.3.orig.tar.gz
cppcheck-options: --library=posix --library=gnu --library=bsd  --inconclusive --enable=style,information --inline-suppr --template=daca2 --disable=missingInclude --suppress=unmatchedSuppression --check-library --debug-warnings --suppress=autoNoType --suppress=valueFlowBailout --suppress=bailoutUninitVar --suppress=symbolDatabaseWarning --suppress=normalCheckLevelConditionExpressions -D__GNUC__ --platform=unix64 -j1
platform: Linux-6.8.0-111-generic-x86_64-with-glibc2.39
python: 3.12.3
client-version: 1.3.70
compiler: g++ (Ubuntu 14.2.0-4ubuntu2~24.04.1) 14.2.0
cppcheck: head 2.20.0
head-info: e5c4a73 (2026-05-01 11:10:43 +0200)
count: 307 307
elapsed-time: 1.7 1.5
head-timing-info:

old-timing-info:

head results:
cgif-0.5.3/examples/cgif_example.c:12:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/examples/cgif_example.c:20:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_FrameConfig [valueFlowBailoutIncompleteVar]
cgif-0.5.3/examples/cgif_example.c:42:5: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/examples/cgif_example.c:40:22: note: Assuming allocation function fails
cgif-0.5.3/examples/cgif_example.c:40:22: note: Assignment 'pImageData=malloc(1024*1024)', assigned value is 0
cgif-0.5.3/examples/cgif_example.c:42:5: note: Null pointer dereference
cgif-0.5.3/examples/cgif_example_video.c:12:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/examples/cgif_example_video.c:21:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_FrameConfig [valueFlowBailoutIncompleteVar]
cgif-0.5.3/examples/cgif_example_video.c:46:7: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/examples/cgif_example_video.c:43:22: note: Assuming allocation function fails
cgif-0.5.3/examples/cgif_example_video.c:43:22: note: Assignment 'pImageData=malloc(100*100)', assigned value is 0
cgif-0.5.3/examples/cgif_example_video.c:46:7: note: Null pointer dereference
cgif-0.5.3/fuzz/cgif_create_fuzz_seed.c:13:4: error: #error "please set a output path: define CGIF_OUTPATH" [preprocessorErrorDirective]
cgif-0.5.3/fuzz/cgif_file_fuzzer.c:30:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/fuzz/cgif_file_fuzzer.c:57:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_FrameConfig [valueFlowBailoutIncompleteVar]
cgif-0.5.3/fuzz/cgif_fuzzer.c:28:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/fuzz/cgif_fuzzer.c:55:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_FrameConfig [valueFlowBailoutIncompleteVar]
cgif-0.5.3/fuzz/cgif_fuzzer_standalone.c:11:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cgif-0.5.3/src/cgif.c:65:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_ATTR_NO_GLOBAL_TABLE [valueFlowBailoutIncompleteVar]
cgif-0.5.3/src/cgif.c:90:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF [valueFlowBailoutIncompleteVar]
cgif-0.5.3/src/cgif.c:141:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_FRAME_ATTR_HAS_SET_TRANS [valueFlowBailoutIncompleteVar]
cgif-0.5.3/src/cgif.c:319:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_FRAME_ATTR_USE_LOCAL_TABLE [valueFlowBailoutIncompleteVar]
cgif-0.5.3/src/cgif.c:359:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_FRAME_ATTR_USE_LOCAL_TABLE [valueFlowBailoutIncompleteVar]
cgif-0.5.3/src/cgif.c:443:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_FRAME_ATTR_USE_LOCAL_TABLE [valueFlowBailoutIncompleteVar]
cgif-0.5.3/src/cgif.c:458:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_FRAME_ATTR_HAS_ALPHA [valueFlowBailoutIncompleteVar]
cgif-0.5.3/src/cgif.c:471:55: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_PENDING [valueFlowBailoutIncompleteVar]
cgif-0.5.3/src/cgif.c:583:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_OK [valueFlowBailoutIncompleteVar]
cgif-0.5.3/src/cgif.c:407:14: warning: If memory allocation fails, then there is a possible null pointer dereference: pTmpImageData [nullPointerOutOfMemory]
cgif-0.5.3/src/cgif.c:406:29: note: Assuming allocation function fails
cgif-0.5.3/src/cgif.c:406:29: note: Assignment 'pTmpImageData=malloc(((uint32_t)imageWidth)*((uint32_t)imageHeight))', assigned value is 0
cgif-0.5.3/src/cgif.c:407:14: note: Null pointer dereference
cgif-0.5.3/src/cgif.c:541:3: warning: If memory allocation fails, then there is a possible null pointer dereference: pNewFrame [nullPointerOutOfMemory]
cgif-0.5.3/src/cgif.c:539:21: note: Assuming allocation function fails
cgif-0.5.3/src/cgif.c:539:21: note: Assignment 'pNewFrame=malloc(sizeof(struct CGIF_Frame))', assigned value is 0
cgif-0.5.3/src/cgif.c:541:3: note: Null pointer dereference
cgif-0.5.3/src/cgif.c:542:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pNewFrame [nullPointerOutOfMemory]
cgif-0.5.3/src/cgif.c:539:21: note: Assuming allocation function fails
cgif-0.5.3/src/cgif.c:539:21: note: Assignment 'pNewFrame=malloc(sizeof(struct CGIF_Frame))', assigned value is 0
cgif-0.5.3/src/cgif.c:542:10: note: Null pointer dereference
cgif-0.5.3/src/cgif.c:548:3: warning: If memory allocation fails, then there is a possible null pointer dereference: pNewFrame [nullPointerOutOfMemory]
cgif-0.5.3/src/cgif.c:539:21: note: Assuming allocation function fails
cgif-0.5.3/src/cgif.c:539:21: note: Assignment 'pNewFrame=malloc(sizeof(struct CGIF_Frame))', assigned value is 0
cgif-0.5.3/src/cgif.c:548:3: note: Null pointer dereference
cgif-0.5.3/src/cgif.c:549:3: warning: If memory allocation fails, then there is a possible null pointer dereference: pNewFrame [nullPointerOutOfMemory]
cgif-0.5.3/src/cgif.c:539:21: note: Assuming allocation function fails
cgif-0.5.3/src/cgif.c:539:21: note: Assignment 'pNewFrame=malloc(sizeof(struct CGIF_Frame))', assigned value is 0
cgif-0.5.3/src/cgif.c:549:3: note: Null pointer dereference
cgif-0.5.3/src/cgif.c:338:26: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
cgif-0.5.3/src/cgif.c:336:25: note: Assuming allocation function fails
cgif-0.5.3/src/cgif.c:336:25: note: Assignment 'pNewImageData=malloc(((uint32_t)pResult->width)*((uint32_t)pResult->height))', assigned value is 0
cgif-0.5.3/src/cgif.c:338:26: note: Null pointer addition
cgif-0.5.3/src/cgif.c:138:12: style: Variable 'pBefCT' can be declared as pointer to const [constVariablePointer]
cgif-0.5.3/src/cgif.c:139:12: style: Variable 'pCurCT' can be declared as pointer to const [constVariablePointer]
cgif-0.5.3/src/cgif.c:159:54: style: Parameter 'pCur' can be declared as pointer to const [constParameterPointer]
cgif-0.5.3/src/cgif.c:159:78: style: Parameter 'pBef' can be declared as pointer to const [constParameterPointer]
cgif-0.5.3/src/cgif.c:235:67: style: Parameter 'pCur' can be declared as pointer to const [constParameterPointer]
cgif-0.5.3/src/cgif.c:235:91: style: Parameter 'pBef' can be declared as pointer to const [constParameterPointer]
cgif-0.5.3/src/cgif.c:349:23: style: Variable 'pBefImageData' can be declared as pointer to const [constVariablePointer]
cgif-0.5.3/src/cgif.c:450:72: style: Parameter 'pSrc' can be declared as pointer to const [constParameterPointer]
cgif-0.5.3/src/cgif_raw.c:132:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_EINDEX [valueFlowBailoutIncompleteVar]
cgif-0.5.3/src/cgif_raw.c:215:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_OK [valueFlowBailoutIncompleteVar]
cgif-0.5.3/src/cgif_raw.c:322:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_OK [valueFlowBailoutIncompleteVar]
cgif-0.5.3/src/cgif_raw.c:435:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIFRaw [valueFlowBailoutIncompleteVar]
cgif-0.5.3/src/cgif_raw.c:480:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_RAW_FRAME_ATTR_INTERLACED [valueFlowBailoutIncompleteVar]
cgif-0.5.3/src/cgif_raw.c:623:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_EWRITE [valueFlowBailoutIncompleteVar]
cgif-0.5.3/src/cgif_raw.c:62:12: style: Condition '*((uint8_t*)&one)' is always true [knownConditionTrueFalse]
cgif-0.5.3/src/cgif_raw.c:61:12: note: Assignment 'one=1', assigned value is 1
cgif-0.5.3/src/cgif_raw.c:62:12: note: Condition '*((uint8_t*)&one)' is always true
cgif-0.5.3/src/cgif_raw.c:63:6: style: Condition 'isBE' is always false [knownConditionTrueFalse]
cgif-0.5.3/src/cgif_raw.c:62:30: note: Assignment 'isBE=*((uint8_t*)&one)?0:1', assigned value is 0
cgif-0.5.3/src/cgif_raw.c:63:6: note: Condition 'isBE' is always false
cgif-0.5.3/src/cgif_raw.c:89:3: warning: If memory allocation fails, then there is a possible null pointer dereference: pContext [nullPointerOutOfMemory]
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assuming allocation function fails
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assignment 'pContext=malloc(sizeof(struct LZWGenState))', assigned value is 0
cgif-0.5.3/src/cgif_raw.c:321:20: note: Calling function 'lzw_generate', 1st argument 'pContext' value is 0
cgif-0.5.3/src/cgif_raw.c:210:13: note: Calling function 'resetDict', 1st argument 'pContext' value is 0
cgif-0.5.3/src/cgif_raw.c:89:3: note: Null pointer dereference
cgif-0.5.3/src/cgif_raw.c:90:3: warning: If memory allocation fails, then there is a possible null pointer dereference: pContext [nullPointerOutOfMemory]
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assuming allocation function fails
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assignment 'pContext=malloc(sizeof(struct LZWGenState))', assigned value is 0
cgif-0.5.3/src/cgif_raw.c:321:20: note: Calling function 'lzw_generate', 1st argument 'pContext' value is 0
cgif-0.5.3/src/cgif_raw.c:210:13: note: Calling function 'resetDict', 1st argument 'pContext' value is 0
cgif-0.5.3/src/cgif_raw.c:90:3: note: Null pointer dereference
cgif-0.5.3/src/cgif_raw.c:91:3: warning: If memory allocation fails, then there is a possible null pointer dereference: pContext [nullPointerOutOfMemory]
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assuming allocation function fails
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assignment 'pContext=malloc(sizeof(struct LZWGenState))', assigned value is 0
cgif-0.5.3/src/cgif_raw.c:321:20: note: Calling function 'lzw_generate', 1st argument 'pContext' value is 0
cgif-0.5.3/src/cgif_raw.c:210:13: note: Calling function 'resetDict', 1st argument 'pContext' value is 0
cgif-0.5.3/src/cgif_raw.c:91:3: note: Null pointer dereference
cgif-0.5.3/src/cgif_raw.c:91:22: warning: If memory allocation fails, then there is a possible null pointer dereference: pContext [nullPointerOutOfMemory]
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assuming allocation function fails
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assignment 'pContext=malloc(sizeof(struct LZWGenState))', assigned value is 0
cgif-0.5.3/src/cgif_raw.c:321:20: note: Calling function 'lzw_generate', 1st argument 'pContext' value is 0
cgif-0.5.3/src/cgif_raw.c:210:13: note: Calling function 'resetDict', 1st argument 'pContext' value is 0
cgif-0.5.3/src/cgif_raw.c:91:22: note: Null pointer dereference
cgif-0.5.3/src/cgif_raw.c:92:6: warning: If memory allocation fails, then there is a possible null pointer dereference: pContext [nullPointerOutOfMemory]
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assuming allocation function fails
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assignment 'pContext=malloc(sizeof(struct LZWGenState))', assigned value is 0
cgif-0.5.3/src/cgif_raw.c:321:20: note: Calling function 'lzw_generate', 1st argument 'pContext' value is 0
cgif-0.5.3/src/cgif_raw.c:210:13: note: Calling function 'resetDict', 1st argument 'pContext' value is 0
cgif-0.5.3/src/cgif_raw.c:92:6: note: Null pointer dereference
cgif-0.5.3/src/cgif_raw.c:94:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pContext [nullPointerOutOfMemory]
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assuming allocation function fails
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assignment 'pContext=malloc(sizeof(struct LZWGenState))', assigned value is 0
cgif-0.5.3/src/cgif_raw.c:321:20: note: Calling function 'lzw_generate', 1st argument 'pContext' value is 0
cgif-0.5.3/src/cgif_raw.c:210:13: note: Calling function 'resetDict', 1st argument 'pContext' value is 0
cgif-0.5.3/src/cgif_raw.c:94:10: note: Null pointer dereference
cgif-0.5.3/src/cgif_raw.c:95:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pContext [nullPointerOutOfMemory]
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assuming allocation function fails
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assignment 'pContext=malloc(sizeof(struct LZWGenState))', assigned value is 0
cgif-0.5.3/src/cgif_raw.c:321:20: note: Calling function 'lzw_generate', 1st argument 'pContext' value is 0
cgif-0.5.3/src/cgif_raw.c:210:13: note: Calling function 'resetDict', 1st argument 'pContext' value is 0
cgif-0.5.3/src/cgif_raw.c:95:10: note: Null pointer dereference
cgif-0.5.3/src/cgif_raw.c:211:18: warning: If memory allocation fails, then there is a possible null pointer dereference: pContext [nullPointerOutOfMemory]
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assuming allocation function fails
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assignment 'pContext=malloc(sizeof(struct LZWGenState))', assigned value is 0
cgif-0.5.3/src/cgif_raw.c:321:20: note: Calling function 'lzw_generate', 1st argument 'pContext' value is 0
cgif-0.5.3/src/cgif_raw.c:211:18: note: Null pointer dereference
cgif-0.5.3/src/cgif_raw.c:212:20: warning: If memory allocation fails, then there is a possible null pointer dereference: pContext [nullPointerOutOfMemory]
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assuming allocation function fails
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assignment 'pContext=malloc(sizeof(struct LZWGenState))', assigned value is 0
cgif-0.5.3/src/cgif_raw.c:321:20: note: Calling function 'lzw_generate', 1st argument 'pContext' value is 0
cgif-0.5.3/src/cgif_raw.c:212:20: note: Null pointer dereference
cgif-0.5.3/src/cgif_raw.c:219:3: warning: If memory allocation fails, then there is a possible null pointer dereference: pContext [nullPointerOutOfMemory]
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assuming allocation function fails
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assignment 'pContext=malloc(sizeof(struct LZWGenState))', assigned value is 0
cgif-0.5.3/src/cgif_raw.c:321:20: note: Calling function 'lzw_generate', 1st argument 'pContext' value is 0
cgif-0.5.3/src/cgif_raw.c:215:10: note: Assuming condition is false
cgif-0.5.3/src/cgif_raw.c:219:3: note: Null pointer dereference
cgif-0.5.3/src/cgif_raw.c:219:22: warning: If memory allocation fails, then there is a possible null pointer dereference: pContext [nullPointerOutOfMemory]
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assuming allocation function fails
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assignment 'pContext=malloc(sizeof(struct LZWGenState))', assigned value is 0
cgif-0.5.3/src/cgif_raw.c:321:20: note: Calling function 'lzw_generate', 1st argument 'pContext' value is 0
cgif-0.5.3/src/cgif_raw.c:215:10: note: Assuming condition is false
cgif-0.5.3/src/cgif_raw.c:219:22: note: Null pointer dereference
cgif-0.5.3/src/cgif_raw.c:220:6: warning: If memory allocation fails, then there is a possible null pointer dereference: pContext [nullPointerOutOfMemory]
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assuming allocation function fails
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assignment 'pContext=malloc(sizeof(struct LZWGenState))', assigned value is 0
cgif-0.5.3/src/cgif_raw.c:321:20: note: Calling function 'lzw_generate', 1st argument 'pContext' value is 0
cgif-0.5.3/src/cgif_raw.c:215:10: note: Assuming condition is false
cgif-0.5.3/src/cgif_raw.c:220:6: note: Null pointer dereference
cgif-0.5.3/src/cgif_raw.c:234:3: warning: If memory allocation fails, then there is a possible null pointer dereference: byteList [nullPointerOutOfMemory]
cgif-0.5.3/src/cgif_raw.c:332:25: note: Assuming allocation function fails
cgif-0.5.3/src/cgif_raw.c:332:25: note: Assignment 'byteList=malloc(MaxByteListLen)', assigned value is 0
cgif-0.5.3/src/cgif_raw.c:334:36: note: Calling function 'create_byte_list', 1st argument 'byteList' value is 0
cgif-0.5.3/src/cgif_raw.c:234:3: note: Null pointer dereference
cgif-0.5.3/src/cgif_raw.c:245:5: warning: If memory allocation fails, then there is a possible null pointer dereference: byteList [nullPointerOutOfMemory]
cgif-0.5.3/src/cgif_raw.c:332:25: note: Assuming allocation function fails
cgif-0.5.3/src/cgif_raw.c:332:25: note: Assignment 'byteList=malloc(MaxByteListLen)', assigned value is 0
cgif-0.5.3/src/cgif_raw.c:334:36: note: Calling function 'create_byte_list', 1st argument 'byteList' value is 0
cgif-0.5.3/src/cgif_raw.c:245:5: note: Null pointer dereference
cgif-0.5.3/src/cgif_raw.c:286:5: warning: If memory allocation fails, then there is a possible null pointer dereference: byteListBlock [nullPointerOutOfMemory]
cgif-0.5.3/src/cgif_raw.c:333:25: note: Assuming allocation function fails
cgif-0.5.3/src/cgif_raw.c:333:25: note: Assignment 'byteListBlock=malloc(MaxByteListBlockLen)', assigned value is 0
cgif-0.5.3/src/cgif_raw.c:335:52: note: Calling function 'create_byte_list_block', 2nd argument 'byteListBlock' value is 0
cgif-0.5.3/src/cgif_raw.c:286:5: note: Null pointer dereference
cgif-0.5.3/src/cgif_raw.c:290:5: warning: If memory allocation fails, then there is a possible null pointer dereference: byteListBlock [nullPointerOutOfMemory]
cgif-0.5.3/src/cgif_raw.c:333:25: note: Assuming allocation function fails
cgif-0.5.3/src/cgif_raw.c:333:25: note: Assignment 'byteListBlock=malloc(MaxByteListBlockLen)', assigned value is 0
cgif-0.5.3/src/cgif_raw.c:335:52: note: Calling function 'create_byte_list_block', 2nd argument 'byteListBlock' value is 0
cgif-0.5.3/src/cgif_raw.c:290:5: note: Null pointer dereference
cgif-0.5.3/src/cgif_raw.c:292:5: warning: If memory allocation fails, then there is a possible null pointer dereference: byteListBlock [nullPointerOutOfMemory]
cgif-0.5.3/src/cgif_raw.c:333:25: note: Assuming allocation function fails
cgif-0.5.3/src/cgif_raw.c:333:25: note: Assignment 'byteListBlock=malloc(MaxByteListBlockLen)', assigned value is 0
cgif-0.5.3/src/cgif_raw.c:335:52: note: Calling function 'create_byte_list_block', 2nd argument 'byteListBlock' value is 0
cgif-0.5.3/src/cgif_raw.c:292:5: note: Null pointer dereference
cgif-0.5.3/src/cgif_raw.c:296:3: warning: If memory allocation fails, then there is a possible null pointer dereference: byteListBlock [nullPointerOutOfMemory]
cgif-0.5.3/src/cgif_raw.c:333:25: note: Assuming allocation function fails
cgif-0.5.3/src/cgif_raw.c:333:25: note: Assignment 'byteListBlock=malloc(MaxByteListBlockLen)', assigned value is 0
cgif-0.5.3/src/cgif_raw.c:335:52: note: Calling function 'create_byte_list_block', 2nd argument 'byteListBlock' value is 0
cgif-0.5.3/src/cgif_raw.c:289:13: note: Assuming condition is false
cgif-0.5.3/src/cgif_raw.c:296:3: note: Null pointer dereference
cgif-0.5.3/src/cgif_raw.c:308:3: warning: If memory allocation fails, then there is a possible null pointer dereference: pContext [nullPointerOutOfMemory]
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assuming allocation function fails
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assignment 'pContext=malloc(sizeof(struct LZWGenState))', assigned value is 0
cgif-0.5.3/src/cgif_raw.c:308:3: note: Null pointer dereference
cgif-0.5.3/src/cgif_raw.c:309:3: warning: If memory allocation fails, then there is a possible null pointer dereference: pContext [nullPointerOutOfMemory]
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assuming allocation function fails
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assignment 'pContext=malloc(sizeof(struct LZWGenState))', assigned value is 0
cgif-0.5.3/src/cgif_raw.c:309:3: note: Null pointer dereference
cgif-0.5.3/src/cgif_raw.c:310:3: warning: If memory allocation fails, then there is a possible null pointer dereference: pContext [nullPointerOutOfMemory]
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assuming allocation function fails
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assignment 'pContext=malloc(sizeof(struct LZWGenState))', assigned value is 0
cgif-0.5.3/src/cgif_raw.c:310:3: note: Null pointer dereference
cgif-0.5.3/src/cgif_raw.c:311:3: warning: If memory allocation fails, then there is a possible null pointer dereference: pContext [nullPointerOutOfMemory]
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assuming allocation function fails
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assignment 'pContext=malloc(sizeof(struct LZWGenState))', assigned value is 0
cgif-0.5.3/src/cgif_raw.c:311:3: note: Null pointer dereference
cgif-0.5.3/src/cgif_raw.c:312:3: warning: If memory allocation fails, then there is a possible null pointer dereference: pContext [nullPointerOutOfMemory]
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assuming allocation function fails
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assignment 'pContext=malloc(sizeof(struct LZWGenState))', assigned value is 0
cgif-0.5.3/src/cgif_raw.c:312:3: note: Null pointer dereference
cgif-0.5.3/src/cgif_raw.c:317:3: warning: If memory allocation fails, then there is a possible null pointer dereference: pContext [nullPointerOutOfMemory]
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assuming allocation function fails
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assignment 'pContext=malloc(sizeof(struct LZWGenState))', assigned value is 0
cgif-0.5.3/src/cgif_raw.c:317:3: note: Null pointer dereference
cgif-0.5.3/src/cgif_raw.c:318:3: warning: If memory allocation fails, then there is a possible null pointer dereference: pContext [nullPointerOutOfMemory]
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assuming allocation function fails
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assignment 'pContext=malloc(sizeof(struct LZWGenState))', assigned value is 0
cgif-0.5.3/src/cgif_raw.c:318:3: note: Null pointer dereference
cgif-0.5.3/src/cgif_raw.c:287:26: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
cgif-0.5.3/src/cgif_raw.c:333:25: note: Assuming allocation function fails
cgif-0.5.3/src/cgif_raw.c:333:25: note: Assignment 'byteListBlock=malloc(MaxByteListBlockLen)', assigned value is 0
cgif-0.5.3/src/cgif_raw.c:335:52: note: Calling function 'create_byte_list_block', 2nd argument 'byteListBlock' value is 0
cgif-0.5.3/src/cgif_raw.c:287:26: note: Null pointer addition
cgif-0.5.3/src/cgif_raw.c:291:26: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
cgif-0.5.3/src/cgif_raw.c:333:25: note: Assuming allocation function fails
cgif-0.5.3/src/cgif_raw.c:333:25: note: Assignment 'byteListBlock=malloc(MaxByteListBlockLen)', assigned value is 0
cgif-0.5.3/src/cgif_raw.c:335:52: note: Calling function 'create_byte_list_block', 2nd argument 'byteListBlock' value is 0
cgif-0.5.3/src/cgif_raw.c:291:26: note: Null pointer addition
cgif-0.5.3/src/cgif_raw.c:291:64: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
cgif-0.5.3/src/cgif_raw.c:332:25: note: Assuming allocation function fails
cgif-0.5.3/src/cgif_raw.c:332:25: note: Assignment 'byteList=malloc(MaxByteListLen)', assigned value is 0
cgif-0.5.3/src/cgif_raw.c:335:42: note: Calling function 'create_byte_list_block', 1st argument 'byteList' value is 0
cgif-0.5.3/src/cgif_raw.c:291:64: note: Null pointer addition
cgif-0.5.3/src/cgif_raw.c:126:13: style: Variable 'pTreeList' can be declared as pointer to const [constVariablePointer]
cgif-0.5.3/src/cgif_raw.c:225:80: style: Parameter 'lzwStr' can be declared as pointer to const [constParameterPointer]
cgif-0.5.3/src/cgif_raw.c:280:49: style: Parameter 'byteList' can be declared as pointer to const [constParameterPointer]
cgif-0.5.3/tests/all_optim.c:13:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/all_optim.c:23:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_FrameConfig [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/all_optim.c:42:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_ATTR_IS_ANIMATED [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/all_optim.c:51:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/all_optim.c:50:22: note: Assuming allocation function fails
cgif-0.5.3/tests/all_optim.c:50:22: note: Assignment 'pImageData=malloc(100*100)', assigned value is 0
cgif-0.5.3/tests/all_optim.c:51:10: note: Null pointer dereference
cgif-0.5.3/tests/all_optim.c:54:21: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
cgif-0.5.3/tests/all_optim.c:50:22: note: Assuming allocation function fails
cgif-0.5.3/tests/all_optim.c:50:22: note: Assignment 'pImageData=malloc(100*100)', assigned value is 0
cgif-0.5.3/tests/all_optim.c:54:21: note: Null pointer addition
cgif-0.5.3/tests/all_optim.c:55:21: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
cgif-0.5.3/tests/all_optim.c:50:22: note: Assuming allocation function fails
cgif-0.5.3/tests/all_optim.c:50:22: note: Assignment 'pImageData=malloc(100*100)', assigned value is 0
cgif-0.5.3/tests/all_optim.c:55:21: note: Null pointer addition
cgif-0.5.3/tests/all_optim.c:56:21: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
cgif-0.5.3/tests/all_optim.c:50:22: note: Assuming allocation function fails
cgif-0.5.3/tests/all_optim.c:50:22: note: Assignment 'pImageData=malloc(100*100)', assigned value is 0
cgif-0.5.3/tests/all_optim.c:56:21: note: Null pointer addition
cgif-0.5.3/tests/all_optim.c:57:21: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
cgif-0.5.3/tests/all_optim.c:50:22: note: Assuming allocation function fails
cgif-0.5.3/tests/all_optim.c:50:22: note: Assignment 'pImageData=malloc(100*100)', assigned value is 0
cgif-0.5.3/tests/all_optim.c:57:21: note: Null pointer addition
cgif-0.5.3/tests/all_optim.c:58:21: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
cgif-0.5.3/tests/all_optim.c:50:22: note: Assuming allocation function fails
cgif-0.5.3/tests/all_optim.c:50:22: note: Assignment 'pImageData=malloc(100*100)', assigned value is 0
cgif-0.5.3/tests/all_optim.c:58:21: note: Null pointer addition
cgif-0.5.3/tests/all_optim.c:59:21: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
cgif-0.5.3/tests/all_optim.c:50:22: note: Assuming allocation function fails
cgif-0.5.3/tests/all_optim.c:50:22: note: Assignment 'pImageData=malloc(100*100)', assigned value is 0
cgif-0.5.3/tests/all_optim.c:59:21: note: Null pointer addition
cgif-0.5.3/tests/all_optim.c:60:21: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
cgif-0.5.3/tests/all_optim.c:50:22: note: Assuming allocation function fails
cgif-0.5.3/tests/all_optim.c:50:22: note: Assignment 'pImageData=malloc(100*100)', assigned value is 0
cgif-0.5.3/tests/all_optim.c:60:21: note: Null pointer addition
cgif-0.5.3/tests/all_optim.c:66:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/all_optim.c:61:5: note: r is assigned
cgif-0.5.3/tests/all_optim.c:66:5: note: r is overwritten
cgif-0.5.3/tests/alpha.c:22:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/alpha.c:40:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/alpha.c:39:22: note: Assuming allocation function fails
cgif-0.5.3/tests/alpha.c:39:22: note: Assignment 'pImageData=malloc(99*99)', assigned value is 0
cgif-0.5.3/tests/alpha.c:40:10: note: Null pointer dereference
cgif-0.5.3/tests/alpha.c:45:5: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/alpha.c:39:22: note: Assuming allocation function fails
cgif-0.5.3/tests/alpha.c:39:22: note: Assignment 'pImageData=malloc(99*99)', assigned value is 0
cgif-0.5.3/tests/alpha.c:45:5: note: Null pointer dereference
cgif-0.5.3/tests/alpha.c:50:5: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/alpha.c:39:22: note: Assuming allocation function fails
cgif-0.5.3/tests/alpha.c:39:22: note: Assignment 'pImageData=malloc(99*99)', assigned value is 0
cgif-0.5.3/tests/alpha.c:50:5: note: Null pointer dereference
cgif-0.5.3/tests/alpha.c:58:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/alpha.c:54:5: note: r is assigned
cgif-0.5.3/tests/alpha.c:58:5: note: r is overwritten
cgif-0.5.3/tests/animated_color_gradient.c:37:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/animated_color_gradient.c:60:6: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/animated_color_gradient.c:54:22: note: Assuming allocation function fails
cgif-0.5.3/tests/animated_color_gradient.c:54:22: note: Assignment 'pImageData=malloc(256*16)', assigned value is 0
cgif-0.5.3/tests/animated_color_gradient.c:60:6: note: Null pointer dereference
cgif-0.5.3/tests/animated_interlaced.c:13:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/animated_interlaced.c:22:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_FrameConfig [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/animated_interlaced.c:47:59: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/animated_interlaced.c:53:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/animated_interlaced.c:52:22: note: Assuming allocation function fails
cgif-0.5.3/tests/animated_interlaced.c:52:22: note: Assignment 'pImageData=malloc(40*40)', assigned value is 0
cgif-0.5.3/tests/animated_interlaced.c:53:10: note: Null pointer dereference
cgif-0.5.3/tests/animated_interlaced.c:59:5: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/animated_interlaced.c:52:22: note: Assuming allocation function fails
cgif-0.5.3/tests/animated_interlaced.c:52:22: note: Assignment 'pImageData=malloc(40*40)', assigned value is 0
cgif-0.5.3/tests/animated_interlaced.c:59:5: note: Null pointer dereference
cgif-0.5.3/tests/animated_interlaced.c:62:5: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/animated_interlaced.c:52:22: note: Assuming allocation function fails
cgif-0.5.3/tests/animated_interlaced.c:52:22: note: Assignment 'pImageData=malloc(40*40)', assigned value is 0
cgif-0.5.3/tests/animated_interlaced.c:62:5: note: Null pointer dereference
cgif-0.5.3/tests/animated_interlaced.c:63:5: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/animated_interlaced.c:52:22: note: Assuming allocation function fails
cgif-0.5.3/tests/animated_interlaced.c:52:22: note: Assignment 'pImageData=malloc(40*40)', assigned value is 0
cgif-0.5.3/tests/animated_interlaced.c:63:5: note: Null pointer dereference
cgif-0.5.3/tests/animated_single_pixel.c:13:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/animated_single_pixel.c:22:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_FrameConfig [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/animated_single_pixel.c:46:59: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/animated_single_pixel.c:51:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/animated_single_pixel.c:50:22: note: Assuming allocation function fails
cgif-0.5.3/tests/animated_single_pixel.c:50:22: note: Assignment 'pImageData=malloc(40*40)', assigned value is 0
cgif-0.5.3/tests/animated_single_pixel.c:51:10: note: Null pointer dereference
cgif-0.5.3/tests/animated_single_pixel.c:55:5: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/animated_single_pixel.c:50:22: note: Assuming allocation function fails
cgif-0.5.3/tests/animated_single_pixel.c:50:22: note: Assignment 'pImageData=malloc(40*40)', assigned value is 0
cgif-0.5.3/tests/animated_single_pixel.c:55:5: note: Null pointer dereference
cgif-0.5.3/tests/animated_single_pixel.c:65:5: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/animated_single_pixel.c:50:22: note: Assuming allocation function fails
cgif-0.5.3/tests/animated_single_pixel.c:50:22: note: Assignment 'pImageData=malloc(40*40)', assigned value is 0
cgif-0.5.3/tests/animated_single_pixel.c:65:5: note: Null pointer dereference
cgif-0.5.3/tests/animated_snake.c:13:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/animated_snake.c:22:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_FrameConfig [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/animated_snake.c:46:59: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/animated_snake.c:52:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/animated_snake.c:51:22: note: Assuming allocation function fails
cgif-0.5.3/tests/animated_snake.c:51:22: note: Assignment 'pImageData=malloc(40*40)', assigned value is 0
cgif-0.5.3/tests/animated_snake.c:52:10: note: Null pointer dereference
cgif-0.5.3/tests/animated_snake.c:58:5: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/animated_snake.c:51:22: note: Assuming allocation function fails
cgif-0.5.3/tests/animated_snake.c:51:22: note: Assignment 'pImageData=malloc(40*40)', assigned value is 0
cgif-0.5.3/tests/animated_snake.c:58:5: note: Null pointer dereference
cgif-0.5.3/tests/animated_snake.c:61:5: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/animated_snake.c:51:22: note: Assuming allocation function fails
cgif-0.5.3/tests/animated_snake.c:51:22: note: Assignment 'pImageData=malloc(40*40)', assigned value is 0
cgif-0.5.3/tests/animated_snake.c:61:5: note: Null pointer dereference
cgif-0.5.3/tests/animated_snake.c:62:5: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/animated_snake.c:51:22: note: Assuming allocation function fails
cgif-0.5.3/tests/animated_snake.c:51:22: note: Assignment 'pImageData=malloc(40*40)', assigned value is 0
cgif-0.5.3/tests/animated_snake.c:62:5: note: Null pointer dereference
cgif-0.5.3/tests/animated_stripe_pattern.c:28:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/animated_stripe_pattern.c:51:6: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/animated_stripe_pattern.c:45:22: note: Assuming allocation function fails
cgif-0.5.3/tests/animated_stripe_pattern.c:45:22: note: Assignment 'pImageData=malloc(100*100)', assigned value is 0
cgif-0.5.3/tests/animated_stripe_pattern.c:51:6: note: Null pointer dereference
cgif-0.5.3/tests/animated_stripe_pattern_2.c:13:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/animated_stripe_pattern_2.c:22:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_FrameConfig [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/animated_stripe_pattern_2.c:45:59: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/animated_stripe_pattern_2.c:50:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/animated_stripe_pattern_2.c:49:22: note: Assuming allocation function fails
cgif-0.5.3/tests/animated_stripe_pattern_2.c:49:22: note: Assignment 'pImageData=malloc(100*100)', assigned value is 0
cgif-0.5.3/tests/animated_stripe_pattern_2.c:50:10: note: Null pointer dereference
cgif-0.5.3/tests/animated_stripe_pattern_2.c:53:7: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/animated_stripe_pattern_2.c:49:22: note: Assuming allocation function fails
cgif-0.5.3/tests/animated_stripe_pattern_2.c:49:22: note: Assignment 'pImageData=malloc(100*100)', assigned value is 0
cgif-0.5.3/tests/animated_stripe_pattern_2.c:53:7: note: Null pointer dereference
cgif-0.5.3/tests/animated_stripes_horizontal.c:33:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/animated_stripes_horizontal.c:56:6: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/animated_stripes_horizontal.c:50:22: note: Assuming allocation function fails
cgif-0.5.3/tests/animated_stripes_horizontal.c:50:22: note: Assignment 'pImageData=malloc(100*100)', assigned value is 0
cgif-0.5.3/tests/animated_stripes_horizontal.c:56:6: note: Null pointer dereference
cgif-0.5.3/tests/animated_stripes_horizontal.c:63:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/animated_stripes_horizontal.c:58:7: note: r is assigned
cgif-0.5.3/tests/animated_stripes_horizontal.c:63:5: note: r is overwritten
cgif-0.5.3/tests/duplicate_frames.c:27:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/duplicate_frames.c:44:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/duplicate_frames.c:43:22: note: Assuming allocation function fails
cgif-0.5.3/tests/duplicate_frames.c:43:22: note: Assignment 'pImageData=malloc(100*100)', assigned value is 0
cgif-0.5.3/tests/duplicate_frames.c:44:10: note: Null pointer dereference
cgif-0.5.3/tests/duplicate_frames.c:48:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/duplicate_frames.c:47:5: note: r is assigned
cgif-0.5.3/tests/duplicate_frames.c:48:5: note: r is overwritten
cgif-0.5.3/tests/duplicate_frames.c:49:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/duplicate_frames.c:48:5: note: r is assigned
cgif-0.5.3/tests/duplicate_frames.c:49:5: note: r is overwritten
cgif-0.5.3/tests/duplicate_frames.c:50:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/duplicate_frames.c:49:5: note: r is assigned
cgif-0.5.3/tests/duplicate_frames.c:50:5: note: r is overwritten
cgif-0.5.3/tests/duplicate_frames.c:51:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/duplicate_frames.c:50:5: note: r is assigned
cgif-0.5.3/tests/duplicate_frames.c:51:5: note: r is overwritten
cgif-0.5.3/tests/duplicate_frames.c:56:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/duplicate_frames.c:51:5: note: r is assigned
cgif-0.5.3/tests/duplicate_frames.c:56:5: note: r is overwritten
cgif-0.5.3/tests/earlyclose.c:29:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/eindex.c:30:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/eindex.c:48:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/eindex.c:47:22: note: Assuming allocation function fails
cgif-0.5.3/tests/eindex.c:47:22: note: Assignment 'pImageData=malloc(100*100)', assigned value is 0
cgif-0.5.3/tests/eindex.c:48:10: note: Null pointer dereference
cgif-0.5.3/tests/eindex.c:49:3: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/eindex.c:47:22: note: Assuming allocation function fails
cgif-0.5.3/tests/eindex.c:47:22: note: Assignment 'pImageData=malloc(100*100)', assigned value is 0
cgif-0.5.3/tests/eindex.c:49:3: note: Null pointer dereference
cgif-0.5.3/tests/eindex.c:55:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/eindex.c:51:5: note: r is assigned
cgif-0.5.3/tests/eindex.c:55:5: note: r is overwritten
cgif-0.5.3/tests/eindex_anim.c:30:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/eindex_anim.c:48:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/eindex_anim.c:47:22: note: Assuming allocation function fails
cgif-0.5.3/tests/eindex_anim.c:47:22: note: Assignment 'pImageData=malloc(100*100)', assigned value is 0
cgif-0.5.3/tests/eindex_anim.c:48:10: note: Null pointer dereference
cgif-0.5.3/tests/eindex_anim.c:51:3: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/eindex_anim.c:47:22: note: Assuming allocation function fails
cgif-0.5.3/tests/eindex_anim.c:47:22: note: Assignment 'pImageData=malloc(100*100)', assigned value is 0
cgif-0.5.3/tests/eindex_anim.c:51:3: note: Null pointer dereference
cgif-0.5.3/tests/eindex_anim.c:52:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/eindex_anim.c:50:5: note: r is assigned
cgif-0.5.3/tests/eindex_anim.c:52:5: note: r is overwritten
cgif-0.5.3/tests/eindex_anim.c:53:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/eindex_anim.c:52:5: note: r is assigned
cgif-0.5.3/tests/eindex_anim.c:53:5: note: r is overwritten
cgif-0.5.3/tests/eindex_anim.c:54:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/eindex_anim.c:53:5: note: r is assigned
cgif-0.5.3/tests/eindex_anim.c:54:5: note: r is overwritten
cgif-0.5.3/tests/eindex_anim.c:58:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/eindex_anim.c:54:5: note: r is assigned
cgif-0.5.3/tests/eindex_anim.c:58:5: note: r is overwritten
cgif-0.5.3/tests/enopalette.c:26:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/enopalette.c:45:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/enopalette.c:44:22: note: Assuming allocation function fails
cgif-0.5.3/tests/enopalette.c:44:22: note: Assignment 'pImageData=malloc(1*1)', assigned value is 0
cgif-0.5.3/tests/enopalette.c:45:10: note: Null pointer dereference
cgif-0.5.3/tests/enopalette.c:48:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/enopalette.c:47:5: note: r is assigned
cgif-0.5.3/tests/enopalette.c:48:5: note: r is overwritten
cgif-0.5.3/tests/enopalette.c:52:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/enopalette.c:48:5: note: r is assigned
cgif-0.5.3/tests/enopalette.c:52:5: note: r is overwritten
cgif-0.5.3/tests/ewrite.c:29:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/ewrite.c:46:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/ewrite.c:45:22: note: Assuming allocation function fails
cgif-0.5.3/tests/ewrite.c:45:22: note: Assignment 'pImageData=malloc(100*100)', assigned value is 0
cgif-0.5.3/tests/ewrite.c:46:10: note: Null pointer dereference
cgif-0.5.3/tests/ewrite.c:52:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/ewrite.c:48:5: note: r is assigned
cgif-0.5.3/tests/ewrite.c:52:5: note: r is overwritten
cgif-0.5.3/tests/ezeroheight.c:21:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/ezeroheight.c:31:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_FrameConfig [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/ezeroheight.c:49:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_ATTR_IS_ANIMATED [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/ezeroheight.c:58:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/ezeroheight.c:57:22: note: Assuming allocation function fails
cgif-0.5.3/tests/ezeroheight.c:57:22: note: Assignment 'pImageData=malloc(1*0)', assigned value is 0
cgif-0.5.3/tests/ezeroheight.c:58:10: note: Null pointer dereference
cgif-0.5.3/tests/ezerowidth.c:21:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/ezerowidth.c:31:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_FrameConfig [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/ezerowidth.c:49:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_ATTR_IS_ANIMATED [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/ezerowidth.c:58:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/ezerowidth.c:57:22: note: Assuming allocation function fails
cgif-0.5.3/tests/ezerowidth.c:57:22: note: Assignment 'pImageData=malloc(0*1)', assigned value is 0
cgif-0.5.3/tests/ezerowidth.c:58:10: note: Null pointer dereference
cgif-0.5.3/tests/ezerowidthheight.c:21:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/ezerowidthheight.c:31:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_FrameConfig [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/ezerowidthheight.c:49:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_ATTR_IS_ANIMATED [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/ezerowidthheight.c:58:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/ezerowidthheight.c:57:22: note: Assuming allocation function fails
cgif-0.5.3/tests/ezerowidthheight.c:57:22: note: Assignment 'pImageData=malloc(0*0)', assigned value is 0
cgif-0.5.3/tests/ezerowidthheight.c:58:10: note: Null pointer dereference
cgif-0.5.3/tests/global_plus_local_table.c:33:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/global_plus_local_table.c:50:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/global_plus_local_table.c:49:22: note: Assuming allocation function fails
cgif-0.5.3/tests/global_plus_local_table.c:49:22: note: Assignment 'pImageData=malloc(110*125)', assigned value is 0
cgif-0.5.3/tests/global_plus_local_table.c:50:10: note: Null pointer dereference
cgif-0.5.3/tests/global_plus_local_table.c:51:21: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
cgif-0.5.3/tests/global_plus_local_table.c:49:22: note: Assuming allocation function fails
cgif-0.5.3/tests/global_plus_local_table.c:49:22: note: Assignment 'pImageData=malloc(110*125)', assigned value is 0
cgif-0.5.3/tests/global_plus_local_table.c:51:21: note: Null pointer addition
cgif-0.5.3/tests/global_plus_local_table.c:62:21: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
cgif-0.5.3/tests/global_plus_local_table.c:49:22: note: Assuming allocation function fails
cgif-0.5.3/tests/global_plus_local_table.c:49:22: note: Assignment 'pImageData=malloc(110*125)', assigned value is 0
cgif-0.5.3/tests/global_plus_local_table.c:62:21: note: Null pointer addition
cgif-0.5.3/tests/global_plus_local_table.c:63:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/global_plus_local_table.c:57:5: note: r is assigned
cgif-0.5.3/tests/global_plus_local_table.c:63:5: note: r is overwritten
cgif-0.5.3/tests/global_plus_local_table.c:69:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/global_plus_local_table.c:63:5: note: r is assigned
cgif-0.5.3/tests/global_plus_local_table.c:69:5: note: r is overwritten
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:13:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:22:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_FrameConfig [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:50:59: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:56:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:55:22: note: Assuming allocation function fails
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:55:22: note: Assignment 'pImageData=malloc(40*40)', assigned value is 0
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:56:10: note: Null pointer dereference
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:58:5: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:55:22: note: Assuming allocation function fails
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:55:22: note: Assignment 'pImageData=malloc(40*40)', assigned value is 0
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:58:5: note: Null pointer dereference
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:67:3: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:55:22: note: Assuming allocation function fails
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:55:22: note: Assignment 'pImageData=malloc(40*40)', assigned value is 0
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:61:10: note: Assuming condition is false
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:67:3: note: Null pointer dereference
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:76:3: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:55:22: note: Assuming allocation function fails
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:55:22: note: Assignment 'pImageData=malloc(40*40)', assigned value is 0
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:61:10: note: Assuming condition is false
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:76:3: note: Null pointer dereference
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:77:3: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:55:22: note: Assuming allocation function fails
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:55:22: note: Assignment 'pImageData=malloc(40*40)', assigned value is 0
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:61:10: note: Assuming condition is false
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:77:3: note: Null pointer dereference
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:78:3: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:55:22: note: Assuming allocation function fails
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:55:22: note: Assignment 'pImageData=malloc(40*40)', assigned value is 0
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:61:10: note: Assuming condition is false
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:78:3: note: Null pointer dereference
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:79:3: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:55:22: note: Assuming allocation function fails
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:55:22: note: Assignment 'pImageData=malloc(40*40)', assigned value is 0
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:61:10: note: Assuming condition is false
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:79:3: note: Null pointer dereference
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:83:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:55:22: note: Assuming allocation function fails
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:55:22: note: Assignment 'pImageData=malloc(40*40)', assigned value is 0
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:61:10: note: Assuming condition is false
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:83:10: note: Null pointer dereference
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:80:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:73:5: note: r is assigned
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:80:5: note: r is overwritten
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:96:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:80:5: note: r is assigned
cgif-0.5.3/tests/global_plus_local_table_with_optim.c:96:5: note: r is overwritten
cgif-0.5.3/tests/has_transparency.c:22:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/has_transparency.c:40:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/has_transparency.c:39:22: note: Assuming allocation function fails
cgif-0.5.3/tests/has_transparency.c:39:22: note: Assignment 'pImageData=malloc(99*99)', assigned value is 0
cgif-0.5.3/tests/has_transparency.c:40:10: note: Null pointer dereference
cgif-0.5.3/tests/has_transparency.c:45:5: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/has_transparency.c:39:22: note: Assuming allocation function fails
cgif-0.5.3/tests/has_transparency.c:39:22: note: Assignment 'pImageData=malloc(99*99)', assigned value is 0
cgif-0.5.3/tests/has_transparency.c:45:5: note: Null pointer dereference
cgif-0.5.3/tests/has_transparency.c:50:5: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/has_transparency.c:39:22: note: Assuming allocation function fails
cgif-0.5.3/tests/has_transparency.c:39:22: note: Assignment 'pImageData=malloc(99*99)', assigned value is 0
cgif-0.5.3/tests/has_transparency.c:50:5: note: Null pointer dereference
cgif-0.5.3/tests/has_transparency.c:56:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/has_transparency.c:52:5: note: r is assigned
cgif-0.5.3/tests/has_transparency.c:56:5: note: r is overwritten
cgif-0.5.3/tests/has_transparency_2.c:22:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/has_transparency_2.c:40:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/has_transparency_2.c:39:22: note: Assuming allocation function fails
cgif-0.5.3/tests/has_transparency_2.c:39:22: note: Assignment 'pImageData=malloc(99*99)', assigned value is 0
cgif-0.5.3/tests/has_transparency_2.c:40:10: note: Null pointer dereference
cgif-0.5.3/tests/has_transparency_2.c:45:5: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/has_transparency_2.c:39:22: note: Assuming allocation function fails
cgif-0.5.3/tests/has_transparency_2.c:39:22: note: Assignment 'pImageData=malloc(99*99)', assigned value is 0
cgif-0.5.3/tests/has_transparency_2.c:45:5: note: Null pointer dereference
cgif-0.5.3/tests/has_transparency_2.c:50:5: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/has_transparency_2.c:39:22: note: Assuming allocation function fails
cgif-0.5.3/tests/has_transparency_2.c:39:22: note: Assignment 'pImageData=malloc(99*99)', assigned value is 0
cgif-0.5.3/tests/has_transparency_2.c:50:5: note: Null pointer dereference
cgif-0.5.3/tests/has_transparency_2.c:52:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/has_transparency_2.c:47:5: note: r is assigned
cgif-0.5.3/tests/has_transparency_2.c:52:5: note: r is overwritten
cgif-0.5.3/tests/has_transparency_2.c:56:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/has_transparency_2.c:52:5: note: r is assigned
cgif-0.5.3/tests/has_transparency_2.c:56:5: note: r is overwritten
cgif-0.5.3/tests/local_transp.c:27:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/local_transp.c:43:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/local_transp.c:42:22: note: Assuming allocation function fails
cgif-0.5.3/tests/local_transp.c:42:22: note: Assignment 'pImageData=malloc(103*104)', assigned value is 0
cgif-0.5.3/tests/local_transp.c:43:10: note: Null pointer dereference
cgif-0.5.3/tests/local_transp.c:44:21: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
cgif-0.5.3/tests/local_transp.c:42:22: note: Assuming allocation function fails
cgif-0.5.3/tests/local_transp.c:42:22: note: Assignment 'pImageData=malloc(103*104)', assigned value is 0
cgif-0.5.3/tests/local_transp.c:44:21: note: Null pointer addition
cgif-0.5.3/tests/local_transp.c:51:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/local_transp.c:50:5: note: r is assigned
cgif-0.5.3/tests/local_transp.c:51:5: note: r is overwritten
cgif-0.5.3/tests/local_transp.c:57:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/local_transp.c:51:5: note: r is assigned
cgif-0.5.3/tests/local_transp.c:57:5: note: r is overwritten
cgif-0.5.3/tests/max_color_table_test.c:28:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/max_color_table_test.c:37:5: error: Memory leak: pImageData [memleak]
cgif-0.5.3/tests/max_color_table_test.c:23:10: warning: If memory allocation fails, then there is a possible null pointer dereference: aPalette [nullPointerOutOfMemory]
cgif-0.5.3/tests/max_color_table_test.c:22:22: note: Assuming allocation function fails
cgif-0.5.3/tests/max_color_table_test.c:22:22: note: Assignment 'aPalette=malloc(256*3)', assigned value is 0
cgif-0.5.3/tests/max_color_table_test.c:23:10: note: Null pointer dereference
cgif-0.5.3/tests/max_color_table_test.c:25:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/max_color_table_test.c:24:22: note: Assuming allocation function fails
cgif-0.5.3/tests/max_color_table_test.c:24:22: note: Assignment 'pImageData=malloc(100*100)', assigned value is 0
cgif-0.5.3/tests/max_color_table_test.c:25:10: note: Null pointer dereference
cgif-0.5.3/tests/max_color_table_test.c:48:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/max_color_table_test.c:43:5: note: r is assigned
cgif-0.5.3/tests/max_color_table_test.c:48:5: note: r is overwritten
cgif-0.5.3/tests/max_size.c:26:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/max_size.c:35:5: error: Memory leak: pImageData [memleak]
cgif-0.5.3/tests/max_size.c:23:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/max_size.c:22:22: note: Assuming allocation function fails
cgif-0.5.3/tests/max_size.c:22:22: note: Assignment 'pImageData=malloc(0xFFFFUL*0xFFFFUL)', assigned value is 0
cgif-0.5.3/tests/max_size.c:23:10: note: Null pointer dereference
cgif-0.5.3/tests/max_size.c:45:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/max_size.c:41:5: note: r is assigned
cgif-0.5.3/tests/max_size.c:45:5: note: r is overwritten
cgif-0.5.3/tests/min_color_table_test.c:26:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/min_color_table_test.c:35:5: error: Memory leak: pImageData [memleak]
cgif-0.5.3/tests/min_color_table_test.c:23:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/min_color_table_test.c:22:22: note: Assuming allocation function fails
cgif-0.5.3/tests/min_color_table_test.c:22:22: note: Assignment 'pImageData=malloc(100*100)', assigned value is 0
cgif-0.5.3/tests/min_color_table_test.c:23:10: note: Null pointer dereference
cgif-0.5.3/tests/min_color_table_test.c:45:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/min_color_table_test.c:41:5: note: r is assigned
cgif-0.5.3/tests/min_color_table_test.c:45:5: note: r is overwritten
cgif-0.5.3/tests/min_size.c:26:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/min_size.c:35:5: error: Memory leak: pImageData [memleak]
cgif-0.5.3/tests/min_size.c:23:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/min_size.c:22:22: note: Assuming allocation function fails
cgif-0.5.3/tests/min_size.c:22:22: note: Assignment 'pImageData=malloc(1*1)', assigned value is 0
cgif-0.5.3/tests/min_size.c:23:10: note: Null pointer dereference
cgif-0.5.3/tests/min_size.c:45:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/min_size.c:41:5: note: r is assigned
cgif-0.5.3/tests/min_size.c:45:5: note: r is overwritten
cgif-0.5.3/tests/more_than_256_colors.c:23:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/more_than_256_colors.c:52:5: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/more_than_256_colors.c:46:22: note: Assuming allocation function fails
cgif-0.5.3/tests/more_than_256_colors.c:46:22: note: Assignment 'pImageData=malloc(255*255)', assigned value is 0
cgif-0.5.3/tests/more_than_256_colors.c:52:5: note: Null pointer dereference
cgif-0.5.3/tests/more_than_256_colors.c:68:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/more_than_256_colors.c:46:22: note: Assuming allocation function fails
cgif-0.5.3/tests/more_than_256_colors.c:46:22: note: Assignment 'pImageData=malloc(255*255)', assigned value is 0
cgif-0.5.3/tests/more_than_256_colors.c:68:10: note: Null pointer dereference
cgif-0.5.3/tests/more_than_256_colors.c:70:5: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/more_than_256_colors.c:46:22: note: Assuming allocation function fails
cgif-0.5.3/tests/more_than_256_colors.c:46:22: note: Assignment 'pImageData=malloc(255*255)', assigned value is 0
cgif-0.5.3/tests/more_than_256_colors.c:70:5: note: Null pointer dereference
cgif-0.5.3/tests/more_than_256_colors.c:80:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/more_than_256_colors.c:46:22: note: Assuming allocation function fails
cgif-0.5.3/tests/more_than_256_colors.c:46:22: note: Assignment 'pImageData=malloc(255*255)', assigned value is 0
cgif-0.5.3/tests/more_than_256_colors.c:80:10: note: Null pointer dereference
cgif-0.5.3/tests/more_than_256_colors.c:84:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/more_than_256_colors.c:72:5: note: r is assigned
cgif-0.5.3/tests/more_than_256_colors.c:84:5: note: r is overwritten
cgif-0.5.3/tests/more_than_256_colors.c:89:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/more_than_256_colors.c:84:5: note: r is assigned
cgif-0.5.3/tests/more_than_256_colors.c:89:5: note: r is overwritten
cgif-0.5.3/tests/noise256.c:35:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/noise256.c:52:43: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/noise256.c:51:22: note: Assuming allocation function fails
cgif-0.5.3/tests/noise256.c:51:22: note: Assignment 'pImageData=malloc(500*500)', assigned value is 0
cgif-0.5.3/tests/noise256.c:52:43: note: Null pointer dereference
cgif-0.5.3/tests/noise256.c:58:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/noise256.c:54:5: note: r is assigned
cgif-0.5.3/tests/noise256.c:58:5: note: r is overwritten
cgif-0.5.3/tests/noise256_large.c:35:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/noise256_large.c:52:43: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/noise256_large.c:51:22: note: Assuming allocation function fails
cgif-0.5.3/tests/noise256_large.c:51:22: note: Assignment 'pImageData=malloc(3000*3000)', assigned value is 0
cgif-0.5.3/tests/noise256_large.c:52:43: note: Null pointer dereference
cgif-0.5.3/tests/noise256_large.c:58:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/noise256_large.c:54:5: note: r is assigned
cgif-0.5.3/tests/noise256_large.c:58:5: note: r is overwritten
cgif-0.5.3/tests/noise6.c:35:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/noise6.c:52:43: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/noise6.c:51:22: note: Assuming allocation function fails
cgif-0.5.3/tests/noise6.c:51:22: note: Assignment 'pImageData=malloc(700*320)', assigned value is 0
cgif-0.5.3/tests/noise6.c:52:43: note: Null pointer dereference
cgif-0.5.3/tests/noise6.c:58:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/noise6.c:54:5: note: r is assigned
cgif-0.5.3/tests/noise6.c:58:5: note: r is overwritten
cgif-0.5.3/tests/noise6_interlaced.c:35:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/noise6_interlaced.c:52:43: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/noise6_interlaced.c:51:22: note: Assuming allocation function fails
cgif-0.5.3/tests/noise6_interlaced.c:51:22: note: Assignment 'pImageData=malloc(700*320)', assigned value is 0
cgif-0.5.3/tests/noise6_interlaced.c:52:43: note: Null pointer dereference
cgif-0.5.3/tests/noise6_interlaced.c:59:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/noise6_interlaced.c:55:5: note: r is assigned
cgif-0.5.3/tests/noise6_interlaced.c:59:5: note: r is overwritten
cgif-0.5.3/tests/noloop.c:13:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/noloop.c:23:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_FrameConfig [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/noloop.c:43:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_ATTR_IS_ANIMATED [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/noloop.c:52:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/noloop.c:51:22: note: Assuming allocation function fails
cgif-0.5.3/tests/noloop.c:51:22: note: Assignment 'pImageData=malloc(50*50)', assigned value is 0
cgif-0.5.3/tests/noloop.c:52:10: note: Null pointer dereference
cgif-0.5.3/tests/noloop.c:55:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/noloop.c:51:22: note: Assuming allocation function fails
cgif-0.5.3/tests/noloop.c:51:22: note: Assignment 'pImageData=malloc(50*50)', assigned value is 0
cgif-0.5.3/tests/noloop.c:55:10: note: Null pointer dereference
cgif-0.5.3/tests/noloop.c:57:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/noloop.c:51:22: note: Assuming allocation function fails
cgif-0.5.3/tests/noloop.c:51:22: note: Assignment 'pImageData=malloc(50*50)', assigned value is 0
cgif-0.5.3/tests/noloop.c:57:10: note: Null pointer dereference
cgif-0.5.3/tests/noloop.c:56:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/noloop.c:54:5: note: r is assigned
cgif-0.5.3/tests/noloop.c:56:5: note: r is overwritten
cgif-0.5.3/tests/noloop.c:58:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/noloop.c:56:5: note: r is assigned
cgif-0.5.3/tests/noloop.c:58:5: note: r is overwritten
cgif-0.5.3/tests/noloop.c:63:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/noloop.c:58:5: note: r is assigned
cgif-0.5.3/tests/noloop.c:63:5: note: r is overwritten
cgif-0.5.3/tests/one_full_block.c:28:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/one_full_block.c:21:10: warning: If memory allocation fails, then there is a possible null pointer dereference: aPalette [nullPointerOutOfMemory]
cgif-0.5.3/tests/one_full_block.c:17:34: note: Assuming allocation function fails
cgif-0.5.3/tests/one_full_block.c:17:34: note: Assignment 'aPalette=malloc(3*224)', assigned value is 0
cgif-0.5.3/tests/one_full_block.c:21:10: note: Null pointer dereference
cgif-0.5.3/tests/one_full_block.c:25:35: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/one_full_block.c:24:22: note: Assuming allocation function fails
cgif-0.5.3/tests/one_full_block.c:24:22: note: Assignment 'pImageData=malloc(1*224)', assigned value is 0
cgif-0.5.3/tests/one_full_block.c:25:35: note: Null pointer dereference
cgif-0.5.3/tests/one_full_block.c:48:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/one_full_block.c:43:5: note: r is assigned
cgif-0.5.3/tests/one_full_block.c:48:5: note: r is overwritten
cgif-0.5.3/tests/only_local_table.c:27:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/only_local_table.c:42:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/only_local_table.c:41:22: note: Assuming allocation function fails
cgif-0.5.3/tests/only_local_table.c:41:22: note: Assignment 'pImageData=malloc(103*104)', assigned value is 0
cgif-0.5.3/tests/only_local_table.c:42:10: note: Null pointer dereference
cgif-0.5.3/tests/only_local_table.c:43:21: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
cgif-0.5.3/tests/only_local_table.c:41:22: note: Assuming allocation function fails
cgif-0.5.3/tests/only_local_table.c:41:22: note: Assignment 'pImageData=malloc(103*104)', assigned value is 0
cgif-0.5.3/tests/only_local_table.c:43:21: note: Null pointer addition
cgif-0.5.3/tests/only_local_table.c:54:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/only_local_table.c:48:5: note: r is assigned
cgif-0.5.3/tests/only_local_table.c:54:5: note: r is overwritten
cgif-0.5.3/tests/overlap_everything.c:27:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/overlap_everything.c:45:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/overlap_everything.c:44:22: note: Assuming allocation function fails
cgif-0.5.3/tests/overlap_everything.c:44:22: note: Assignment 'pImageData=malloc(100*100)', assigned value is 0
cgif-0.5.3/tests/overlap_everything.c:45:10: note: Null pointer dereference
cgif-0.5.3/tests/overlap_everything.c:50:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/overlap_everything.c:49:5: note: r is assigned
cgif-0.5.3/tests/overlap_everything.c:50:5: note: r is overwritten
cgif-0.5.3/tests/overlap_everything.c:55:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/overlap_everything.c:50:5: note: r is assigned
cgif-0.5.3/tests/overlap_everything.c:55:5: note: r is overwritten
cgif-0.5.3/tests/overlap_everything_only_trans.c:27:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/overlap_everything_only_trans.c:45:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/overlap_everything_only_trans.c:44:22: note: Assuming allocation function fails
cgif-0.5.3/tests/overlap_everything_only_trans.c:44:22: note: Assignment 'pImageData=malloc(100*100)', assigned value is 0
cgif-0.5.3/tests/overlap_everything_only_trans.c:45:10: note: Null pointer dereference
cgif-0.5.3/tests/overlap_everything_only_trans.c:50:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/overlap_everything_only_trans.c:49:5: note: r is assigned
cgif-0.5.3/tests/overlap_everything_only_trans.c:50:5: note: r is overwritten
cgif-0.5.3/tests/overlap_everything_only_trans.c:55:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/overlap_everything_only_trans.c:50:5: note: r is assigned
cgif-0.5.3/tests/overlap_everything_only_trans.c:55:5: note: r is overwritten
cgif-0.5.3/tests/overlap_some_rows.c:27:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/overlap_some_rows.c:44:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/overlap_some_rows.c:43:22: note: Assuming allocation function fails
cgif-0.5.3/tests/overlap_some_rows.c:43:22: note: Assignment 'pImageData=malloc(100*100)', assigned value is 0
cgif-0.5.3/tests/overlap_some_rows.c:44:10: note: Null pointer dereference
cgif-0.5.3/tests/overlap_some_rows.c:49:21: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
cgif-0.5.3/tests/overlap_some_rows.c:43:22: note: Assuming allocation function fails
cgif-0.5.3/tests/overlap_some_rows.c:43:22: note: Assignment 'pImageData=malloc(100*100)', assigned value is 0
cgif-0.5.3/tests/overlap_some_rows.c:49:21: note: Null pointer addition
cgif-0.5.3/tests/overlap_some_rows.c:50:21: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
cgif-0.5.3/tests/overlap_some_rows.c:43:22: note: Assuming allocation function fails
cgif-0.5.3/tests/overlap_some_rows.c:43:22: note: Assignment 'pImageData=malloc(100*100)', assigned value is 0
cgif-0.5.3/tests/overlap_some_rows.c:50:21: note: Null pointer addition
cgif-0.5.3/tests/overlap_some_rows.c:51:21: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
cgif-0.5.3/tests/overlap_some_rows.c:43:22: note: Assuming allocation function fails
cgif-0.5.3/tests/overlap_some_rows.c:43:22: note: Assignment 'pImageData=malloc(100*100)', assigned value is 0
cgif-0.5.3/tests/overlap_some_rows.c:51:21: note: Null pointer addition
cgif-0.5.3/tests/overlap_some_rows.c:52:21: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
cgif-0.5.3/tests/overlap_some_rows.c:43:22: note: Assuming allocation function fails
cgif-0.5.3/tests/overlap_some_rows.c:43:22: note: Assignment 'pImageData=malloc(100*100)', assigned value is 0
cgif-0.5.3/tests/overlap_some_rows.c:52:21: note: Null pointer addition
cgif-0.5.3/tests/overlap_some_rows.c:53:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/overlap_some_rows.c:48:5: note: r is assigned
cgif-0.5.3/tests/overlap_some_rows.c:53:5: note: r is overwritten
cgif-0.5.3/tests/overlap_some_rows.c:59:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/overlap_some_rows.c:53:5: note: r is assigned
cgif-0.5.3/tests/overlap_some_rows.c:59:5: note: r is overwritten
cgif-0.5.3/tests/single_frame_alpha.c:21:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/single_frame_alpha.c:38:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/single_frame_alpha.c:37:22: note: Assuming allocation function fails
cgif-0.5.3/tests/single_frame_alpha.c:37:22: note: Assignment 'pImageData=malloc(1*1)', assigned value is 0
cgif-0.5.3/tests/single_frame_alpha.c:38:10: note: Null pointer dereference
cgif-0.5.3/tests/stripe_pattern_interlaced.c:23:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/stripe_pattern_interlaced.c:49:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/stripe_pattern_interlaced.c:45:5: note: r is assigned
cgif-0.5.3/tests/stripe_pattern_interlaced.c:49:5: note: r is overwritten
cgif-0.5.3/tests/switchpattern.c:13:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/switchpattern.c:22:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_FrameConfig [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/switchpattern.c:44:59: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/switchpattern.c:50:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/switchpattern.c:49:22: note: Assuming allocation function fails
cgif-0.5.3/tests/switchpattern.c:49:22: note: Assignment 'pImageData=malloc(20*20)', assigned value is 0
cgif-0.5.3/tests/switchpattern.c:50:10: note: Null pointer dereference
cgif-0.5.3/tests/switchpattern.c:53:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/switchpattern.c:49:22: note: Assuming allocation function fails
cgif-0.5.3/tests/switchpattern.c:49:22: note: Assignment 'pImageData=malloc(20*20)', assigned value is 0
cgif-0.5.3/tests/switchpattern.c:53:10: note: Null pointer dereference
cgif-0.5.3/tests/switchpattern.c:55:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/switchpattern.c:49:22: note: Assuming allocation function fails
cgif-0.5.3/tests/switchpattern.c:49:22: note: Assignment 'pImageData=malloc(20*20)', assigned value is 0
cgif-0.5.3/tests/switchpattern.c:55:10: note: Null pointer dereference
cgif-0.5.3/tests/switchpattern.c:57:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/switchpattern.c:49:22: note: Assuming allocation function fails
cgif-0.5.3/tests/switchpattern.c:49:22: note: Assignment 'pImageData=malloc(20*20)', assigned value is 0
cgif-0.5.3/tests/switchpattern.c:57:10: note: Null pointer dereference
cgif-0.5.3/tests/switchpattern.c:59:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/switchpattern.c:49:22: note: Assuming allocation function fails
cgif-0.5.3/tests/switchpattern.c:49:22: note: Assignment 'pImageData=malloc(20*20)', assigned value is 0
cgif-0.5.3/tests/switchpattern.c:59:10: note: Null pointer dereference
cgif-0.5.3/tests/switchpattern.c:61:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/switchpattern.c:49:22: note: Assuming allocation function fails
cgif-0.5.3/tests/switchpattern.c:49:22: note: Assignment 'pImageData=malloc(20*20)', assigned value is 0
cgif-0.5.3/tests/switchpattern.c:61:10: note: Null pointer dereference
cgif-0.5.3/tests/switchpattern.c:63:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/switchpattern.c:49:22: note: Assuming allocation function fails
cgif-0.5.3/tests/switchpattern.c:49:22: note: Assignment 'pImageData=malloc(20*20)', assigned value is 0
cgif-0.5.3/tests/switchpattern.c:63:10: note: Null pointer dereference
cgif-0.5.3/tests/switchpattern.c:54:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/switchpattern.c:52:5: note: r is assigned
cgif-0.5.3/tests/switchpattern.c:54:5: note: r is overwritten
cgif-0.5.3/tests/switchpattern.c:56:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/switchpattern.c:54:5: note: r is assigned
cgif-0.5.3/tests/switchpattern.c:56:5: note: r is overwritten
cgif-0.5.3/tests/switchpattern.c:58:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/switchpattern.c:56:5: note: r is assigned
cgif-0.5.3/tests/switchpattern.c:58:5: note: r is overwritten
cgif-0.5.3/tests/switchpattern.c:60:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/switchpattern.c:58:5: note: r is assigned
cgif-0.5.3/tests/switchpattern.c:60:5: note: r is overwritten
cgif-0.5.3/tests/switchpattern.c:62:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/switchpattern.c:60:5: note: r is assigned
cgif-0.5.3/tests/switchpattern.c:62:5: note: r is overwritten
cgif-0.5.3/tests/switchpattern.c:64:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/switchpattern.c:62:5: note: r is assigned
cgif-0.5.3/tests/switchpattern.c:64:5: note: r is overwritten
cgif-0.5.3/tests/switchpattern.c:68:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/switchpattern.c:64:5: note: r is assigned
cgif-0.5.3/tests/switchpattern.c:68:5: note: r is overwritten
cgif-0.5.3/tests/trans_inc_initdict.c:27:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/trans_inc_initdict.c:50:7: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/trans_inc_initdict.c:44:22: note: Assuming allocation function fails
cgif-0.5.3/tests/trans_inc_initdict.c:44:22: note: Assignment 'pImageData=malloc(200*200)', assigned value is 0
cgif-0.5.3/tests/trans_inc_initdict.c:50:7: note: Null pointer dereference
cgif-0.5.3/tests/user_trans.c:22:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/user_trans.c:41:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/user_trans.c:40:22: note: Assuming allocation function fails
cgif-0.5.3/tests/user_trans.c:40:22: note: Assignment 'pImageData=malloc(100*100)', assigned value is 0
cgif-0.5.3/tests/user_trans.c:41:10: note: Null pointer dereference
cgif-0.5.3/tests/user_trans.c:46:5: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/user_trans.c:40:22: note: Assuming allocation function fails
cgif-0.5.3/tests/user_trans.c:40:22: note: Assignment 'pImageData=malloc(100*100)', assigned value is 0
cgif-0.5.3/tests/user_trans.c:46:5: note: Null pointer dereference
cgif-0.5.3/tests/user_trans.c:50:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/user_trans.c:40:22: note: Assuming allocation function fails
cgif-0.5.3/tests/user_trans.c:40:22: note: Assignment 'pImageData=malloc(100*100)', assigned value is 0
cgif-0.5.3/tests/user_trans.c:50:10: note: Null pointer dereference
cgif-0.5.3/tests/user_trans.c:57:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/user_trans.c:53:5: note: r is assigned
cgif-0.5.3/tests/user_trans.c:57:5: note: r is overwritten
cgif-0.5.3/tests/user_trans_diff_area.c:22:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/user_trans_diff_area.c:41:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/user_trans_diff_area.c:40:22: note: Assuming allocation function fails
cgif-0.5.3/tests/user_trans_diff_area.c:40:22: note: Assignment 'pImageData=malloc(2*2)', assigned value is 0
cgif-0.5.3/tests/user_trans_diff_area.c:41:10: note: Null pointer dereference
cgif-0.5.3/tests/user_trans_diff_area.c:49:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/user_trans_diff_area.c:40:22: note: Assuming allocation function fails
cgif-0.5.3/tests/user_trans_diff_area.c:40:22: note: Assignment 'pImageData=malloc(2*2)', assigned value is 0
cgif-0.5.3/tests/user_trans_diff_area.c:49:10: note: Null pointer dereference
cgif-0.5.3/tests/user_trans_diff_area.c:54:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/user_trans_diff_area.c:50:5: note: r is assigned
cgif-0.5.3/tests/user_trans_diff_area.c:54:5: note: r is overwritten
cgif-0.5.3/tests/user_trans_merge.c:22:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/user_trans_merge.c:40:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/user_trans_merge.c:39:22: note: Assuming allocation function fails
cgif-0.5.3/tests/user_trans_merge.c:39:22: note: Assignment 'pImageData=malloc(2*2)', assigned value is 0
cgif-0.5.3/tests/user_trans_merge.c:40:10: note: Null pointer dereference
cgif-0.5.3/tests/user_trans_merge.c:48:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/user_trans_merge.c:39:22: note: Assuming allocation function fails
cgif-0.5.3/tests/user_trans_merge.c:39:22: note: Assignment 'pImageData=malloc(2*2)', assigned value is 0
cgif-0.5.3/tests/user_trans_merge.c:48:10: note: Null pointer dereference
cgif-0.5.3/tests/user_trans_merge.c:53:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/user_trans_merge.c:49:5: note: r is assigned
cgif-0.5.3/tests/user_trans_merge.c:53:5: note: r is overwritten
cgif-0.5.3/tests/write_fn.c:33:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CGIF_Config [valueFlowBailoutIncompleteVar]
cgif-0.5.3/tests/write_fn.c:51:10: warning: If memory allocation fails, then there is a possible null pointer dereference: pImageData [nullPointerOutOfMemory]
cgif-0.5.3/tests/write_fn.c:50:22: note: Assuming allocation function fails
cgif-0.5.3/tests/write_fn.c:50:22: note: Assignment 'pImageData=malloc(100*100)', assigned value is 0
cgif-0.5.3/tests/write_fn.c:51:10: note: Null pointer dereference
cgif-0.5.3/tests/write_fn.c:58:10: warning: If resource allocation fails, then there is a possible null pointer dereference: file [nullPointerOutOfResources]
cgif-0.5.3/tests/write_fn.c:31:21: note: Assuming allocation function fails
cgif-0.5.3/tests/write_fn.c:31:21: note: Assignment 'file=fopen("write_fn.gif","wb")', assigned value is 0
cgif-0.5.3/tests/write_fn.c:44:11: note: Assuming condition is false
cgif-0.5.3/tests/write_fn.c:58:10: note: Null pointer dereference
cgif-0.5.3/tests/write_fn.c:57:5: style: Variable 'r' is reassigned a value before the old one has been used. [redundantAssignment]
cgif-0.5.3/tests/write_fn.c:53:5: note: r is assigned
cgif-0.5.3/tests/write_fn.c:57:5: note: r is overwritten
cgif-0.5.3/src/cgif_raw.c:89:3: warning: Null pointer dereference: pContext [ctunullpointer]
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assuming allocation function fails
cgif-0.5.3/src/cgif_raw.c:307:32: note: Assignment 'pContext=malloc(sizeof(struct LZWGenState))', assigned value is 0
cgif-0.5.3/src/cgif_raw.c:321:19: note: Calling function lzw_generate, 1st argument is null
cgif-0.5.3/src/cgif_raw.c:210:3: note: Calling function resetDict, 1st argument is null
cgif-0.5.3/src/cgif_raw.c:89:3: note: Dereferencing argument pContext that is null
cgif-0.5.3/src/cgif_raw.c:234:3: warning: If memory allocation fails, then there is a possible null pointer dereference: byteList [ctunullpointerOutOfMemory]
cgif-0.5.3/src/cgif_raw.c:332:25: note: Assuming allocation function fails
cgif-0.5.3/src/cgif_raw.c:332:25: note: Assignment 'byteList=malloc(MaxByteListLen)', assigned value is 0
cgif-0.5.3/src/cgif_raw.c:334:35: note: Calling function create_byte_list, 1st argument is null
cgif-0.5.3/src/cgif_raw.c:234:3: note: Dereferencing argument byteList that is null
diff:


DONE