2025-05-06 00:00 ftp://ftp.de.debian.org/debian/pool/main/libs/libspectre/libspectre_0.2.12.orig.tar.gz cppcheck-options: --library=posix --library=gnu --library=bsd --library=cairo --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 -j3 platform: Linux-6.8.0-1022-oracle-aarch64-with-glibc2.39 python: 3.12.3 client-version: 1.3.67 compiler: g++ (Ubuntu 13.3.0-6ubuntu2~24.04) 13.3.0 cppcheck: head 2.17.0 head-info: 581f101 (2025-05-05 21:13:30 +0200) count: 165 164 elapsed-time: 2.4 2.4 head-timing-info: old-timing-info: head results: libspectre-0.2.12/libspectre/ps.h:34:0: debug: Failed to parse 'typedef SPECTRE_BEGIN_DECLS struct tagDOSEPS { unsigned char id [ 4 ] ; unsigned long ps_begin ; unsigned long ps_length ; unsigned long mf_begin ; unsigned long mf_length ; unsigned long tiff_begin ; unsigned long tiff_length ; unsigned short checksum ; } DOSEPS ;'. The checking continues anyway. [simplifyTypedef] libspectre-0.2.12/libspectre/spectre-device.h:47:0: debug: Failed to parse 'typedef SPECTRE_END_DECLS SPECTRE_BEGIN_DECLS enum { CLEANUP_DELETE_INSTANCE = 1 << 0 , CLEANUP_EXIT = 1 << 1 } SpectreGSCleanupFlag ;'. The checking continues anyway. [simplifyTypedef] libspectre-0.2.12/libspectre/spectre-utils.h:135:0: debug: Failed to parse 'typedef SPECTRE_END_DECLS enum _SpectreStatus { SPECTRE_STATUS_SUCCESS = 0 , SPECTRE_STATUS_NO_MEMORY , SPECTRE_STATUS_LOAD_ERROR , SPECTRE_STATUS_DOCUMENT_NOT_LOADED , SPECTRE_STATUS_INVALID_PAGE , SPECTRE_STATUS_RENDER_ERROR , SPECTRE_STATUS_EXPORTER_ERROR , SPECTRE_STATUS_SAVE_ERROR } SpectreStatus ;'. The checking continues anyway. [simplifyTypedef] libspectre-0.2.12/libspectre/spectre-document.h:206:0: debug: Failed to parse 'typedef SPECTRE_END_DECLS enum _SpectreStatus { SPECTRE_STATUS_SUCCESS = 0 , SPECTRE_STATUS_NO_MEMORY , SPECTRE_STATUS_LOAD_ERROR , SPECTRE_STATUS_DOCUMENT_NOT_LOADED , SPECTRE_STATUS_INVALID_PAGE , SPECTRE_STATUS_RENDER_ERROR , SPECTRE_STATUS_EXPORTER_ERROR , SPECTRE_STATUS_SAVE_ERROR } SpectreStatus ;'. The checking continues anyway. [simplifyTypedef] libspectre-0.2.12/libspectre/spectre-device.c:273:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable DISPLAY_CALLOUT_GET_CALLBACK [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-device.c:311:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SPECTRE_STATUS_NO_MEMORY [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-document.c:58:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-document.c:118:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-document.c:153:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-document.c:161:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-document.c:176:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-document.c:202:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-document.c:215:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-document.c:228:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-document.c:241:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-document.c:254:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-document.c:267:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-document.c:280:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-document.c:297:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-document.c:332:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-document.c:367:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-document.c:394:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-document.c:409:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-document.c:439:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-document.c:481:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-utils.h:135:0: debug: Failed to parse 'typedef SPECTRE_END_DECLS SPECTRE_BEGIN_DECLS struct tagDOSEPS { unsigned char id [ 4 ] ; unsigned long ps_begin ; unsigned long ps_length ; unsigned long mf_begin ; unsigned long mf_length ; unsigned long tiff_begin ; unsigned long tiff_length ; unsigned short checksum ; } DOSEPS ;'. The checking continues anyway. [simplifyTypedef] libspectre-0.2.12/libspectre/spectre-device.c:336:2: warning: If memory allocation fails, then there is a possible null pointer dereference: args [nullPointerOutOfMemory] libspectre-0.2.12/libspectre/spectre-device.c:335:16: note: Assuming allocation function fails libspectre-0.2.12/libspectre/spectre-device.c:335:16: note: Assignment 'args=calloc(sizeof(char*),n_args)', assigned value is 0 libspectre-0.2.12/libspectre/spectre-device.c:336:2: note: Null pointer dereference libspectre-0.2.12/libspectre/spectre-device.c:337:2: warning: If memory allocation fails, then there is a possible null pointer dereference: args [nullPointerOutOfMemory] libspectre-0.2.12/libspectre/spectre-device.c:335:16: note: Assuming allocation function fails libspectre-0.2.12/libspectre/spectre-device.c:335:16: note: Assignment 'args=calloc(sizeof(char*),n_args)', assigned value is 0 libspectre-0.2.12/libspectre/spectre-device.c:337:2: note: Null pointer dereference libspectre-0.2.12/libspectre/spectre-device.c:338:2: warning: If memory allocation fails, then there is a possible null pointer dereference: args [nullPointerOutOfMemory] libspectre-0.2.12/libspectre/spectre-device.c:335:16: note: Assuming allocation function fails libspectre-0.2.12/libspectre/spectre-device.c:335:16: note: Assignment 'args=calloc(sizeof(char*),n_args)', assigned value is 0 libspectre-0.2.12/libspectre/spectre-device.c:338:2: note: Null pointer dereference libspectre-0.2.12/libspectre/spectre-device.c:339:2: warning: If memory allocation fails, then there is a possible null pointer dereference: args [nullPointerOutOfMemory] libspectre-0.2.12/libspectre/spectre-device.c:335:16: note: Assuming allocation function fails libspectre-0.2.12/libspectre/spectre-device.c:335:16: note: Assignment 'args=calloc(sizeof(char*),n_args)', assigned value is 0 libspectre-0.2.12/libspectre/spectre-device.c:339:2: note: Null pointer dereference libspectre-0.2.12/libspectre/spectre-device.c:340:2: warning: If memory allocation fails, then there is a possible null pointer dereference: args [nullPointerOutOfMemory] libspectre-0.2.12/libspectre/spectre-device.c:335:16: note: Assuming allocation function fails libspectre-0.2.12/libspectre/spectre-device.c:335:16: note: Assignment 'args=calloc(sizeof(char*),n_args)', assigned value is 0 libspectre-0.2.12/libspectre/spectre-device.c:340:2: note: Null pointer dereference libspectre-0.2.12/libspectre/spectre-device.c:341:2: warning: If memory allocation fails, then there is a possible null pointer dereference: args [nullPointerOutOfMemory] libspectre-0.2.12/libspectre/spectre-device.c:335:16: note: Assuming allocation function fails libspectre-0.2.12/libspectre/spectre-device.c:335:16: note: Assignment 'args=calloc(sizeof(char*),n_args)', assigned value is 0 libspectre-0.2.12/libspectre/spectre-device.c:341:2: note: Null pointer dereference libspectre-0.2.12/libspectre/spectre-device.c:342:2: warning: If memory allocation fails, then there is a possible null pointer dereference: args [nullPointerOutOfMemory] libspectre-0.2.12/libspectre/spectre-device.c:335:16: note: Assuming allocation function fails libspectre-0.2.12/libspectre/spectre-device.c:335:16: note: Assignment 'args=calloc(sizeof(char*),n_args)', assigned value is 0 libspectre-0.2.12/libspectre/spectre-device.c:342:2: note: Null pointer dereference libspectre-0.2.12/libspectre/spectre-device.c:343:2: warning: If memory allocation fails, then there is a possible null pointer dereference: args [nullPointerOutOfMemory] libspectre-0.2.12/libspectre/spectre-device.c:335:16: note: Assuming allocation function fails libspectre-0.2.12/libspectre/spectre-device.c:335:16: note: Assignment 'args=calloc(sizeof(char*),n_args)', assigned value is 0 libspectre-0.2.12/libspectre/spectre-device.c:343:2: note: Null pointer dereference libspectre-0.2.12/libspectre/spectre-device.c:345:2: warning: If memory allocation fails, then there is a possible null pointer dereference: args [nullPointerOutOfMemory] libspectre-0.2.12/libspectre/spectre-device.c:335:16: note: Assuming allocation function fails libspectre-0.2.12/libspectre/spectre-device.c:335:16: note: Assignment 'args=calloc(sizeof(char*),n_args)', assigned value is 0 libspectre-0.2.12/libspectre/spectre-device.c:345:2: note: Null pointer dereference libspectre-0.2.12/libspectre/spectre-device.c:347:2: warning: If memory allocation fails, then there is a possible null pointer dereference: args [nullPointerOutOfMemory] libspectre-0.2.12/libspectre/spectre-device.c:335:16: note: Assuming allocation function fails libspectre-0.2.12/libspectre/spectre-device.c:335:16: note: Assignment 'args=calloc(sizeof(char*),n_args)', assigned value is 0 libspectre-0.2.12/libspectre/spectre-device.c:347:2: note: Null pointer dereference libspectre-0.2.12/libspectre/spectre-device.c:348:2: warning: If memory allocation fails, then there is a possible null pointer dereference: args [nullPointerOutOfMemory] libspectre-0.2.12/libspectre/spectre-device.c:335:16: note: Assuming allocation function fails libspectre-0.2.12/libspectre/spectre-device.c:335:16: note: Assignment 'args=calloc(sizeof(char*),n_args)', assigned value is 0 libspectre-0.2.12/libspectre/spectre-device.c:348:2: note: Null pointer dereference libspectre-0.2.12/libspectre/spectre-device.c:351:2: warning: If memory allocation fails, then there is a possible null pointer dereference: args [nullPointerOutOfMemory] libspectre-0.2.12/libspectre/spectre-device.c:335:16: note: Assuming allocation function fails libspectre-0.2.12/libspectre/spectre-device.c:335:16: note: Assignment 'args=calloc(sizeof(char*),n_args)', assigned value is 0 libspectre-0.2.12/libspectre/spectre-device.c:351:2: note: Null pointer dereference libspectre-0.2.12/libspectre/spectre-device.c:232:52: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory] libspectre-0.2.12/libspectre/spectre-device.c:229:45: note: Assuming allocation function fails libspectre-0.2.12/libspectre/spectre-device.c:229:45: note: Assignment 'user_image=malloc(width*stride)', assigned value is 0 libspectre-0.2.12/libspectre/spectre-device.c:232:52: note: Null pointer addition libspectre-0.2.12/libspectre/spectre-device.c:44:21: style: Parameter 'handle' can be declared as pointer to const. However it seems that 'spectre_open' is a callback function, if 'handle' is declared with const you might also need to cast function pointer(s). [constParameterCallback] libspectre-0.2.12/libspectre/spectre-device.c:142:2: note: You might need to cast the function pointer here libspectre-0.2.12/libspectre/spectre-device.c:44:21: note: Parameter 'handle' can be declared as pointer to const libspectre-0.2.12/libspectre/spectre-device.c:44:35: style: Parameter 'device' can be declared as pointer to const. However it seems that 'spectre_open' is a callback function, if 'device' is declared with const you might also need to cast function pointer(s). [constParameterCallback] libspectre-0.2.12/libspectre/spectre-device.c:142:2: note: You might need to cast the function pointer here libspectre-0.2.12/libspectre/spectre-device.c:44:35: note: Parameter 'device' can be declared as pointer to const libspectre-0.2.12/libspectre/spectre-device.c:50:25: style: Parameter 'handle' can be declared as pointer to const. However it seems that 'spectre_preclose' is a callback function, if 'handle' is declared with const you might also need to cast function pointer(s). [constParameterCallback] libspectre-0.2.12/libspectre/spectre-device.c:143:2: note: You might need to cast the function pointer here libspectre-0.2.12/libspectre/spectre-device.c:50:25: note: Parameter 'handle' can be declared as pointer to const libspectre-0.2.12/libspectre/spectre-device.c:50:39: style: Parameter 'device' can be declared as pointer to const. However it seems that 'spectre_preclose' is a callback function, if 'device' is declared with const you might also need to cast function pointer(s). [constParameterCallback] libspectre-0.2.12/libspectre/spectre-device.c:143:2: note: You might need to cast the function pointer here libspectre-0.2.12/libspectre/spectre-device.c:50:39: note: Parameter 'device' can be declared as pointer to const libspectre-0.2.12/libspectre/spectre-device.c:56:22: style: Parameter 'handle' can be declared as pointer to const. However it seems that 'spectre_close' is a callback function, if 'handle' is declared with const you might also need to cast function pointer(s). [constParameterCallback] libspectre-0.2.12/libspectre/spectre-device.c:144:2: note: You might need to cast the function pointer here libspectre-0.2.12/libspectre/spectre-device.c:56:22: note: Parameter 'handle' can be declared as pointer to const libspectre-0.2.12/libspectre/spectre-device.c:56:36: style: Parameter 'device' can be declared as pointer to const. However it seems that 'spectre_close' is a callback function, if 'device' is declared with const you might also need to cast function pointer(s). [constParameterCallback] libspectre-0.2.12/libspectre/spectre-device.c:144:2: note: You might need to cast the function pointer here libspectre-0.2.12/libspectre/spectre-device.c:56:36: note: Parameter 'device' can be declared as pointer to const libspectre-0.2.12/libspectre/spectre-device.c:97:21: style: Parameter 'handle' can be declared as pointer to const. However it seems that 'spectre_sync' is a callback function, if 'handle' is declared with const you might also need to cast function pointer(s). [constParameterCallback] libspectre-0.2.12/libspectre/spectre-device.c:147:2: note: You might need to cast the function pointer here libspectre-0.2.12/libspectre/spectre-device.c:97:21: note: Parameter 'handle' can be declared as pointer to const libspectre-0.2.12/libspectre/spectre-device.c:97:35: style: Parameter 'device' can be declared as pointer to const. However it seems that 'spectre_sync' is a callback function, if 'device' is declared with const you might also need to cast function pointer(s). [constParameterCallback] libspectre-0.2.12/libspectre/spectre-device.c:147:2: note: You might need to cast the function pointer here libspectre-0.2.12/libspectre/spectre-device.c:97:35: note: Parameter 'device' can be declared as pointer to const libspectre-0.2.12/libspectre/spectre-device.c:186:28: style: Parameter 'src' can be declared as pointer to const [constParameterPointer] libspectre-0.2.12/libspectre/spectre-document.c:107:23: style: The statement 'if (document->status!=SPECTRE_STATUS_SUCCESS) document->status=SPECTRE_STATUS_SUCCESS' is logically equivalent to 'document->status=SPECTRE_STATUS_SUCCESS'. [duplicateConditionalAssign] libspectre-0.2.12/libspectre/spectre-document.c:108:20: note: Assignment 'document->status=SPECTRE_STATUS_SUCCESS' libspectre-0.2.12/libspectre/spectre-document.c:107:23: note: Condition 'document->status!=SPECTRE_STATUS_SUCCESS' is redundant libspectre-0.2.12/libspectre/spectre-document.c:319:23: style: The statement 'if (document->status!=SPECTRE_STATUS_SUCCESS) document->status=SPECTRE_STATUS_SUCCESS' is logically equivalent to 'document->status=SPECTRE_STATUS_SUCCESS'. [duplicateConditionalAssign] libspectre-0.2.12/libspectre/spectre-document.c:320:20: note: Assignment 'document->status=SPECTRE_STATUS_SUCCESS' libspectre-0.2.12/libspectre/spectre-document.c:319:23: note: Condition 'document->status!=SPECTRE_STATUS_SUCCESS' is redundant libspectre-0.2.12/libspectre/spectre-document.c:151:43: style: Parameter 'document' can be declared as pointer to const [constParameterPointer] libspectre-0.2.12/libspectre/spectre-document.c:528:45: style: Parameter 'document' can be declared as pointer to const [constParameterPointer] libspectre-0.2.12/libspectre/spectre-exporter-pdf.c:35:19: style: Variable 'doc' can be declared as pointer to const [constVariablePointer] libspectre-0.2.12/libspectre/spectre-exporter-pdf.c:97:19: style: Variable 'doc' can be declared as pointer to const [constVariablePointer] libspectre-0.2.12/libspectre/spectre-exporter-pdf.c:120:19: style: Variable 'doc' can be declared as pointer to const [constVariablePointer] libspectre-0.2.12/libspectre/spectre-exporter.h:28:0: debug: Failed to parse 'typedef SPECTRE_BEGIN_DECLS enum { SPECTRE_EXPORTER_FORMAT_PS , SPECTRE_EXPORTER_FORMAT_PDF } SpectreExporterFormat ;'. The checking continues anyway. [simplifyTypedef] libspectre-0.2.12/libspectre/spectre-exporter.h:51:0: debug: Failed to parse 'typedef SPECTRE_END_DECLS enum _SpectreStatus { SPECTRE_STATUS_SUCCESS = 0 , SPECTRE_STATUS_NO_MEMORY , SPECTRE_STATUS_LOAD_ERROR , SPECTRE_STATUS_DOCUMENT_NOT_LOADED , SPECTRE_STATUS_INVALID_PAGE , SPECTRE_STATUS_RENDER_ERROR , SPECTRE_STATUS_EXPORTER_ERROR , SPECTRE_STATUS_SAVE_ERROR } SpectreStatus ;'. The checking continues anyway. [simplifyTypedef] libspectre-0.2.12/libspectre/spectre-exporter-ps.c:49:30: style: Checking if unsigned expression 'exporter->doc->numpages' is less than zero. [unsignedLessThanZero] libspectre-0.2.12/libspectre/spectre-exporter.c:33:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-exporter.c:80:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-exporter.c:93:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-exporter.c:101:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/ps.h:242:0: debug: Failed to parse 'typedef SPECTRE_END_DECLS SPECTRE_BEGIN_DECLS enum { CLEANUP_DELETE_INSTANCE = 1 << 0 , CLEANUP_EXIT = 1 << 1 } SpectreGSCleanupFlag ;'. The checking continues anyway. [simplifyTypedef] libspectre-0.2.12/libspectre/spectre-page.h:28:0: debug: Failed to parse 'typedef SPECTRE_BEGIN_DECLS enum { SPECTRE_ORIENTATION_PORTRAIT , SPECTRE_ORIENTATION_REVERSE_LANDSCAPE , SPECTRE_ORIENTATION_REVERSE_PORTRAIT , SPECTRE_ORIENTATION_LANDSCAPE } SpectreOrientation ;'. The checking continues anyway. [simplifyTypedef] libspectre-0.2.12/libspectre/spectre-page.h:123:0: debug: Failed to parse 'typedef SPECTRE_END_DECLS SPECTRE_BEGIN_DECLS struct tagDOSEPS { unsigned char id [ 4 ] ; unsigned long ps_begin ; unsigned long ps_length ; unsigned long mf_begin ; unsigned long mf_length ; unsigned long tiff_begin ; unsigned long tiff_length ; unsigned short checksum ; } DOSEPS ;'. The checking continues anyway. [simplifyTypedef] libspectre-0.2.12/libspectre/spectre-device.h:47:0: debug: Failed to parse 'typedef SPECTRE_END_DECLS enum _SpectreStatus { SPECTRE_STATUS_SUCCESS = 0 , SPECTRE_STATUS_NO_MEMORY , SPECTRE_STATUS_LOAD_ERROR , SPECTRE_STATUS_DOCUMENT_NOT_LOADED , SPECTRE_STATUS_INVALID_PAGE , SPECTRE_STATUS_RENDER_ERROR , SPECTRE_STATUS_EXPORTER_ERROR , SPECTRE_STATUS_SAVE_ERROR } SpectreStatus ;'. The checking continues anyway. [simplifyTypedef] libspectre-0.2.12/libspectre/spectre-page.c:76:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-page.c:84:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-page.c:92:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-page.c:102:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-page.c:131:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-page.c:158:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-page.c:183:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-gs.c:41:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FALSE [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-gs.c:94:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FALSE [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-gs.c:165:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TRUE [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-gs.c:245:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FALSE [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-gs.c:297:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CLEANUP_EXIT [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-gs.c:313:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CLEANUP_DELETE_INSTANCE [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-page.c:74:35: style: Parameter 'page' can be declared as pointer to const [constParameterPointer] libspectre-0.2.12/libspectre/spectre-page.c:82:38: style: Parameter 'page' can be declared as pointer to const [constParameterPointer] libspectre-0.2.12/libspectre/spectre-render-context.h:155:0: debug: Failed to parse 'typedef SPECTRE_END_DECLS SPECTRE_BEGIN_DECLS enum { SPECTRE_ORIENTATION_PORTRAIT , SPECTRE_ORIENTATION_REVERSE_LANDSCAPE , SPECTRE_ORIENTATION_REVERSE_PORTRAIT , SPECTRE_ORIENTATION_LANDSCAPE } SpectreOrientation ;'. The checking continues anyway. [simplifyTypedef] libspectre-0.2.12/libspectre/spectre-page.h:123:0: debug: Failed to parse 'typedef SPECTRE_END_DECLS enum _SpectreStatus { SPECTRE_STATUS_SUCCESS = 0 , SPECTRE_STATUS_NO_MEMORY , SPECTRE_STATUS_LOAD_ERROR , SPECTRE_STATUS_DOCUMENT_NOT_LOADED , SPECTRE_STATUS_INVALID_PAGE , SPECTRE_STATUS_RENDER_ERROR , SPECTRE_STATUS_EXPORTER_ERROR , SPECTRE_STATUS_SAVE_ERROR } SpectreStatus ;'. The checking continues anyway. [simplifyTypedef] libspectre-0.2.12/libspectre/spectre-render-context.c:65:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-render-context.c:76:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-render-context.c:88:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-render-context.c:105:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-render-context.c:127:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-render-context.c:138:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-render-context.c:151:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-render-context.c:162:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-render-context.c:174:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-render-context.c:182:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-render-context.c:192:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-render-context.c:203:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-render-context.c:94:20: style: Condition 'rotation>=90' is always true [knownConditionTrueFalse] libspectre-0.2.12/libspectre/spectre-render-context.c:92:15: note: Assuming that condition 'rotation<90' is not redundant libspectre-0.2.12/libspectre/spectre-render-context.c:94:20: note: Condition 'rotation>=90' is always true libspectre-0.2.12/libspectre/spectre-render-context.c:72:57: style: Parameter 'rc' can be declared as pointer to const [constParameterPointer] libspectre-0.2.12/libspectre/spectre-render-context.c:103:60: style: Parameter 'rc' can be declared as pointer to const [constParameterPointer] libspectre-0.2.12/libspectre/spectre-render-context.c:134:62: style: Parameter 'rc' can be declared as pointer to const [constParameterPointer] libspectre-0.2.12/libspectre/spectre-render-context.c:158:61: style: Parameter 'rc' can be declared as pointer to const [constParameterPointer] libspectre-0.2.12/libspectre/spectre-render-context.c:180:70: style: Parameter 'rc' can be declared as pointer to const [constParameterPointer] libspectre-0.2.12/libspectre/spectre-render-context.c:199:66: style: Parameter 'rc' can be declared as pointer to const [constParameterPointer] libspectre-0.2.12/libspectre/spectre-status.h:26:0: debug: Failed to parse 'typedef SPECTRE_BEGIN_DECLS enum _SpectreStatus { SPECTRE_STATUS_SUCCESS = 0 , SPECTRE_STATUS_NO_MEMORY , SPECTRE_STATUS_LOAD_ERROR , SPECTRE_STATUS_DOCUMENT_NOT_LOADED , SPECTRE_STATUS_INVALID_PAGE , SPECTRE_STATUS_RENDER_ERROR , SPECTRE_STATUS_EXPORTER_ERROR , SPECTRE_STATUS_SAVE_ERROR } SpectreStatus ;'. The checking continues anyway. [simplifyTypedef] libspectre-0.2.12/libspectre/spectre-gs.c:71:26: style: Parameter 'handler' can be declared as pointer to const. However it seems that 'spectre_gs_stdout' is a callback function, if 'handler' is declared with const you might also need to cast function pointer(s). [constParameterCallback] libspectre-0.2.12/libspectre/spectre-gs.c:163:6: note: You might need to cast the function pointer here libspectre-0.2.12/libspectre/spectre-gs.c:71:26: note: Parameter 'handler' can be declared as pointer to const libspectre-0.2.12/test/fuzz_main.c:17:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/ps.c:431:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/ps.c:1284:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/ps.c:1299:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/ps.c:1635:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-utils.c:63:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TRUE [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-utils.c:99:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-utils.c:124:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] libspectre-0.2.12/libspectre/spectre-utils.c:342:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] libspectre-0.2.12/test/spectre-test.c:97:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CAIRO_FORMAT_RGB24 [valueFlowBailoutIncompleteVar] libspectre-0.2.12/test/spectre-test.c:148:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CAIRO_FORMAT_RGB24 [valueFlowBailoutIncompleteVar] libspectre-0.2.12/test/spectre-test.c:190:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CAIRO_FORMAT_RGB24 [valueFlowBailoutIncompleteVar] libspectre-0.2.12/test/spectre-test.c:227:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CAIRO_FORMAT_RGB24 [valueFlowBailoutIncompleteVar] libspectre-0.2.12/test/spectre-test.c:269:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CAIRO_FORMAT_RGB24 [valueFlowBailoutIncompleteVar] libspectre-0.2.12/test/spectre-test.c:295:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SPECTRE_EXPORTER_FORMAT_PS [valueFlowBailoutIncompleteVar] libspectre-0.2.12/test/spectre-test.c:367:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SPECTRE_VERSION_STRING [valueFlowBailoutIncompleteVar] libspectre-0.2.12/test/spectre-test.c:401:4: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] libspectre-0.2.12/test/spectre-test.c:407:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] libspectre-0.2.12/test/spectre-test.c:415:4: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] libspectre-0.2.12/test/spectre-test.c:425:4: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] libspectre-0.2.12/test/spectre_read_fuzzer.c:34:9: error: Used file that is not opened. [useClosedFile] libspectre-0.2.12/test/spectre_read_fuzzer.c:34:16: error: Uninitialized variable: f [uninitvar] libspectre-0.2.12/test/spectre_read_fuzzer.c:38:49: error: Uninitialized variable: f [legacyUninitvar] libspectre-0.2.12/libspectre/spectre-utils.c:334:11: warning: If memory allocation fails, then there is a possible null pointer dereference: c [nullPointerOutOfMemory] libspectre-0.2.12/libspectre/spectre-utils.c:331:26: note: Assuming allocation function fails libspectre-0.2.12/libspectre/spectre-utils.c:331:10: note: Assignment 'copy=(char*)malloc(end-nptr+1+decimal_point_len)', assigned value is 0 libspectre-0.2.12/libspectre/spectre-utils.c:333:5: note: c is assigned 'copy' here. libspectre-0.2.12/libspectre/spectre-utils.c:334:11: note: Null pointer dereference libspectre-0.2.12/libspectre/spectre-utils.c:343:17: warning: If memory allocation fails, then there is a possible null pointer dereference: copy [nullPointerOutOfMemory] libspectre-0.2.12/libspectre/spectre-utils.c:331:26: note: Assuming allocation function fails libspectre-0.2.12/libspectre/spectre-utils.c:331:10: note: Assignment 'copy=(char*)malloc(end-nptr+1+decimal_point_len)', assigned value is 0 libspectre-0.2.12/libspectre/spectre-utils.c:343:17: note: Null pointer dereference libspectre-0.2.12/libspectre/spectre-utils.c:358:11: warning: If memory allocation fails, then there is a possible null pointer dereference: copy [nullPointerOutOfMemory] libspectre-0.2.12/libspectre/spectre-utils.c:357:26: note: Assuming allocation function fails libspectre-0.2.12/libspectre/spectre-utils.c:357:10: note: Assignment 'copy=(char*)malloc(end-(char*)nptr+1)', assigned value is 0 libspectre-0.2.12/libspectre/spectre-utils.c:358:11: note: Null pointer dereference libspectre-0.2.12/libspectre/spectre-utils.c:362:17: warning: If memory allocation fails, then there is a possible null pointer dereference: copy [nullPointerOutOfMemory] libspectre-0.2.12/libspectre/spectre-utils.c:357:26: note: Assuming allocation function fails libspectre-0.2.12/libspectre/spectre-utils.c:357:10: note: Assignment 'copy=(char*)malloc(end-(char*)nptr+1)', assigned value is 0 libspectre-0.2.12/libspectre/spectre-utils.c:362:17: note: Null pointer dereference libspectre-0.2.12/libspectre/spectre-utils.c:359:10: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory] libspectre-0.2.12/libspectre/spectre-utils.c:357:26: note: Assuming allocation function fails libspectre-0.2.12/libspectre/spectre-utils.c:357:10: note: Assignment 'copy=(char*)malloc(end-(char*)nptr+1)', assigned value is 0 libspectre-0.2.12/libspectre/spectre-utils.c:359:10: note: Null pointer addition libspectre-0.2.12/libspectre/spectre-utils.c:279:16: style: Variable 'locale_data' can be declared as pointer to const [constVariablePointer] libspectre-0.2.12/libspectre/spectre-utils.c:168:2: error: va_list 'args_copy' used before va_start() was called. [va_list_usedBeforeStarted] libspectre-0.2.12/libspectre/spectre-utils.c:177:35: error: va_list 'args_copy' used before va_start() was called. [va_list_usedBeforeStarted] libspectre-0.2.12/libspectre/spectre-utils.c:184:2: error: va_list 'args_copy' used before va_start() was called. [va_list_usedBeforeStarted] libspectre-0.2.12/libspectre/ps.c:2054:5: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] libspectre-0.2.12/libspectre/ps.c:2075:2: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] libspectre-0.2.12/libspectre/ps.c:2140:17: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] libspectre-0.2.12/libspectre/ps.c:2175:13: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] libspectre-0.2.12/libspectre/ps.c:116:11: warning: If memory allocation fails, then there is a possible null pointer dereference: tmp [nullPointerOutOfMemory] libspectre-0.2.12/libspectre/ps.c:115:18: note: Assuming allocation function fails libspectre-0.2.12/libspectre/ps.c:115:9: note: Assignment 'tmp=(char*)malloc((unsigned long)(n*sizeof(char)))', assigned value is 0 libspectre-0.2.12/libspectre/ps.c:116:11: note: Null pointer dereference libspectre-0.2.12/libspectre/ps.c:117:3: warning: If memory allocation fails, then there is a possible null pointer dereference: tmp [nullPointerOutOfMemory] libspectre-0.2.12/libspectre/ps.c:115:18: note: Assuming allocation function fails libspectre-0.2.12/libspectre/ps.c:115:9: note: Assignment 'tmp=(char*)malloc((unsigned long)(n*sizeof(char)))', assigned value is 0 libspectre-0.2.12/libspectre/ps.c:117:3: note: Null pointer dereference libspectre-0.2.12/libspectre/ps.c:1329:10: warning: If memory allocation fails, then there is a possible null pointer dereference: cp [nullPointerOutOfMemory] libspectre-0.2.12/libspectre/ps.c:1327:16: note: Assuming allocation function fails libspectre-0.2.12/libspectre/ps.c:1327:7: note: Assignment 'cp=(char*)malloc((unsigned long)(strlen(line)))', assigned value is 0 libspectre-0.2.12/libspectre/ps.c:1329:10: note: Null pointer dereference libspectre-0.2.12/libspectre/ps.c:1330:2: warning: If memory allocation fails, then there is a possible null pointer dereference: cp [nullPointerOutOfMemory] libspectre-0.2.12/libspectre/ps.c:1327:16: note: Assuming allocation function fails libspectre-0.2.12/libspectre/ps.c:1327:7: note: Assignment 'cp=(char*)malloc((unsigned long)(strlen(line)))', assigned value is 0 libspectre-0.2.12/libspectre/ps.c:1330:2: note: Null pointer dereference libspectre-0.2.12/libspectre/ps.c:1432:12: warning: If memory allocation fails, then there is a possible null pointer dereference: cp [nullPointerOutOfMemory] libspectre-0.2.12/libspectre/ps.c:1430:19: note: Assuming allocation function fails libspectre-0.2.12/libspectre/ps.c:1430:10: note: Assignment 'cp=(char*)malloc((unsigned long)(strlen(text)+1))', assigned value is 0 libspectre-0.2.12/libspectre/ps.c:1432:12: note: Null pointer dereference libspectre-0.2.12/libspectre/ps.c:1471:11: warning: If resource allocation fails, then there is a possible null pointer dereference: file [nullPointerOutOfResources] libspectre-0.2.12/libspectre/ps.c:2117:21: note: Assuming allocation function fails libspectre-0.2.12/libspectre/ps.c:2117:21: note: Assignment 'src_file=fopen(src_filename,"rb")', assigned value is 0 libspectre-0.2.12/libspectre/ps.c:2118:21: note: Calling function 'ps_io_init', 1st argument 'src_file' value is 0 libspectre-0.2.12/libspectre/ps.c:1471:11: note: Null pointer dereference libspectre-0.2.12/libspectre/ps.c:1472:4: warning: If memory allocation fails, then there is a possible null pointer dereference: fd [nullPointerOutOfMemory] libspectre-0.2.12/libspectre/ps.c:1468:20: note: Assuming allocation function fails libspectre-0.2.12/libspectre/ps.c:1468:9: note: Assignment 'fd=(struct FileDataStruct_FileData)malloc((unsigned long)(size))', assigned value is 0 libspectre-0.2.12/libspectre/ps.c:1472:4: note: Null pointer dereference libspectre-0.2.12/libspectre/ps.c:1473:4: warning: If memory allocation fails, then there is a possible null pointer dereference: fd [nullPointerOutOfMemory] libspectre-0.2.12/libspectre/ps.c:1468:20: note: Assuming allocation function fails libspectre-0.2.12/libspectre/ps.c:1468:9: note: Assignment 'fd=(struct FileDataStruct_FileData)malloc((unsigned long)(size))', assigned value is 0 libspectre-0.2.12/libspectre/ps.c:1473:4: note: Null pointer dereference libspectre-0.2.12/libspectre/ps.c:1473:25: warning: If resource allocation fails, then there is a possible null pointer dereference: file [nullPointerOutOfResources] libspectre-0.2.12/libspectre/ps.c:2117:21: note: Assuming allocation function fails libspectre-0.2.12/libspectre/ps.c:2117:21: note: Assignment 'src_file=fopen(src_filename,"rb")', assigned value is 0 libspectre-0.2.12/libspectre/ps.c:2118:21: note: Calling function 'ps_io_init', 1st argument 'src_file' value is 0 libspectre-0.2.12/libspectre/ps.c:1473:25: note: Null pointer dereference libspectre-0.2.12/libspectre/ps.c:1474:4: warning: If memory allocation fails, then there is a possible null pointer dereference: fd [nullPointerOutOfMemory] libspectre-0.2.12/libspectre/ps.c:1468:20: note: Assuming allocation function fails libspectre-0.2.12/libspectre/ps.c:1468:9: note: Assignment 'fd=(struct FileDataStruct_FileData)malloc((unsigned long)(size))', assigned value is 0 libspectre-0.2.12/libspectre/ps.c:1474:4: note: Null pointer dereference libspectre-0.2.12/libspectre/ps.c:1475:4: warning: If memory allocation fails, then there is a possible null pointer dereference: fd [nullPointerOutOfMemory] libspectre-0.2.12/libspectre/ps.c:1468:20: note: Assuming allocation function fails libspectre-0.2.12/libspectre/ps.c:1468:9: note: Assignment 'fd=(struct FileDataStruct_FileData)malloc((unsigned long)(size))', assigned value is 0 libspectre-0.2.12/libspectre/ps.c:1475:4: note: Null pointer dereference libspectre-0.2.12/libspectre/ps.c:1475:19: warning: If memory allocation fails, then there is a possible null pointer dereference: fd [nullPointerOutOfMemory] libspectre-0.2.12/libspectre/ps.c:1468:20: note: Assuming allocation function fails libspectre-0.2.12/libspectre/ps.c:1468:9: note: Assignment 'fd=(struct FileDataStruct_FileData)malloc((unsigned long)(size))', assigned value is 0 libspectre-0.2.12/libspectre/ps.c:1475:19: note: Null pointer dereference libspectre-0.2.12/libspectre/ps.c:1476:4: warning: If memory allocation fails, then there is a possible null pointer dereference: fd [nullPointerOutOfMemory] libspectre-0.2.12/libspectre/ps.c:1468:20: note: Assuming allocation function fails libspectre-0.2.12/libspectre/ps.c:1468:9: note: Assignment 'fd=(struct FileDataStruct_FileData)malloc((unsigned long)(size))', assigned value is 0 libspectre-0.2.12/libspectre/ps.c:1476:4: note: Null pointer dereference libspectre-0.2.12/libspectre/ps.c:1934:17: warning: If memory allocation fails, then there is a possible null pointer dereference: cp [nullPointerOutOfMemory] libspectre-0.2.12/libspectre/ps.c:1931:30: note: Assuming allocation function fails libspectre-0.2.12/libspectre/ps.c:1931:21: note: Assignment 'cp=(char*)malloc((unsigned long)(strlen(line)+1))', assigned value is 0 libspectre-0.2.12/libspectre/ps.c:1934:17: note: Null pointer dereference libspectre-0.2.12/libspectre/ps.c:2312:21: style: The comparison 'new_pagesize == -1' is always true. [knownConditionTrueFalse] libspectre-0.2.12/libspectre/ps.c:2310:24: note: 'new_pagesize' is assigned value '-1' here. libspectre-0.2.12/libspectre/ps.c:2312:21: note: The comparison 'new_pagesize == -1' is always true. libspectre-0.2.12/libspectre/ps.c:108:30: style: Parameter 's1' can be declared as pointer to const [constParameterPointer] libspectre-0.2.12/libspectre/ps.c:108:40: style: Parameter 's2' can be declared as pointer to const [constParameterPointer] libspectre-0.2.12/libspectre/ps.c:1571:20: style: Variable 'tmp' can be declared as pointer to const [constVariablePointer] libspectre-0.2.12/libspectre/ps.c:1874:10: style: Variable 'line' can be declared as pointer to const [constVariablePointer] libspectre-0.2.12/libspectre/ps.c:1912:10: style: Parameter 'comment' can be declared as pointer to const [constParameterPointer] libspectre-0.2.12/libspectre/ps.c:1993:10: style: Variable 'cp' can be declared as pointer to const [constVariablePointer] libspectre-0.2.12/libspectre/ps.c:2099:11: style: Parameter 'src_filename' can be declared as pointer to const [constParameterPointer] libspectre-0.2.12/libspectre/ps.c:2101:11: style: Parameter 'pagelist' can be declared as pointer to const [constParameterPointer] libspectre-0.2.12/libspectre/ps.c:1429:27: error: Uninitialized variable: text [uninitvar] libspectre-0.2.12/libspectre/ps.c:1723:21: style: Variable 'nesting_level' is assigned a value that is never used. [unreadVariable] diff: head libspectre-0.2.12/libspectre/ps.c:1475:19: warning: If memory allocation fails, then there is a possible null pointer dereference: fd [nullPointerOutOfMemory] libspectre-0.2.12/libspectre/ps.c:1468:20: note: Assuming allocation function fails libspectre-0.2.12/libspectre/ps.c:1468:9: note: Assignment 'fd=(struct FileDataStruct_FileData)malloc((unsigned long)(size))', assigned value is 0 libspectre-0.2.12/libspectre/ps.c:1475:19: note: Null pointer dereference 2.17.0 libspectre-0.2.12/libspectre/spectre-device.c:232:52: error: If memory allocation fail: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory] libspectre-0.2.12/libspectre/spectre-device.c:229:45: note: Assuming allocation function fails libspectre-0.2.12/libspectre/spectre-device.c:229:45: note: Assignment 'user_image=malloc(width*stride)', assigned value is 0 libspectre-0.2.12/libspectre/spectre-device.c:232:52: note: Null pointer addition head libspectre-0.2.12/libspectre/spectre-device.c:232:52: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory] libspectre-0.2.12/libspectre/spectre-device.c:229:45: note: Assuming allocation function fails libspectre-0.2.12/libspectre/spectre-device.c:229:45: note: Assignment 'user_image=malloc(width*stride)', assigned value is 0 libspectre-0.2.12/libspectre/spectre-device.c:232:52: note: Null pointer addition 2.17.0 libspectre-0.2.12/libspectre/spectre-utils.c:359:10: error: If memory allocation fail: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory] libspectre-0.2.12/libspectre/spectre-utils.c:357:26: note: Assuming allocation function fails libspectre-0.2.12/libspectre/spectre-utils.c:357:10: note: Assignment 'copy=(char*)malloc(end-(char*)nptr+1)', assigned value is 0 libspectre-0.2.12/libspectre/spectre-utils.c:359:10: note: Null pointer addition head libspectre-0.2.12/libspectre/spectre-utils.c:359:10: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory] libspectre-0.2.12/libspectre/spectre-utils.c:357:26: note: Assuming allocation function fails libspectre-0.2.12/libspectre/spectre-utils.c:357:10: note: Assignment 'copy=(char*)malloc(end-(char*)nptr+1)', assigned value is 0 libspectre-0.2.12/libspectre/spectre-utils.c:359:10: note: Null pointer addition DONE