2025-11-06 16:08
ftp://ftp.de.debian.org/debian/pool/main/libw/libwfa2/libwfa2_2.3.3.orig.tar.gz
cppcheck-options: --library=posix --library=gnu --library=bsd --library=openmp --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 -j4
platform: Linux-6.12.48+deb13-amd64-x86_64-with-glibc2.41
python: 3.13.5
client-version: 1.3.67
compiler: g++ (Debian 14.2.0-19) 14.2.0
cppcheck: head 2.18.0
head-info: 2c5b872 (2025-11-06 13:42:16 +0200)
count: 450 450
elapsed-time: 1.0 1.0
head-timing-info:

old-timing-info:

head results:
WFA2-lib-2.3.3/examples/wfa_adapt.c:40:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable wavefront_aligner_attr_default [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/examples/wfa_adapt.c:58:18: style: Variable 'cigar' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/examples/wfa_basic.c:40:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable wavefront_aligner_attr_default [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/examples/wfa_bindings.cpp:45:68: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MemoryHigh [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/examples/wfa_lambda.cpp:58:68: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MemoryHigh [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/alignment/cigar.c:113:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/alignment/cigar.c:179:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/alignment/cigar.c:202:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/alignment/cigar.c:341:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/alignment/cigar.c:497:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/examples/wfa_lambda.cpp:49:11: style: Parameter 'arguments' can be declared as pointer to const. However it seems that 'match_function' is a callback function, if 'arguments' is declared with const you might also need to cast function pointer(s). [constParameterCallback]
WFA2-lib-2.3.3/examples/wfa_lambda.cpp:59:25: note: You might need to cast the function pointer here
WFA2-lib-2.3.3/examples/wfa_lambda.cpp:49:11: note: Parameter 'arguments' can be declared as pointer to const
WFA2-lib-2.3.3/examples/wfa_repeated.c:40:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable wavefront_aligner_attr_default [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/bindings/cpp/WFAligner.cpp:225:16: style:inconclusive: Technically the member function 'wfa::WFAligner::getAlignmentScore' can be const. [functionConst]
WFA2-lib-2.3.3/bindings/cpp/WFAligner.hpp:143:7: note: Technically the member function 'wfa::WFAligner::getAlignmentScore' can be const.
WFA2-lib-2.3.3/bindings/cpp/WFAligner.cpp:225:16: note: Technically the member function 'wfa::WFAligner::getAlignmentScore' can be const.
WFA2-lib-2.3.3/bindings/cpp/WFAligner.cpp:228:16: style:inconclusive: Technically the member function 'wfa::WFAligner::getAlignmentStatus' can be const. [functionConst]
WFA2-lib-2.3.3/bindings/cpp/WFAligner.hpp:144:7: note: Technically the member function 'wfa::WFAligner::getAlignmentStatus' can be const.
WFA2-lib-2.3.3/bindings/cpp/WFAligner.cpp:228:16: note: Technically the member function 'wfa::WFAligner::getAlignmentStatus' can be const.
WFA2-lib-2.3.3/bindings/cpp/WFAligner.cpp:231:17: style:inconclusive: Technically the member function 'wfa::WFAligner::getAlignmentCigar' can be const. [functionConst]
WFA2-lib-2.3.3/bindings/cpp/WFAligner.hpp:145:8: note: Technically the member function 'wfa::WFAligner::getAlignmentCigar' can be const.
WFA2-lib-2.3.3/bindings/cpp/WFAligner.cpp:231:17: note: Technically the member function 'wfa::WFAligner::getAlignmentCigar' can be const.
WFA2-lib-2.3.3/bindings/cpp/WFAligner.cpp:248:18: performance:inconclusive: Technically the member function 'wfa::WFAligner::strError' can be static (but you may consider moving to unnamed namespace). [functionStatic]
WFA2-lib-2.3.3/bindings/cpp/WFAligner.hpp:150:9: note: Technically the member function 'wfa::WFAligner::strError' can be static (but you may consider moving to unnamed namespace).
WFA2-lib-2.3.3/bindings/cpp/WFAligner.cpp:248:18: note: Technically the member function 'wfa::WFAligner::strError' can be static (but you may consider moving to unnamed namespace).
WFA2-lib-2.3.3/bindings/cpp/WFAligner.hpp:158:3: style: Class 'WFAligner' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
WFA2-lib-2.3.3/bindings/cpp/WFAligner.hpp:170:3: style: Class 'WFAlignerIndel' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
WFA2-lib-2.3.3/bindings/cpp/WFAligner.hpp:179:3: style: Class 'WFAlignerEdit' has a constructor with 1 argument that is not explicit. [noExplicitConstructor]
WFA2-lib-2.3.3/bindings/cpp/WFAligner.cpp:86:18: style: Parameter 'pattern' can be declared as reference to const [constParameterReference]
WFA2-lib-2.3.3/bindings/cpp/WFAligner.cpp:87:18: style: Parameter 'text' can be declared as reference to const [constParameterReference]
WFA2-lib-2.3.3/bindings/cpp/WFAligner.cpp:125:18: style: Parameter 'pattern' can be declared as reference to const [constParameterReference]
WFA2-lib-2.3.3/bindings/cpp/WFAligner.cpp:128:18: style: Parameter 'text' can be declared as reference to const [constParameterReference]
WFA2-lib-2.3.3/system/mm_allocator.c:179:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable segment_ptr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/system/mm_allocator.c:194:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable segment_ptr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/system/mm_allocator.c:279:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/system/mm_allocator.c:357:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/system/mm_allocator.c:391:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/system/mm_allocator.c:500:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/system/mm_allocator.c:520:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/system/mm_allocator.c:554:56: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/system/mm_allocator.c:592:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/system/mm_stack.c:122:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable mem_ptr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/system/mm_stack.c:132:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable segment_ptr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/system/mm_stack.c:188:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/system/mm_stack.c:265:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/alignment/cigar.c:91:17: style: Parameter 'pattern' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/alignment/cigar.c:93:17: style: Parameter 'text' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/alignment/cigar.c:131:20: style: Parameter 'cigar' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/alignment/cigar.c:145:20: style: Parameter 'cigar' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/alignment/cigar.c:146:31: style: Parameter 'penalties' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/alignment/cigar.c:189:33: style: Parameter 'penalties' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/alignment/cigar.c:230:20: style: Parameter 'cigar_a' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/alignment/cigar.c:231:20: style: Parameter 'cigar_b' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/alignment/cigar.c:237:15: style: Variable 'operations_a' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/alignment/cigar.c:238:15: style: Variable 'operations_b' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/alignment/cigar.c:261:20: style: Parameter 'cigar_src' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/alignment/cigar.c:264:15: style: Variable 'operations_src' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/alignment/cigar.c:303:15: style: Variable 'operations' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/alignment/cigar.c:436:15: style: Variable 'operations' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/system/mm_stack.c:76:3: warning: If memory allocation fails, then there is a possible null pointer dereference: segment [nullPointerOutOfMemory]
WFA2-lib-2.3.3/system/mm_stack.c:74:67: note: Assuming allocation function fails
WFA2-lib-2.3.3/system/mm_stack.c:74:39: note: Assignment 'segment=(struct mm_stack_segment_t*)malloc(sizeof(struct mm_stack_segment_t))', assigned value is 0
WFA2-lib-2.3.3/system/mm_stack.c:76:3: note: Null pointer dereference
WFA2-lib-2.3.3/system/mm_stack.c:76:19: warning: If memory allocation fails, then there is a possible null pointer dereference: mm_stack [nullPointerOutOfMemory]
WFA2-lib-2.3.3/system/mm_stack.c:99:52: note: Assuming allocation function fails
WFA2-lib-2.3.3/system/mm_stack.c:99:32: note: Assignment 'mm_stack=(struct mm_stack_t*)malloc(sizeof(struct mm_stack_t))', assigned value is 0
WFA2-lib-2.3.3/system/mm_stack.c:104:24: note: Calling function 'mm_stack_segment_new', 1st argument 'mm_stack' value is 0
WFA2-lib-2.3.3/system/mm_stack.c:76:19: note: Null pointer dereference
WFA2-lib-2.3.3/system/mm_stack.c:77:3: warning: If memory allocation fails, then there is a possible null pointer dereference: segment [nullPointerOutOfMemory]
WFA2-lib-2.3.3/system/mm_stack.c:74:67: note: Assuming allocation function fails
WFA2-lib-2.3.3/system/mm_stack.c:74:39: note: Assignment 'segment=(struct mm_stack_segment_t*)malloc(sizeof(struct mm_stack_segment_t))', assigned value is 0
WFA2-lib-2.3.3/system/mm_stack.c:77:3: note: Null pointer dereference
WFA2-lib-2.3.3/system/mm_stack.c:77:28: warning: If memory allocation fails, then there is a possible null pointer dereference: mm_stack [nullPointerOutOfMemory]
WFA2-lib-2.3.3/system/mm_stack.c:99:52: note: Assuming allocation function fails
WFA2-lib-2.3.3/system/mm_stack.c:99:32: note: Assignment 'mm_stack=(struct mm_stack_t*)malloc(sizeof(struct mm_stack_t))', assigned value is 0
WFA2-lib-2.3.3/system/mm_stack.c:104:24: note: Calling function 'mm_stack_segment_new', 1st argument 'mm_stack' value is 0
WFA2-lib-2.3.3/system/mm_stack.c:77:28: note: Null pointer dereference
WFA2-lib-2.3.3/system/mm_stack.c:78:3: warning: If memory allocation fails, then there is a possible null pointer dereference: segment [nullPointerOutOfMemory]
WFA2-lib-2.3.3/system/mm_stack.c:74:67: note: Assuming allocation function fails
WFA2-lib-2.3.3/system/mm_stack.c:74:39: note: Assignment 'segment=(struct mm_stack_segment_t*)malloc(sizeof(struct mm_stack_segment_t))', assigned value is 0
WFA2-lib-2.3.3/system/mm_stack.c:78:3: note: Null pointer dereference
WFA2-lib-2.3.3/system/mm_stack.c:80:17: warning: If memory allocation fails, then there is a possible null pointer dereference: mm_stack [nullPointerOutOfMemory]
WFA2-lib-2.3.3/system/mm_stack.c:99:52: note: Assuming allocation function fails
WFA2-lib-2.3.3/system/mm_stack.c:99:32: note: Assignment 'mm_stack=(struct mm_stack_t*)malloc(sizeof(struct mm_stack_t))', assigned value is 0
WFA2-lib-2.3.3/system/mm_stack.c:104:24: note: Calling function 'mm_stack_segment_new', 1st argument 'mm_stack' value is 0
WFA2-lib-2.3.3/system/mm_stack.c:80:17: note: Null pointer dereference
WFA2-lib-2.3.3/system/mm_stack.c:101:3: warning: If memory allocation fails, then there is a possible null pointer dereference: mm_stack [nullPointerOutOfMemory]
WFA2-lib-2.3.3/system/mm_stack.c:99:52: note: Assuming allocation function fails
WFA2-lib-2.3.3/system/mm_stack.c:99:32: note: Assignment 'mm_stack=(struct mm_stack_t*)malloc(sizeof(struct mm_stack_t))', assigned value is 0
WFA2-lib-2.3.3/system/mm_stack.c:101:3: note: Null pointer dereference
WFA2-lib-2.3.3/system/mm_stack.c:102:3: warning: If memory allocation fails, then there is a possible null pointer dereference: mm_stack [nullPointerOutOfMemory]
WFA2-lib-2.3.3/system/mm_stack.c:99:52: note: Assuming allocation function fails
WFA2-lib-2.3.3/system/mm_stack.c:99:32: note: Assignment 'mm_stack=(struct mm_stack_t*)malloc(sizeof(struct mm_stack_t))', assigned value is 0
WFA2-lib-2.3.3/system/mm_stack.c:102:3: note: Null pointer dereference
WFA2-lib-2.3.3/system/mm_stack.c:106:3: warning: If memory allocation fails, then there is a possible null pointer dereference: mm_stack [nullPointerOutOfMemory]
WFA2-lib-2.3.3/system/mm_stack.c:99:52: note: Assuming allocation function fails
WFA2-lib-2.3.3/system/mm_stack.c:99:32: note: Assignment 'mm_stack=(struct mm_stack_t*)malloc(sizeof(struct mm_stack_t))', assigned value is 0
WFA2-lib-2.3.3/system/mm_stack.c:106:3: note: Null pointer dereference
WFA2-lib-2.3.3/system/mm_stack.c:108:3: warning: If memory allocation fails, then there is a possible null pointer dereference: mm_stack [nullPointerOutOfMemory]
WFA2-lib-2.3.3/system/mm_stack.c:99:52: note: Assuming allocation function fails
WFA2-lib-2.3.3/system/mm_stack.c:99:32: note: Assignment 'mm_stack=(struct mm_stack_t*)malloc(sizeof(struct mm_stack_t))', assigned value is 0
WFA2-lib-2.3.3/system/mm_stack.c:108:3: note: Null pointer dereference
WFA2-lib-2.3.3/system/mm_stack.c:110:3: warning: If memory allocation fails, then there is a possible null pointer dereference: mm_stack [nullPointerOutOfMemory]
WFA2-lib-2.3.3/system/mm_stack.c:99:52: note: Assuming allocation function fails
WFA2-lib-2.3.3/system/mm_stack.c:99:32: note: Assignment 'mm_stack=(struct mm_stack_t*)malloc(sizeof(struct mm_stack_t))', assigned value is 0
WFA2-lib-2.3.3/system/mm_stack.c:110:3: note: Null pointer dereference
WFA2-lib-2.3.3/system/mm_stack.c:209:26: warning: If memory allocation fails, then there is a possible null pointer dereference: memory_base [nullPointerOutOfMemory]
WFA2-lib-2.3.3/system/mm_stack.c:208:25: note: Assuming allocation function fails
WFA2-lib-2.3.3/system/mm_stack.c:208:25: note: Assignment 'memory_base=malloc(num_bytes_allocated)', assigned value is 0
WFA2-lib-2.3.3/system/mm_stack.c:209:26: note: Null pointer dereference
WFA2-lib-2.3.3/system/profiler_counter.c:106:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable METRIC_FACTOR_1G [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/system/mm_stack.c:229:29: style: Variable 'current_segment' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/system/profiler_counter.c:183:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable METRIC_FACTOR_1G [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/system/profiler_counter.c:225:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable METRIC_FACTOR_1G [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/system/mm_stack.c:203:35: portability: 'segment->memory' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
WFA2-lib-2.3.3/system/mm_stack.c:216:38: portability: 'memory_base' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
WFA2-lib-2.3.3/system/mm_stack.c:217:35: portability: 'memory_aligned' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
WFA2-lib-2.3.3/system/profiler_timer.c:55:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CLOCK_REALTIME [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/system/profiler_timer.c:125:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/system/profiler_timer.c:152:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:97:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable wavefront_aligner_attr_default [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:139:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable wavefront_aligner_attr_default [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:233:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BUFFER_SIZE_1M [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:319:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:326:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:419:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:431:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:482:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark_params.c:122:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark_params.c:201:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable required_argument [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/system/mm_allocator.c:116:48: warning: If memory allocation fails, then there is a possible null pointer dereference: mm_allocator [nullPointerOutOfMemory]
WFA2-lib-2.3.3/system/mm_allocator.c:155:64: note: Assuming allocation function fails
WFA2-lib-2.3.3/system/mm_allocator.c:155:40: note: Assignment 'mm_allocator=(struct mm_allocator_t*)malloc(sizeof(struct mm_allocator_t))', assigned value is 0
WFA2-lib-2.3.3/system/mm_allocator.c:164:28: note: Calling function 'mm_allocator_segment_new', 1st argument 'mm_allocator' value is 0
WFA2-lib-2.3.3/system/mm_allocator.c:116:48: note: Null pointer dereference
WFA2-lib-2.3.3/system/mm_allocator.c:117:3: warning: If memory allocation fails, then there is a possible null pointer dereference: segment [nullPointerOutOfMemory]
WFA2-lib-2.3.3/system/mm_allocator.c:114:75: note: Assuming allocation function fails
WFA2-lib-2.3.3/system/mm_allocator.c:114:43: note: Assignment 'segment=(struct mm_allocator_segment_t*)malloc(sizeof(struct mm_allocator_segment_t))', assigned value is 0
WFA2-lib-2.3.3/system/mm_allocator.c:117:3: note: Null pointer dereference
WFA2-lib-2.3.3/system/mm_allocator.c:119:3: warning: If memory allocation fails, then there is a possible null pointer dereference: segment [nullPointerOutOfMemory]
WFA2-lib-2.3.3/system/mm_allocator.c:114:75: note: Assuming allocation function fails
WFA2-lib-2.3.3/system/mm_allocator.c:114:43: note: Assignment 'segment=(struct mm_allocator_segment_t*)malloc(sizeof(struct mm_allocator_segment_t))', assigned value is 0
WFA2-lib-2.3.3/system/mm_allocator.c:119:3: note: Null pointer dereference
WFA2-lib-2.3.3/system/mm_allocator.c:119:19: warning: If memory allocation fails, then there is a possible null pointer dereference: mm_allocator [nullPointerOutOfMemory]
WFA2-lib-2.3.3/system/mm_allocator.c:155:64: note: Assuming allocation function fails
WFA2-lib-2.3.3/system/mm_allocator.c:155:40: note: Assignment 'mm_allocator=(struct mm_allocator_t*)malloc(sizeof(struct mm_allocator_t))', assigned value is 0
WFA2-lib-2.3.3/system/mm_allocator.c:164:28: note: Calling function 'mm_allocator_segment_new', 1st argument 'mm_allocator' value is 0
WFA2-lib-2.3.3/system/mm_allocator.c:119:19: note: Null pointer dereference
WFA2-lib-2.3.3/system/mm_allocator.c:120:3: warning: If memory allocation fails, then there is a possible null pointer dereference: segment [nullPointerOutOfMemory]
WFA2-lib-2.3.3/system/mm_allocator.c:114:75: note: Assuming allocation function fails
WFA2-lib-2.3.3/system/mm_allocator.c:114:43: note: Assignment 'segment=(struct mm_allocator_segment_t*)malloc(sizeof(struct mm_allocator_segment_t))', assigned value is 0
WFA2-lib-2.3.3/system/mm_allocator.c:120:3: note: Null pointer dereference
WFA2-lib-2.3.3/system/mm_allocator.c:120:28: warning: If memory allocation fails, then there is a possible null pointer dereference: mm_allocator [nullPointerOutOfMemory]
WFA2-lib-2.3.3/system/mm_allocator.c:155:64: note: Assuming allocation function fails
WFA2-lib-2.3.3/system/mm_allocator.c:155:40: note: Assignment 'mm_allocator=(struct mm_allocator_t*)malloc(sizeof(struct mm_allocator_t))', assigned value is 0
WFA2-lib-2.3.3/system/mm_allocator.c:164:28: note: Calling function 'mm_allocator_segment_new', 1st argument 'mm_allocator' value is 0
WFA2-lib-2.3.3/system/mm_allocator.c:120:28: note: Null pointer dereference
WFA2-lib-2.3.3/system/mm_allocator.c:121:3: warning: If memory allocation fails, then there is a possible null pointer dereference: segment [nullPointerOutOfMemory]
WFA2-lib-2.3.3/system/mm_allocator.c:114:75: note: Assuming allocation function fails
WFA2-lib-2.3.3/system/mm_allocator.c:114:43: note: Assignment 'segment=(struct mm_allocator_segment_t*)malloc(sizeof(struct mm_allocator_segment_t))', assigned value is 0
WFA2-lib-2.3.3/system/mm_allocator.c:121:3: note: Null pointer dereference
WFA2-lib-2.3.3/system/mm_allocator.c:123:3: warning: If memory allocation fails, then there is a possible null pointer dereference: segment [nullPointerOutOfMemory]
WFA2-lib-2.3.3/system/mm_allocator.c:114:75: note: Assuming allocation function fails
WFA2-lib-2.3.3/system/mm_allocator.c:114:43: note: Assignment 'segment=(struct mm_allocator_segment_t*)malloc(sizeof(struct mm_allocator_segment_t))', assigned value is 0
WFA2-lib-2.3.3/system/mm_allocator.c:123:3: note: Null pointer dereference
WFA2-lib-2.3.3/system/mm_allocator.c:125:17: warning: If memory allocation fails, then there is a possible null pointer dereference: mm_allocator [nullPointerOutOfMemory]
WFA2-lib-2.3.3/system/mm_allocator.c:155:64: note: Assuming allocation function fails
WFA2-lib-2.3.3/system/mm_allocator.c:155:40: note: Assignment 'mm_allocator=(struct mm_allocator_t*)malloc(sizeof(struct mm_allocator_t))', assigned value is 0
WFA2-lib-2.3.3/system/mm_allocator.c:164:28: note: Calling function 'mm_allocator_segment_new', 1st argument 'mm_allocator' value is 0
WFA2-lib-2.3.3/system/mm_allocator.c:125:17: note: Null pointer dereference
WFA2-lib-2.3.3/system/mm_allocator.c:156:3: warning: If memory allocation fails, then there is a possible null pointer dereference: mm_allocator [nullPointerOutOfMemory]
WFA2-lib-2.3.3/system/mm_allocator.c:155:64: note: Assuming allocation function fails
WFA2-lib-2.3.3/system/mm_allocator.c:155:40: note: Assignment 'mm_allocator=(struct mm_allocator_t*)malloc(sizeof(struct mm_allocator_t))', assigned value is 0
WFA2-lib-2.3.3/system/mm_allocator.c:156:3: note: Null pointer dereference
WFA2-lib-2.3.3/system/mm_allocator.c:158:3: warning: If memory allocation fails, then there is a possible null pointer dereference: mm_allocator [nullPointerOutOfMemory]
WFA2-lib-2.3.3/system/mm_allocator.c:155:64: note: Assuming allocation function fails
WFA2-lib-2.3.3/system/mm_allocator.c:155:40: note: Assignment 'mm_allocator=(struct mm_allocator_t*)malloc(sizeof(struct mm_allocator_t))', assigned value is 0
WFA2-lib-2.3.3/system/mm_allocator.c:158:3: note: Null pointer dereference
WFA2-lib-2.3.3/system/mm_allocator.c:159:3: warning: If memory allocation fails, then there is a possible null pointer dereference: mm_allocator [nullPointerOutOfMemory]
WFA2-lib-2.3.3/system/mm_allocator.c:155:64: note: Assuming allocation function fails
WFA2-lib-2.3.3/system/mm_allocator.c:155:40: note: Assignment 'mm_allocator=(struct mm_allocator_t*)malloc(sizeof(struct mm_allocator_t))', assigned value is 0
WFA2-lib-2.3.3/system/mm_allocator.c:159:3: note: Null pointer dereference
WFA2-lib-2.3.3/system/mm_allocator.c:160:3: warning: If memory allocation fails, then there is a possible null pointer dereference: mm_allocator [nullPointerOutOfMemory]
WFA2-lib-2.3.3/system/mm_allocator.c:155:64: note: Assuming allocation function fails
WFA2-lib-2.3.3/system/mm_allocator.c:155:40: note: Assignment 'mm_allocator=(struct mm_allocator_t*)malloc(sizeof(struct mm_allocator_t))', assigned value is 0
WFA2-lib-2.3.3/system/mm_allocator.c:160:3: note: Null pointer dereference
WFA2-lib-2.3.3/system/mm_allocator.c:167:3: warning: If memory allocation fails, then there is a possible null pointer dereference: mm_allocator [nullPointerOutOfMemory]
WFA2-lib-2.3.3/system/mm_allocator.c:155:64: note: Assuming allocation function fails
WFA2-lib-2.3.3/system/mm_allocator.c:155:40: note: Assignment 'mm_allocator=(struct mm_allocator_t*)malloc(sizeof(struct mm_allocator_t))', assigned value is 0
WFA2-lib-2.3.3/system/mm_allocator.c:167:3: note: Null pointer dereference
WFA2-lib-2.3.3/system/mm_allocator.c:169:3: warning: If memory allocation fails, then there is a possible null pointer dereference: mm_allocator [nullPointerOutOfMemory]
WFA2-lib-2.3.3/system/mm_allocator.c:155:64: note: Assuming allocation function fails
WFA2-lib-2.3.3/system/mm_allocator.c:155:40: note: Assignment 'mm_allocator=(struct mm_allocator_t*)malloc(sizeof(struct mm_allocator_t))', assigned value is 0
WFA2-lib-2.3.3/system/mm_allocator.c:169:3: note: Null pointer dereference
WFA2-lib-2.3.3/system/mm_allocator.c:170:3: warning: If memory allocation fails, then there is a possible null pointer dereference: mm_allocator [nullPointerOutOfMemory]
WFA2-lib-2.3.3/system/mm_allocator.c:155:64: note: Assuming allocation function fails
WFA2-lib-2.3.3/system/mm_allocator.c:155:40: note: Assignment 'mm_allocator=(struct mm_allocator_t*)malloc(sizeof(struct mm_allocator_t))', assigned value is 0
WFA2-lib-2.3.3/system/mm_allocator.c:170:3: note: Null pointer dereference
WFA2-lib-2.3.3/system/mm_allocator.c:320:26: warning: If memory allocation fails, then there is a possible null pointer dereference: memory_base [nullPointerOutOfMemory]
WFA2-lib-2.3.3/system/mm_allocator.c:319:37: note: Assuming allocation function fails
WFA2-lib-2.3.3/system/mm_allocator.c:319:37: note: Assignment 'memory_base=malloc(num_bytes_allocated)', assigned value is 0
WFA2-lib-2.3.3/system/mm_allocator.c:320:26: note: Null pointer dereference
WFA2-lib-2.3.3/system/mm_allocator.c:322:40: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
WFA2-lib-2.3.3/system/mm_allocator.c:319:37: note: Assuming allocation function fails
WFA2-lib-2.3.3/system/mm_allocator.c:319:37: note: Assignment 'memory_base=malloc(num_bytes_allocated)', assigned value is 0
WFA2-lib-2.3.3/system/mm_allocator.c:322:40: note: Null pointer addition
WFA2-lib-2.3.3/system/mm_allocator.c:400:29: style: Local variable 'request' shadows outer variable [shadowVariable]
WFA2-lib-2.3.3/system/mm_allocator.c:387:33: note: Shadowed declaration
WFA2-lib-2.3.3/system/mm_allocator.c:400:29: note: Shadow variable
WFA2-lib-2.3.3/system/mm_allocator.c:383:37: style: Parameter 'mm_reference' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/system/mm_allocator.c:400:29: style: Variable 'request' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/system/mm_allocator.c:422:17: style: Parameter 'memory' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/system/mm_allocator.c:460:37: style: Variable 'request' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/system/mm_allocator.c:475:37: style: Variable 'request' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/system/mm_allocator.c:497:35: style: Parameter 'request' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/system/mm_allocator.c:519:32: style: Parameter 'request' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/system/mm_allocator.c:292:47: portability: 'segment->memory' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
WFA2-lib-2.3.3/system/mm_allocator.c:295:40: portability: 'memory_base' is of type 'void * const'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
WFA2-lib-2.3.3/system/mm_allocator.c:295:75: portability: 'memory_base+sizeof(struct mm_allocator_reference_t)' is of type 'void * const'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
WFA2-lib-2.3.3/system/mm_allocator.c:297:39: portability: 'memory_aligned' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
WFA2-lib-2.3.3/system/mm_allocator.c:300:95: portability: 'memory_aligned' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
WFA2-lib-2.3.3/system/mm_allocator.c:322:40: portability: 'memory_base' is of type 'void * const'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
WFA2-lib-2.3.3/system/mm_allocator.c:322:75: portability: 'memory_base+sizeof(struct mm_allocator_reference_t)' is of type 'void * const'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
WFA2-lib-2.3.3/system/mm_allocator.c:324:39: portability: 'memory_aligned' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
WFA2-lib-2.3.3/system/mm_allocator.c:327:95: portability: 'memory_aligned' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
WFA2-lib-2.3.3/system/mm_allocator.c:427:41: portability: 'memory' is of type 'void * const'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
WFA2-lib-2.3.3/tools/align_benchmark/benchmark/benchmark_check.c:56:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/tools/align_benchmark/benchmark/benchmark_edit.c:150:60: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable compute_score [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/tools/align_benchmark/benchmark/benchmark_gap_affine.c:148:60: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable compute_score [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/tools/align_benchmark/benchmark/benchmark_gap_affine2p.c:87:60: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable compute_score [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/tools/align_benchmark/benchmark/benchmark_indel.c:55:60: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable compute_score [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/tools/align_benchmark/benchmark/benchmark_gap_linear.c:86:60: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable compute_score [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/tools/align_benchmark/benchmark/benchmark_utils.c:123:26: style: Parameter 'align_input' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:301:19: warning: Identical condition 'line1_length==-1', second condition is always false [identicalConditionAfterEarlyExit]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:299:19: note: If condition 'line1_length==-1' is true, the function will return/exit
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:301:19: note: Testing identical condition 'line1_length==-1'
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:107:37: style: Condition 'endsfree' is always false [knownConditionTrueFalse]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:92:25: note: Assignment 'endsfree=pattern_begin_free>0||pattern_end_free>0||text_begin_free>0||text_end_free>0', assigned value is 0
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:107:37: note: Condition 'endsfree' is always false
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:128:12: warning:inconclusive: If resource allocation fails, then there is a possible null pointer dereference: wf_plot [nullPointerOutOfResources]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:126:32: note: Assuming allocation function fails
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:126:32: note: Assignment 'wf_plot=fopen("test.wfa","w")', assigned value is 0
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:128:12: note: Null pointer dereference
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:361:10: warning:inconclusive: If resource allocation fails, then there is a possible null pointer dereference: wf_plot [nullPointerOutOfResources]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:359:30: note: Assuming allocation function fails
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:359:30: note: Assignment 'wf_plot=fopen(filename,"w")', assigned value is 0
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:361:10: note: Null pointer dereference
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:91:25: style: The comparison 'pattern_begin_free > 0' is always false. [knownConditionTrueFalse]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:86:34: note: 'pattern_begin_free' is assigned value '0' here.
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:91:25: note: The comparison 'pattern_begin_free > 0' is always false.
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:91:28: style: Same expression on both sides of '||' because 'pattern_begin_free>0' and 'pattern_end_free>0' represent the same value. [knownConditionTrueFalse]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:86:34: note: 'pattern_begin_free' is assigned value '0' here.
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:87:32: note: 'pattern_end_free' is assigned value '0' here.
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:91:28: note: Same expression on both sides of '||' because 'pattern_begin_free>0' and 'pattern_end_free>0' represent the same value.
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:91:47: style: The comparison 'pattern_end_free > 0' is always false. [knownConditionTrueFalse]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:87:32: note: 'pattern_end_free' is assigned value '0' here.
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:91:47: note: The comparison 'pattern_end_free > 0' is always false.
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:91:50: style: Same expression on both sides of '||' because 'text_begin_free>0' and 'pattern_end_free>0' represent the same value. [knownConditionTrueFalse]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:86:34: note: 'pattern_begin_free' is assigned value '0' here.
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:88:31: note: 'text_begin_free' is assigned value '0' here.
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:87:32: note: 'pattern_end_free' is assigned value '0' here.
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:91:50: note: Same expression on both sides of '||' because 'text_begin_free>0' and 'pattern_end_free>0' represent the same value.
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:92:22: style: The comparison 'text_begin_free > 0' is always false. [knownConditionTrueFalse]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:88:31: note: 'text_begin_free' is assigned value '0' here.
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:92:22: note: The comparison 'text_begin_free > 0' is always false.
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:92:25: style: Same expression on both sides of '||' because 'text_end_free>0' and 'text_begin_free>0' represent the same value. [knownConditionTrueFalse]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:86:34: note: 'pattern_begin_free' is assigned value '0' here.
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:89:29: note: 'text_end_free' is assigned value '0' here.
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:88:31: note: 'text_begin_free' is assigned value '0' here.
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:92:25: note: Same expression on both sides of '||' because 'text_end_free>0' and 'text_begin_free>0' represent the same value.
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:92:41: style: The comparison 'text_end_free > 0' is always false. [knownConditionTrueFalse]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:89:29: note: 'text_end_free' is assigned value '0' here.
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:92:41: note: The comparison 'text_end_free > 0' is always false.
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:518:34: style: Variable 'offset' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark.c:495:52: style: Variable 'seqs_batch' is assigned a value that is never used. [unreadVariable]
WFA2-lib-2.3.3/tools/align_benchmark/edit/edit_dp.c:67:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/tools/align_benchmark/gap_affine/affine_matrix.c:88:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable M [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/tools/align_benchmark/gap_affine/affine_matrix.c:118:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable M [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/tools/align_benchmark/edit/edit_bpm.c:78:64: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UINT64_LENGTH [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/tools/align_benchmark/edit/edit_bpm.c:150:56: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UINT64_LENGTH [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/tools/align_benchmark/edit/edit_bpm.c:179:55: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UINT64_LENGTH [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/tools/align_benchmark/edit/edit_bpm.c:294:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UINT64_LENGTH [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/tools/align_benchmark/edit/edit_dp.c:40:27: style: Parameter 'score_matrix' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/tools/align_benchmark/gap_affine/swg.c:58:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable affine_matrix_M [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/tools/align_benchmark/gap_affine/swg.c:119:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable D [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/tools/align_benchmark/gap_affine/swg.c:179:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable D [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/tools/align_benchmark/gap_affine/swg.c:260:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable D [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/tools/align_benchmark/gap_affine2p/affine2p_dp.c:52:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable affine2p_matrix_M [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/tools/align_benchmark/gap_affine2p/affine2p_dp.c:40:33: style: Parameter 'penalties' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/tools/align_benchmark/gap_affine/swg.c:41:28: style: Parameter 'affine_matrix' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/tools/align_benchmark/gap_affine/swg.c:42:31: style: Parameter 'penalties' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/tools/align_benchmark/edit/edit_bpm.c:236:14: style: Array index 'last' is used before limits check. [arrayIndexThenCheck]
WFA2-lib-2.3.3/tools/align_benchmark/edit/edit_bpm.c:281:17: style: Parameter 'text' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/tools/align_benchmark/edit/edit_bpm.c:283:15: style: Variable 'pattern' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/tools/align_benchmark/edit/edit_bpm.c:92:37: portability: 'memory' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
WFA2-lib-2.3.3/tools/align_benchmark/edit/edit_bpm.c:93:35: portability: 'memory' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
WFA2-lib-2.3.3/tools/align_benchmark/edit/edit_bpm.c:94:35: portability: 'memory' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
WFA2-lib-2.3.3/tools/align_benchmark/edit/edit_bpm.c:95:44: portability: 'memory' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
WFA2-lib-2.3.3/tools/align_benchmark/edit/edit_bpm.c:96:39: portability: 'memory' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
WFA2-lib-2.3.3/tools/align_benchmark/edit/edit_bpm.c:97:44: portability: 'memory' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
WFA2-lib-2.3.3/tools/align_benchmark/gap_affine2p/affine2p_matrix.c:133:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/tools/align_benchmark/gap_affine2p/affine2p_matrix.c:75:28: style: Parameter 'affine2p_cell' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/tools/align_benchmark/indel/indel_dp.c:61:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/tools/align_benchmark/gap_linear/nw.c:39:27: style: Parameter 'score_matrix' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/tools/align_benchmark/gap_linear/nw.c:40:31: style: Parameter 'penalties' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/utils/bitmap.c:44:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable bitmap_t [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/utils/bitmap.c:68:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BITMAP_BLOCK_ELEMENTS [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/utils/bitmap.c:77:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BITMAP_BLOCK_ELEMENTS [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/utils/bitmap.c:87:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BITMAP_BLOCK_ELEMENTS [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/utils/bitmap.c:118:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BITMAP_BLOCK_ELEMENTS [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/tools/align_benchmark/indel/indel_dp.c:38:27: style: Parameter 'score_matrix' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark_params.c:306:24: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark_params.c:308:18: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark_params.c:310:18: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark_params.c:315:24: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark_params.c:317:18: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark_params.c:319:18: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark_params.c:321:18: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark_params.c:326:24: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark_params.c:328:18: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark_params.c:330:18: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark_params.c:332:18: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark_params.c:334:18: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark_params.c:336:18: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark_params.c:342:24: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark_params.c:344:18: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark_params.c:346:18: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark_params.c:348:18: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark_params.c:391:24: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark_params.c:394:18: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark_params.c:397:18: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled]
WFA2-lib-2.3.3/utils/bitmap.c:102:21: style: Parameter 'bitmap' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/utils/bitmap.c:115:21: style: Parameter 'bitmap' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/utils/bitmap.c:121:25: style: Variable 'bitmap_block' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/utils/commons.c:42:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable RAND_MAX [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark_params.c:199:17: style: Variable 'long_options' can be declared as const array [constVariable]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark_params.c:306:13: style: Variable 'sentinel' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark_params.c:315:13: style: Variable 'sentinel' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark_params.c:326:13: style: Variable 'sentinel' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark_params.c:342:13: style: Variable 'sentinel' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/tools/align_benchmark/align_benchmark_params.c:391:13: style: Variable 'sentinel' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/tools/generate_dataset/generate_dataset.c:85:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable RAND_MAX [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/tools/generate_dataset/generate_dataset.c:284:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/tools/generate_dataset/generate_dataset.c:299:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable required_argument [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/utils/sequence_buffer.c:42:60: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable sequence_buffer_t [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/utils/sequence_buffer.c:86:84: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable sequence_offset_t [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/utils/string_padded.c:77:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable strings_padded_t [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/utils/string_padded.c:110:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable strings_padded_t [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/utils/sequence_buffer.c:44:3: warning: If memory allocation fails, then there is a possible null pointer dereference: sequence_buffer [nullPointerOutOfMemory]
WFA2-lib-2.3.3/utils/sequence_buffer.c:42:52: note: Assuming allocation function fails
WFA2-lib-2.3.3/utils/sequence_buffer.c:42:52: note: Assignment 'sequence_buffer=malloc(sizeof(sequence_buffer_t))', assigned value is 0
WFA2-lib-2.3.3/utils/sequence_buffer.c:44:3: note: Null pointer dereference
WFA2-lib-2.3.3/utils/sequence_buffer.c:46:3: warning: If memory allocation fails, then there is a possible null pointer dereference: sequence_buffer [nullPointerOutOfMemory]
WFA2-lib-2.3.3/utils/sequence_buffer.c:42:52: note: Assuming allocation function fails
WFA2-lib-2.3.3/utils/sequence_buffer.c:42:52: note: Assignment 'sequence_buffer=malloc(sizeof(sequence_buffer_t))', assigned value is 0
WFA2-lib-2.3.3/utils/sequence_buffer.c:46:3: note: Null pointer dereference
WFA2-lib-2.3.3/utils/sequence_buffer.c:47:3: warning: If memory allocation fails, then there is a possible null pointer dereference: sequence_buffer [nullPointerOutOfMemory]
WFA2-lib-2.3.3/utils/sequence_buffer.c:42:52: note: Assuming allocation function fails
WFA2-lib-2.3.3/utils/sequence_buffer.c:42:52: note: Assignment 'sequence_buffer=malloc(sizeof(sequence_buffer_t))', assigned value is 0
WFA2-lib-2.3.3/utils/sequence_buffer.c:47:3: note: Null pointer dereference
WFA2-lib-2.3.3/utils/sequence_buffer.c:48:3: warning: If memory allocation fails, then there is a possible null pointer dereference: sequence_buffer [nullPointerOutOfMemory]
WFA2-lib-2.3.3/utils/sequence_buffer.c:42:52: note: Assuming allocation function fails
WFA2-lib-2.3.3/utils/sequence_buffer.c:42:52: note: Assignment 'sequence_buffer=malloc(sizeof(sequence_buffer_t))', assigned value is 0
WFA2-lib-2.3.3/utils/sequence_buffer.c:48:3: note: Null pointer dereference
WFA2-lib-2.3.3/utils/sequence_buffer.c:51:3: warning: If memory allocation fails, then there is a possible null pointer dereference: sequence_buffer [nullPointerOutOfMemory]
WFA2-lib-2.3.3/utils/sequence_buffer.c:42:52: note: Assuming allocation function fails
WFA2-lib-2.3.3/utils/sequence_buffer.c:42:52: note: Assignment 'sequence_buffer=malloc(sizeof(sequence_buffer_t))', assigned value is 0
WFA2-lib-2.3.3/utils/sequence_buffer.c:51:3: note: Null pointer dereference
WFA2-lib-2.3.3/utils/sequence_buffer.c:52:3: warning: If memory allocation fails, then there is a possible null pointer dereference: sequence_buffer [nullPointerOutOfMemory]
WFA2-lib-2.3.3/utils/sequence_buffer.c:42:52: note: Assuming allocation function fails
WFA2-lib-2.3.3/utils/sequence_buffer.c:42:52: note: Assignment 'sequence_buffer=malloc(sizeof(sequence_buffer_t))', assigned value is 0
WFA2-lib-2.3.3/utils/sequence_buffer.c:52:3: note: Null pointer dereference
WFA2-lib-2.3.3/utils/sequence_buffer.c:53:3: warning: If memory allocation fails, then there is a possible null pointer dereference: sequence_buffer [nullPointerOutOfMemory]
WFA2-lib-2.3.3/utils/sequence_buffer.c:42:52: note: Assuming allocation function fails
WFA2-lib-2.3.3/utils/sequence_buffer.c:42:52: note: Assignment 'sequence_buffer=malloc(sizeof(sequence_buffer_t))', assigned value is 0
WFA2-lib-2.3.3/utils/sequence_buffer.c:53:3: note: Null pointer dereference
WFA2-lib-2.3.3/utils/sequence_buffer.c:55:3: warning: If memory allocation fails, then there is a possible null pointer dereference: sequence_buffer [nullPointerOutOfMemory]
WFA2-lib-2.3.3/utils/sequence_buffer.c:42:52: note: Assuming allocation function fails
WFA2-lib-2.3.3/utils/sequence_buffer.c:42:52: note: Assignment 'sequence_buffer=malloc(sizeof(sequence_buffer_t))', assigned value is 0
WFA2-lib-2.3.3/utils/sequence_buffer.c:55:3: note: Null pointer dereference
WFA2-lib-2.3.3/utils/sequence_buffer.c:56:3: warning: If memory allocation fails, then there is a possible null pointer dereference: sequence_buffer [nullPointerOutOfMemory]
WFA2-lib-2.3.3/utils/sequence_buffer.c:42:52: note: Assuming allocation function fails
WFA2-lib-2.3.3/utils/sequence_buffer.c:42:52: note: Assignment 'sequence_buffer=malloc(sizeof(sequence_buffer_t))', assigned value is 0
WFA2-lib-2.3.3/utils/sequence_buffer.c:56:3: note: Null pointer dereference
WFA2-lib-2.3.3/utils/sequence_buffer.c:99:17: style: Parameter 'pattern' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/utils/sequence_buffer.c:101:17: style: Parameter 'text' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/utils/heatmap.c:54:3: warning: If memory allocation fails, then there is a possible null pointer dereference: heatmap [nullPointerOutOfMemory]
WFA2-lib-2.3.3/utils/heatmap.c:52:48: note: Assuming allocation function fails
WFA2-lib-2.3.3/utils/heatmap.c:52:30: note: Assignment 'heatmap=(struct heatmap_t*)malloc(sizeof(struct heatmap_t))', assigned value is 0
WFA2-lib-2.3.3/utils/heatmap.c:54:3: note: Null pointer dereference
WFA2-lib-2.3.3/utils/heatmap.c:55:3: warning: If memory allocation fails, then there is a possible null pointer dereference: heatmap [nullPointerOutOfMemory]
WFA2-lib-2.3.3/utils/heatmap.c:52:48: note: Assuming allocation function fails
WFA2-lib-2.3.3/utils/heatmap.c:52:30: note: Assignment 'heatmap=(struct heatmap_t*)malloc(sizeof(struct heatmap_t))', assigned value is 0
WFA2-lib-2.3.3/utils/heatmap.c:55:3: note: Null pointer dereference
WFA2-lib-2.3.3/utils/heatmap.c:56:3: warning: If memory allocation fails, then there is a possible null pointer dereference: heatmap [nullPointerOutOfMemory]
WFA2-lib-2.3.3/utils/heatmap.c:52:48: note: Assuming allocation function fails
WFA2-lib-2.3.3/utils/heatmap.c:52:30: note: Assignment 'heatmap=(struct heatmap_t*)malloc(sizeof(struct heatmap_t))', assigned value is 0
WFA2-lib-2.3.3/utils/heatmap.c:56:3: note: Null pointer dereference
WFA2-lib-2.3.3/utils/heatmap.c:57:3: warning: If memory allocation fails, then there is a possible null pointer dereference: heatmap [nullPointerOutOfMemory]
WFA2-lib-2.3.3/utils/heatmap.c:52:48: note: Assuming allocation function fails
WFA2-lib-2.3.3/utils/heatmap.c:52:30: note: Assignment 'heatmap=(struct heatmap_t*)malloc(sizeof(struct heatmap_t))', assigned value is 0
WFA2-lib-2.3.3/utils/heatmap.c:57:3: note: Null pointer dereference
WFA2-lib-2.3.3/utils/heatmap.c:58:3: warning: If memory allocation fails, then there is a possible null pointer dereference: heatmap [nullPointerOutOfMemory]
WFA2-lib-2.3.3/utils/heatmap.c:52:48: note: Assuming allocation function fails
WFA2-lib-2.3.3/utils/heatmap.c:52:30: note: Assignment 'heatmap=(struct heatmap_t*)malloc(sizeof(struct heatmap_t))', assigned value is 0
WFA2-lib-2.3.3/utils/heatmap.c:58:3: note: Null pointer dereference
WFA2-lib-2.3.3/utils/heatmap.c:73:3: warning: If memory allocation fails, then there is a possible null pointer dereference: heatmap [nullPointerOutOfMemory]
WFA2-lib-2.3.3/utils/heatmap.c:52:48: note: Assuming allocation function fails
WFA2-lib-2.3.3/utils/heatmap.c:52:30: note: Assignment 'heatmap=(struct heatmap_t*)malloc(sizeof(struct heatmap_t))', assigned value is 0
WFA2-lib-2.3.3/utils/heatmap.c:73:3: note: Null pointer dereference
WFA2-lib-2.3.3/utils/heatmap.c:73:35: warning: If memory allocation fails, then there is a possible null pointer dereference: heatmap [nullPointerOutOfMemory]
WFA2-lib-2.3.3/utils/heatmap.c:52:48: note: Assuming allocation function fails
WFA2-lib-2.3.3/utils/heatmap.c:52:30: note: Assignment 'heatmap=(struct heatmap_t*)malloc(sizeof(struct heatmap_t))', assigned value is 0
WFA2-lib-2.3.3/utils/heatmap.c:73:35: note: Null pointer dereference
WFA2-lib-2.3.3/utils/heatmap.c:75:14: warning: If memory allocation fails, then there is a possible null pointer dereference: heatmap [nullPointerOutOfMemory]
WFA2-lib-2.3.3/utils/heatmap.c:52:48: note: Assuming allocation function fails
WFA2-lib-2.3.3/utils/heatmap.c:52:30: note: Assignment 'heatmap=(struct heatmap_t*)malloc(sizeof(struct heatmap_t))', assigned value is 0
WFA2-lib-2.3.3/utils/heatmap.c:75:14: note: Null pointer dereference
WFA2-lib-2.3.3/utils/vector.c:52:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/utils/heatmap.c:76:5: warning: If memory allocation fails, then there is a possible null pointer dereference: heatmap [nullPointerOutOfMemory]
WFA2-lib-2.3.3/utils/heatmap.c:52:48: note: Assuming allocation function fails
WFA2-lib-2.3.3/utils/heatmap.c:52:30: note: Assignment 'heatmap=(struct heatmap_t*)malloc(sizeof(struct heatmap_t))', assigned value is 0
WFA2-lib-2.3.3/utils/heatmap.c:76:5: note: Null pointer dereference
WFA2-lib-2.3.3/utils/vector.c:80:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/utils/heatmap.c:76:39: warning: If memory allocation fails, then there is a possible null pointer dereference: heatmap [nullPointerOutOfMemory]
WFA2-lib-2.3.3/utils/heatmap.c:52:48: note: Assuming allocation function fails
WFA2-lib-2.3.3/utils/heatmap.c:52:30: note: Assignment 'heatmap=(struct heatmap_t*)malloc(sizeof(struct heatmap_t))', assigned value is 0
WFA2-lib-2.3.3/utils/heatmap.c:76:39: note: Null pointer dereference
WFA2-lib-2.3.3/utils/heatmap.c:86:29: warning: If memory allocation fails, then there is a possible null pointer dereference: heatmap [nullPointerOutOfMemory]
WFA2-lib-2.3.3/utils/heatmap.c:52:48: note: Assuming allocation function fails
WFA2-lib-2.3.3/utils/heatmap.c:52:30: note: Assignment 'heatmap=(struct heatmap_t*)malloc(sizeof(struct heatmap_t))', assigned value is 0
WFA2-lib-2.3.3/utils/heatmap.c:79:17: note: Calling function 'heatmap_clear', 1st argument 'heatmap' value is 0
WFA2-lib-2.3.3/utils/heatmap.c:86:29: note: Null pointer dereference
WFA2-lib-2.3.3/utils/heatmap.c:87:24: warning: If memory allocation fails, then there is a possible null pointer dereference: heatmap [nullPointerOutOfMemory]
WFA2-lib-2.3.3/utils/heatmap.c:52:48: note: Assuming allocation function fails
WFA2-lib-2.3.3/utils/heatmap.c:52:30: note: Assignment 'heatmap=(struct heatmap_t*)malloc(sizeof(struct heatmap_t))', assigned value is 0
WFA2-lib-2.3.3/utils/heatmap.c:79:17: note: Calling function 'heatmap_clear', 1st argument 'heatmap' value is 0
WFA2-lib-2.3.3/utils/heatmap.c:87:24: note: Null pointer dereference
WFA2-lib-2.3.3/utils/heatmap.c:88:27: warning: If memory allocation fails, then there is a possible null pointer dereference: heatmap [nullPointerOutOfMemory]
WFA2-lib-2.3.3/utils/heatmap.c:52:48: note: Assuming allocation function fails
WFA2-lib-2.3.3/utils/heatmap.c:52:30: note: Assignment 'heatmap=(struct heatmap_t*)malloc(sizeof(struct heatmap_t))', assigned value is 0
WFA2-lib-2.3.3/utils/heatmap.c:79:17: note: Calling function 'heatmap_clear', 1st argument 'heatmap' value is 0
WFA2-lib-2.3.3/utils/heatmap.c:88:27: note: Null pointer dereference
WFA2-lib-2.3.3/utils/vector.c:48:3: warning: If memory allocation fails, then there is a possible null pointer dereference: vector_buffer [nullPointerOutOfMemory]
WFA2-lib-2.3.3/utils/vector.c:47:53: note: Assuming allocation function fails
WFA2-lib-2.3.3/utils/vector.c:47:35: note: Assignment 'vector_buffer=(struct vector_t*)malloc(sizeof(struct vector_t))', assigned value is 0
WFA2-lib-2.3.3/utils/vector.c:48:3: note: Null pointer dereference
WFA2-lib-2.3.3/utils/vector.c:49:3: warning: If memory allocation fails, then there is a possible null pointer dereference: vector_buffer [nullPointerOutOfMemory]
WFA2-lib-2.3.3/utils/vector.c:47:53: note: Assuming allocation function fails
WFA2-lib-2.3.3/utils/vector.c:47:35: note: Assignment 'vector_buffer=(struct vector_t*)malloc(sizeof(struct vector_t))', assigned value is 0
WFA2-lib-2.3.3/utils/vector.c:49:3: note: Null pointer dereference
WFA2-lib-2.3.3/utils/vector.c:50:3: warning: If memory allocation fails, then there is a possible null pointer dereference: vector_buffer [nullPointerOutOfMemory]
WFA2-lib-2.3.3/utils/vector.c:47:53: note: Assuming allocation function fails
WFA2-lib-2.3.3/utils/vector.c:47:35: note: Assignment 'vector_buffer=(struct vector_t*)malloc(sizeof(struct vector_t))', assigned value is 0
WFA2-lib-2.3.3/utils/vector.c:50:3: note: Null pointer dereference
WFA2-lib-2.3.3/utils/vector.c:51:8: warning: If memory allocation fails, then there is a possible null pointer dereference: vector_buffer [nullPointerOutOfMemory]
WFA2-lib-2.3.3/utils/vector.c:47:53: note: Assuming allocation function fails
WFA2-lib-2.3.3/utils/vector.c:47:35: note: Assignment 'vector_buffer=(struct vector_t*)malloc(sizeof(struct vector_t))', assigned value is 0
WFA2-lib-2.3.3/utils/vector.c:51:8: note: Null pointer dereference
WFA2-lib-2.3.3/utils/vector.c:110:21: style: Parameter 'vector_from' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/utils/vector.c:119:21: style: Parameter 'vector_src' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/tools/generate_dataset/generate_dataset.c:333:26: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled]
WFA2-lib-2.3.3/tools/generate_dataset/generate_dataset.c:335:20: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled]
WFA2-lib-2.3.3/utils/vector.c:86:26: portability: 'vector->memory' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer]
WFA2-lib-2.3.3/tools/generate_dataset/generate_dataset.c:103:5: warning: If memory allocation fails, then there is a possible null pointer dereference: sequence [nullPointerOutOfMemory]
WFA2-lib-2.3.3/tools/generate_dataset/generate_dataset.c:362:31: note: Assuming allocation function fails
WFA2-lib-2.3.3/tools/generate_dataset/generate_dataset.c:362:31: note: Assignment 'seqlong=malloc(seqlong_length+1)', assigned value is 0
WFA2-lib-2.3.3/tools/generate_dataset/generate_dataset.c:370:30: note: Calling function 'sequence_generate_random', 1st argument 'seqlong' value is 0
WFA2-lib-2.3.3/tools/generate_dataset/generate_dataset.c:103:5: note: Null pointer dereference
WFA2-lib-2.3.3/tools/generate_dataset/generate_dataset.c:105:3: warning: If memory allocation fails, then there is a possible null pointer dereference: sequence [nullPointerOutOfMemory]
WFA2-lib-2.3.3/tools/generate_dataset/generate_dataset.c:362:31: note: Assuming allocation function fails
WFA2-lib-2.3.3/tools/generate_dataset/generate_dataset.c:362:31: note: Assignment 'seqlong=malloc(seqlong_length+1)', assigned value is 0
WFA2-lib-2.3.3/tools/generate_dataset/generate_dataset.c:370:30: note: Calling function 'sequence_generate_random', 1st argument 'seqlong' value is 0
WFA2-lib-2.3.3/tools/generate_dataset/generate_dataset.c:105:3: note: Null pointer dereference
WFA2-lib-2.3.3/tools/generate_dataset/generate_dataset.c:117:11: warning: If memory allocation fails, then there is a possible null pointer dereference: seqshort [nullPointerOutOfMemory]
WFA2-lib-2.3.3/tools/generate_dataset/generate_dataset.c:363:32: note: Assuming allocation function fails
WFA2-lib-2.3.3/tools/generate_dataset/generate_dataset.c:363:32: note: Assignment 'seqshort=malloc(seqshort_length+1+num_errors+parameters.indels_num*parameters.indels_length)', assigned value is 0
WFA2-lib-2.3.3/tools/generate_dataset/generate_dataset.c:372:64: note: Calling function 'sequence_extract', 3rd argument 'seqshort' value is 0
WFA2-lib-2.3.3/tools/generate_dataset/generate_dataset.c:117:11: note: Null pointer dereference
WFA2-lib-2.3.3/tools/generate_dataset/generate_dataset.c:117:27: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
WFA2-lib-2.3.3/tools/generate_dataset/generate_dataset.c:362:31: note: Assuming allocation function fails
WFA2-lib-2.3.3/tools/generate_dataset/generate_dataset.c:362:31: note: Assignment 'seqlong=malloc(seqlong_length+1)', assigned value is 0
WFA2-lib-2.3.3/tools/generate_dataset/generate_dataset.c:372:41: note: Calling function 'sequence_extract', 1st argument 'seqlong' value is 0
WFA2-lib-2.3.3/tools/generate_dataset/generate_dataset.c:117:27: note: Null pointer addition
WFA2-lib-2.3.3/tools/generate_dataset/generate_dataset.c:111:17: style: Parameter 'seqlong' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/tools/generate_dataset/generate_dataset.c:126:24: style: Parameter 'errors_log' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/tools/generate_dataset/generate_dataset.c:298:17: style: Variable 'long_options' can be declared as const array [constVariable]
WFA2-lib-2.3.3/tools/generate_dataset/generate_dataset.c:333:15: style: Variable 'sentinel' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront.c:168:24: style: Parameter 'wavefront' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_align.c:60:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_align.c:182:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_aligner.c:56:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_aligner.c:72:71: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BUFFER_SIZE_4M [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_align.c:52:27: style: Variable 'form' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_align.c:178:35: style: Variable 'align_status' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_backtrace_buffer.c:63:71: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BUFFER_SIZE_8M [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_backtrace_buffer.c:144:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BUFFER_SIZE_8M [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_backtrace_buffer.c:164:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BUFFER_SIZE_8M [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_backtrace_buffer.c:168:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BUFFER_SIZE_8M [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_backtrace_buffer.c:175:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BUFFER_SIZE_8M [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_backtrace_buffer.c:185:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BUFFER_SIZE_8M [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_backtrace_buffer.c:198:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BUFFER_SIZE_8M [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_backtrace_buffer.c:211:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BUFFER_SIZE_8M [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_backtrace_buffer.c:229:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BUFFER_SIZE_8M [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_backtrace_buffer.c:247:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BUFFER_SIZE_8M [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_backtrace_buffer.c:340:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable affine_matrix_M [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_backtrace_buffer.c:418:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable block_bm_ptr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_backtrace_buffer.c:477:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BUFFER_SIZE_8M [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_aligner.c:124:32: style: Variable 'wf_heuristic' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_aligner.c:441:32: style: Parameter 'wf_aligner' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_aligner.c:466:32: style: Parameter 'wf_aligner' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_aligner.c:482:32: style: Parameter 'wf_aligner' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_backtrace_offload.c:103:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_backtrace_offload.c:159:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_backtrace.c:295:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_backtrace.c:343:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable affine2p_matrix_M [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_backtrace_offload.c:41:24: style: Parameter 'out_offsets' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_backtrace_buffer.c:446:30: style: Local variable 'block_idx' shadows outer variable [shadowVariable]
WFA2-lib-2.3.3/wavefront/wavefront_backtrace_buffer.c:417:26: note: Shadowed declaration
WFA2-lib-2.3.3/wavefront/wavefront_backtrace_buffer.c:446:30: note: Shadow variable
WFA2-lib-2.3.3/wavefront/wavefront_backtrace_buffer.c:143:34: style: Parameter 'bt_buffer' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_backtrace_buffer.c:148:34: style: Parameter 'bt_buffer' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_backtrace_buffer.c:167:34: style: Parameter 'bt_buffer' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_backtrace_buffer.c:291:19: style: Variable 'palignment_blocks' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_backtrace_buffer.c:339:19: style: Variable 'palignment_blocks' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_backtrace_buffer.c:387:24: style: Parameter 'offsets' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_backtrace_buffer.c:388:27: style: Parameter 'bt_block_idxs' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_backtrace_buffer.c:423:25: style: Variable 'bt_block' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_bialign.c:61:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_bialign.c:91:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable affine2p_matrix_I1 [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_bialign.c:181:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable affine2p_matrix_M [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_bialign.c:232:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable affine2p_matrix_D2 [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_bialign.c:322:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_bialign.c:433:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_bialign.c:551:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:61:3: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_bialigner [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:44:53: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:44:53: note: Assignment 'wf_bialigner=malloc(sizeof(struct wavefront_bialigner_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:61:3: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:62:3: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_bialigner [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:44:53: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:44:53: note: Assignment 'wf_bialigner=malloc(sizeof(struct wavefront_bialigner_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:62:3: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:63:3: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_bialigner [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:44:53: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:44:53: note: Assignment 'wf_bialigner=malloc(sizeof(struct wavefront_bialigner_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:63:3: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:64:3: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_bialigner [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:44:53: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:44:53: note: Assignment 'wf_bialigner=malloc(sizeof(struct wavefront_bialigner_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:64:3: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:65:3: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_bialigner [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:44:53: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:44:53: note: Assignment 'wf_bialigner=malloc(sizeof(struct wavefront_bialigner_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:65:3: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:66:3: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_bialigner [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:44:53: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:44:53: note: Assignment 'wf_bialigner=malloc(sizeof(struct wavefront_bialigner_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:66:3: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:69:3: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_bialigner [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:44:53: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:44:53: note: Assignment 'wf_bialigner=malloc(sizeof(struct wavefront_bialigner_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:69:3: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:70:3: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_bialigner [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:44:53: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:44:53: note: Assignment 'wf_bialigner=malloc(sizeof(struct wavefront_bialigner_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:70:3: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:71:3: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_bialigner [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:44:53: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:44:53: note: Assignment 'wf_bialigner=malloc(sizeof(struct wavefront_bialigner_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:71:3: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_bialigner.c:99:34: style: Parameter 'heuristic' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_components.c:178:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable gap_linear [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_components.c:216:73: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable wavefront_t [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_components.c:394:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BT_BLOCK_IDX_NULL [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_components.c:458:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_components.c:48:35: style: Parameter 'wf_components' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_components.c:63:35: style: Parameter 'wf_components' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_components.c:82:35: style: Parameter 'wf_components' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_components.c:102:35: style: Parameter 'wf_components' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_components.c:385:22: style: Variable 'offsets' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_compute.c:435:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_compute_affine.c:64:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRAGMA_LOOP_VECTORIZE [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_compute_affine.c:127:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRAGMA_LOOP_VECTORIZE [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_backtrace.c:542:21: style: Variable 'init_block' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_backtrace.c:545:34: style: Variable 'backtrace_init_pos' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_backtrace.c:277:26: style: Variable 'backtrace_type' is assigned a value that is never used. [unreadVariable]
WFA2-lib-2.3.3/wavefront/wavefront_backtrace.c:430:26: style: Variable 'backtrace_type' is assigned a value that is never used. [unreadVariable]
WFA2-lib-2.3.3/wavefront/wavefront_bialign.c:55:36: style: Parameter 'breakpoint' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_bialign.c:136:32: style: Parameter 'wf_aligner' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_bialign.c:281:29: style: Parameter 'form' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_bialign.c:375:29: style: Variable 'system' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_bialign.c:484:29: style: Parameter 'form' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_bialign.c:558:29: style: Parameter 'global_form' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_bialign.c:572:29: style: Parameter 'global_form' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_compute_affine.c:46:32: style: Parameter 'wf_aligner' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_compute_affine.c:91:32: style: Parameter 'wf_aligner' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_compute_affine.c:196:28: style: Parameter 'wavefront_set' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_compute_linear.c:60:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRAGMA_LOOP_VECTORIZE [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_compute_linear.c:100:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRAGMA_LOOP_VECTORIZE [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_compute.c:129:27: style: Variable 'alg_form' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_compute.c:130:32: style: Variable 'penalties' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_compute.c:144:27: style: Variable 'alg_form' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_compute.c:145:32: style: Variable 'penalties' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_compute.c:173:27: style: Variable 'alg_form' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_compute.c:174:32: style: Variable 'penalties' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_compute.c:216:27: style: Variable 'alg_form' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_compute.c:217:32: style: Variable 'penalties' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_compute.c:571:32: style: Parameter 'wf_aligner' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_compute.c:576:22: style: Variable 'offsets' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_compute_edit.c:58:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRAGMA_LOOP_VECTORIZE [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_compute_edit.c:85:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRAGMA_LOOP_VECTORIZE [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_compute_edit.c:123:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRAGMA_LOOP_VECTORIZE [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_compute_edit.c:165:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRAGMA_LOOP_VECTORIZE [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_compute_linear.c:46:32: style: Parameter 'wf_aligner' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_compute_linear.c:79:32: style: Parameter 'wf_aligner' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_compute_linear.c:133:28: style: Parameter 'wavefront_set' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_compute_affine2p.c:70:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRAGMA_LOOP_VECTORIZE [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_compute_affine2p.c:162:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRAGMA_LOOP_VECTORIZE [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_compute_edit.c:46:32: style: Parameter 'wf_aligner' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_compute_edit.c:47:24: style: Parameter 'wf_prev' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_debug.c:228:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_compute_edit.c:73:32: style: Parameter 'wf_aligner' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_debug.c:239:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_compute_edit.c:74:24: style: Parameter 'wf_prev' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_debug.c:253:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_compute_edit.c:104:32: style: Parameter 'wf_aligner' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_compute_edit.c:105:24: style: Parameter 'wf_prev' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_compute_edit.c:146:32: style: Parameter 'wf_aligner' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_compute_edit.c:147:24: style: Parameter 'wf_prev' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_compute_edit.c:217:32: style: Parameter 'wf_aligner' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_compute_edit.c:222:22: style: Variable 'offsets' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_debug.c:52:18: style: Variable 'cigar' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_debug.c:53:15: style: Variable 'operations' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_display.c:174:24: style: Parameter 'wavefront' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_display.c:175:17: style: Parameter 'wavefront_id' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_compute_affine2p.c:47:32: style: Parameter 'wf_aligner' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_compute_affine2p.c:111:32: style: Parameter 'wf_aligner' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_compute_affine2p.c:287:28: style: Parameter 'wavefront_set' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_pcigar.c:232:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable affine_matrix_M [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_penalties.c:70:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_penalties.c:99:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_penalties.c:133:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_pcigar.c:84:24: style: Variable 'op' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_pcigar.c:102:13: style: Variable 'pattern_blocks' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_pcigar.c:103:13: style: Variable 'text_blocks' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_pcigar.c:166:15: style: Variable 'cigar_buffer_base' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_pcigar.c:195:24: style: Variable 'op' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_pcigar.c:219:15: style: Variable 'cigar_buffer_base' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_pcigar.c:251:24: style: Variable 'op' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_pcigar.c:75:12: error: Shifting 32-bit value by 32 bits is undefined behaviour [shiftTooManyBits]
WFA2-lib-2.3.3/wavefront/wavefront_pcigar.c:73:28: note: Assignment 'free_slots=((pcigar)!=0)?__builtin_clz(pcigar)/2:16', assigned value is 16
WFA2-lib-2.3.3/wavefront/wavefront_pcigar.c:75:12: note: Shift
WFA2-lib-2.3.3/wavefront/wavefront_pcigar.c:172:12: error: Shifting 32-bit value by 32 bits is undefined behaviour [shiftTooManyBits]
WFA2-lib-2.3.3/wavefront/wavefront_pcigar.c:170:28: note: Assignment 'free_slots=((pcigar)!=0)?__builtin_clz(pcigar)/2:16', assigned value is 16
WFA2-lib-2.3.3/wavefront/wavefront_pcigar.c:172:12: note: Shift
WFA2-lib-2.3.3/wavefront/wavefront_pcigar.c:225:12: error: Shifting 32-bit value by 32 bits is undefined behaviour [shiftTooManyBits]
WFA2-lib-2.3.3/wavefront/wavefront_pcigar.c:223:28: note: Assignment 'free_slots=((pcigar)!=0)?__builtin_clz(pcigar)/2:16', assigned value is 16
WFA2-lib-2.3.3/wavefront/wavefront_pcigar.c:225:12: note: Shift
WFA2-lib-2.3.3/wavefront/wavefront_heuristic.c:184:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRAGMA_LOOP_VECTORIZE [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_heuristic.c:203:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRAGMA_LOOP_VECTORIZE [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_heuristic.c:222:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRAGMA_LOOP_VECTORIZE [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_heuristic.c:310:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRAGMA_LOOP_VECTORIZE [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_penalties.c:65:31: style: Parameter 'linear_penalties' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_penalties.c:94:31: style: Parameter 'affine_penalties' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_penalties.c:128:33: style: Parameter 'affine2p_penalties' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_penalties.c:170:34: style: Parameter 'wf_penalties' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_extend.c:175:32: style: Parameter 'wf_aligner' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_extend.c:179:13: style: Variable 'pattern_blocks' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_extend.c:180:13: style: Variable 'text_blocks' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:52:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable heatmap_value [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_slab.c:288:29: style: Parameter 'wavefront_slab' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:154:17: warning: Identical condition 'offset<0', second condition is always false [identicalConditionAfterEarlyExit]
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:152:19: note: 'h_local' is assigned value 'offset' here.
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:149:16: note: If condition 'offset<0' is true, the function will return/exit
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:154:17: note: Testing identical condition 'offset<0'
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:47:22: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_plot [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:62: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:37: note: Assignment 'wf_plot=(struct wavefront_plot_t*)malloc(sizeof(struct wavefront_plot_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:101:36: note: Calling function 'wavefront_plot_heatmaps_allocate', 1st argument 'wf_plot' value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:47:22: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:47:50: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_plot [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:62: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:37: note: Assignment 'wf_plot=(struct wavefront_plot_t*)malloc(sizeof(struct wavefront_plot_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:101:36: note: Calling function 'wavefront_plot_heatmaps_allocate', 1st argument 'wf_plot' value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:47:50: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:48:22: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_plot [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:62: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:37: note: Assignment 'wf_plot=(struct wavefront_plot_t*)malloc(sizeof(struct wavefront_plot_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:101:36: note: Calling function 'wavefront_plot_heatmaps_allocate', 1st argument 'wf_plot' value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:48:22: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:48:65: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_plot [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:62: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:37: note: Assignment 'wf_plot=(struct wavefront_plot_t*)malloc(sizeof(struct wavefront_plot_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:101:36: note: Calling function 'wavefront_plot_heatmaps_allocate', 1st argument 'wf_plot' value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:48:65: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:49:22: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_plot [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:62: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:37: note: Assignment 'wf_plot=(struct wavefront_plot_t*)malloc(sizeof(struct wavefront_plot_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:101:36: note: Calling function 'wavefront_plot_heatmaps_allocate', 1st argument 'wf_plot' value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:49:22: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:49:50: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_plot [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:62: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:37: note: Assignment 'wf_plot=(struct wavefront_plot_t*)malloc(sizeof(struct wavefront_plot_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:101:36: note: Calling function 'wavefront_plot_heatmaps_allocate', 1st argument 'wf_plot' value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:49:50: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:50:22: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_plot [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:62: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:37: note: Assignment 'wf_plot=(struct wavefront_plot_t*)malloc(sizeof(struct wavefront_plot_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:101:36: note: Calling function 'wavefront_plot_heatmaps_allocate', 1st argument 'wf_plot' value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:50:22: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:50:62: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_plot [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:62: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:37: note: Assignment 'wf_plot=(struct wavefront_plot_t*)malloc(sizeof(struct wavefront_plot_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:101:36: note: Calling function 'wavefront_plot_heatmaps_allocate', 1st argument 'wf_plot' value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:50:62: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:52:3: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_plot [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:62: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:37: note: Assignment 'wf_plot=(struct wavefront_plot_t*)malloc(sizeof(struct wavefront_plot_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:101:36: note: Calling function 'wavefront_plot_heatmaps_allocate', 1st argument 'wf_plot' value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:52:3: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:55:3: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_plot [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:62: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:37: note: Assignment 'wf_plot=(struct wavefront_plot_t*)malloc(sizeof(struct wavefront_plot_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:101:36: note: Calling function 'wavefront_plot_heatmaps_allocate', 1st argument 'wf_plot' value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:55:3: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:57:3: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_plot [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:62: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:37: note: Assignment 'wf_plot=(struct wavefront_plot_t*)malloc(sizeof(struct wavefront_plot_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:101:36: note: Calling function 'wavefront_plot_heatmaps_allocate', 1st argument 'wf_plot' value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:57:3: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:58:3: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_plot [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:62: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:37: note: Assignment 'wf_plot=(struct wavefront_plot_t*)malloc(sizeof(struct wavefront_plot_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:101:36: note: Calling function 'wavefront_plot_heatmaps_allocate', 1st argument 'wf_plot' value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:58:3: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:59:3: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_plot [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:62: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:37: note: Assignment 'wf_plot=(struct wavefront_plot_t*)malloc(sizeof(struct wavefront_plot_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:101:36: note: Calling function 'wavefront_plot_heatmaps_allocate', 1st argument 'wf_plot' value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:59:3: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:60:3: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_plot [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:62: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:37: note: Assignment 'wf_plot=(struct wavefront_plot_t*)malloc(sizeof(struct wavefront_plot_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:101:36: note: Calling function 'wavefront_plot_heatmaps_allocate', 1st argument 'wf_plot' value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:60:3: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:61:7: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_plot [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:62: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:37: note: Assignment 'wf_plot=(struct wavefront_plot_t*)malloc(sizeof(struct wavefront_plot_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:101:36: note: Calling function 'wavefront_plot_heatmaps_allocate', 1st argument 'wf_plot' value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:61:7: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:63:3: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_plot [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:62: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:37: note: Assignment 'wf_plot=(struct wavefront_plot_t*)malloc(sizeof(struct wavefront_plot_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:101:36: note: Calling function 'wavefront_plot_heatmaps_allocate', 1st argument 'wf_plot' value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:61:32: note: Assuming condition is false
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:63:3: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:65:3: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_plot [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:62: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:37: note: Assignment 'wf_plot=(struct wavefront_plot_t*)malloc(sizeof(struct wavefront_plot_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:101:36: note: Calling function 'wavefront_plot_heatmaps_allocate', 1st argument 'wf_plot' value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:61:32: note: Assuming condition is false
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:65:3: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:67:7: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_plot [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:62: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:37: note: Assignment 'wf_plot=(struct wavefront_plot_t*)malloc(sizeof(struct wavefront_plot_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:101:36: note: Calling function 'wavefront_plot_heatmaps_allocate', 1st argument 'wf_plot' value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:61:32: note: Assuming condition is false
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:67:7: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:94:3: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_plot [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:62: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:37: note: Assignment 'wf_plot=(struct wavefront_plot_t*)malloc(sizeof(struct wavefront_plot_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:94:3: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:95:3: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_plot [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:62: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:37: note: Assignment 'wf_plot=(struct wavefront_plot_t*)malloc(sizeof(struct wavefront_plot_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:95:3: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:96:3: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_plot [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:62: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:37: note: Assignment 'wf_plot=(struct wavefront_plot_t*)malloc(sizeof(struct wavefront_plot_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:96:3: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:97:3: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_plot [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:62: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:37: note: Assignment 'wf_plot=(struct wavefront_plot_t*)malloc(sizeof(struct wavefront_plot_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:97:3: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:98:3: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_plot [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:62: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:37: note: Assignment 'wf_plot=(struct wavefront_plot_t*)malloc(sizeof(struct wavefront_plot_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:98:3: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:99:3: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_plot [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:62: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:37: note: Assignment 'wf_plot=(struct wavefront_plot_t*)malloc(sizeof(struct wavefront_plot_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:99:3: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:103:3: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_plot [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:62: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:37: note: Assignment 'wf_plot=(struct wavefront_plot_t*)malloc(sizeof(struct wavefront_plot_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:103:3: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:104:3: warning: If memory allocation fails, then there is a possible null pointer dereference: wf_plot [nullPointerOutOfMemory]
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:62: note: Assuming allocation function fails
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:92:37: note: Assignment 'wf_plot=(struct wavefront_plot_t*)malloc(sizeof(struct wavefront_plot_t))', assigned value is 0
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:104:3: note: Null pointer dereference
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:44:32: style: Variable 'attributes' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:90:34: style: Parameter 'attributes' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_plot.c:143:27: style: Variable 'plot' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_heuristic.c:83:15: style:inconclusive: Function 'wavefront_heuristic_set_zdrop' argument 2 names different: declaration 'ydrop' definition 'zdrop'. [funcArgNamesDifferent]
WFA2-lib-2.3.3/wavefront/wavefront_heuristic.h:93:15: note: Function 'wavefront_heuristic_set_zdrop' argument 2 names different: declaration 'ydrop' definition 'zdrop'.
WFA2-lib-2.3.3/wavefront/wavefront_heuristic.c:83:15: note: Function 'wavefront_heuristic_set_zdrop' argument 2 names different: declaration 'ydrop' definition 'zdrop'.
WFA2-lib-2.3.3/wavefront/wavefront_heuristic.c:163:24: style: Parameter 'wavefront_src' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_heuristic.c:177:24: style: Parameter 'wavefront' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_heuristic.c:194:24: style: Parameter 'wavefront' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_heuristic.c:213:24: style: Parameter 'wavefront' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_heuristic.c:298:24: style: Parameter 'wavefront' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_heuristic.c:458:32: style: Variable 'wf_heuristic' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_heuristic.c:567:34: style: Parameter 'wf_heuristic' can be declared as pointer to const [constParameterPointer]
WFA2-lib-2.3.3/wavefront/wavefront_unialign.c:67:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable BUFFER_SIZE_256M [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_unialign.c:197:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable affine2p_matrix_M [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_unialign.c:291:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_unialign.c:330:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
WFA2-lib-2.3.3/wavefront/wavefront_unialign.c:454:15: style:inconclusive: Function 'wavefront_unialign_print_status' argument 3 names different: declaration 'current_score' definition 'score'. [funcArgNamesDifferent]
WFA2-lib-2.3.3/wavefront/wavefront_unialign.h:75:15: note: Function 'wavefront_unialign_print_status' argument 3 names different: declaration 'current_score' definition 'score'.
WFA2-lib-2.3.3/wavefront/wavefront_unialign.c:454:15: note: Function 'wavefront_unialign_print_status' argument 3 names different: declaration 'current_score' definition 'score'.
WFA2-lib-2.3.3/wavefront/wavefront_unialign.c:134:32: style: Variable 'penalties' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_unialign.c:327:29: style: Variable 'system' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_unialign.c:386:26: style: Variable 'mwavefront' can be declared as pointer to const [constVariablePointer]
WFA2-lib-2.3.3/wavefront/wavefront_unialign.c:344:22: style: Variable 'proposed_mem' is assigned a value that is never used. [unreadVariable]
diff:


DONE