2025-11-26 10:50
ftp://ftp.de.debian.org/debian/pool/main/f/foma/foma_0.10.0+s311.20250909.orig.tar.bz2
cppcheck-options: --library=posix --library=gnu --library=bsd  --inconclusive --enable=style,information --inline-suppr --template=daca2 --disable=missingInclude --suppress=unmatchedSuppression --check-library --debug-warnings --suppress=autoNoType --suppress=valueFlowBailout --suppress=bailoutUninitVar --suppress=symbolDatabaseWarning --suppress=normalCheckLevelConditionExpressions -D__GNUC__ --platform=unix64 -j4
platform: Linux-6.12.57+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: 9486fde (2025-11-26 08:20:02 +0100)
count: 679 657
elapsed-time: 2.9 3.5
head-timing-info:

old-timing-info:

head results:
foma-0.10.0+s311.20250909/cgflookup.c:82:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/cgflookup.c:103:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/cgflookup.c:259:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/coaccessible.c:110:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable state_no [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/cgflookup.c:79:22: style: Parameter 'result' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/coaccessible.c:60:2: warning: If memory allocation fails, then there is a possible null pointer dereference: temp_i [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/coaccessible.c:59:24: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/coaccessible.c:59:24: note: Assignment 'temp_i=malloc(sizeof(struct invtable))', assigned value is 0
foma-0.10.0+s311.20250909/coaccessible.c:60:2: note: Null pointer dereference
foma-0.10.0+s311.20250909/coaccessible.c:62:2: warning: If memory allocation fails, then there is a possible null pointer dereference: temp_i [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/coaccessible.c:59:24: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/coaccessible.c:59:24: note: Assignment 'temp_i=malloc(sizeof(struct invtable))', assigned value is 0
foma-0.10.0+s311.20250909/coaccessible.c:62:2: note: Null pointer dereference
foma-0.10.0+s311.20250909/coaccessible.c:46:14: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/coaccessible.c:40:20: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/coaccessible.c:40:20: note: Assignment 'inverses=calloc(net->statecount,sizeof(struct invtable))', assigned value is 0
foma-0.10.0+s311.20250909/coaccessible.c:46:14: note: Null pointer addition
foma-0.10.0+s311.20250909/coaccessible.c:47:12: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/coaccessible.c:41:17: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/coaccessible.c:41:17: note: Assignment 'coacc=malloc(sizeof(int)*net->statecount)', assigned value is 0
foma-0.10.0+s311.20250909/coaccessible.c:47:12: note: Null pointer addition
foma-0.10.0+s311.20250909/coaccessible.c:48:12: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/coaccessible.c:43:17: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/coaccessible.c:43:17: note: Assignment 'added=malloc(sizeof(int)*net->statecount)', assigned value is 0
foma-0.10.0+s311.20250909/coaccessible.c:48:12: note: Null pointer addition
foma-0.10.0+s311.20250909/define.c:108:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/define.c:118:2: warning: If memory allocation fails, then there is a possible null pointer dereference: d [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/define.c:117:12: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/define.c:117:12: note: Assignment 'd=malloc(sizeof(struct defined_functions))', assigned value is 0
foma-0.10.0+s311.20250909/define.c:118:2: note: Null pointer dereference
foma-0.10.0+s311.20250909/define.c:121:5: warning: If memory allocation fails, then there is a possible null pointer dereference: d [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/define.c:117:12: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/define.c:117:12: note: Assignment 'd=malloc(sizeof(struct defined_functions))', assigned value is 0
foma-0.10.0+s311.20250909/define.c:121:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/define.c:122:5: warning: If memory allocation fails, then there is a possible null pointer dereference: d [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/define.c:117:12: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/define.c:117:12: note: Assignment 'd=malloc(sizeof(struct defined_functions))', assigned value is 0
foma-0.10.0+s311.20250909/define.c:122:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/define.c:123:5: warning: If memory allocation fails, then there is a possible null pointer dereference: d [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/define.c:117:12: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/define.c:117:12: note: Assignment 'd=malloc(sizeof(struct defined_functions))', assigned value is 0
foma-0.10.0+s311.20250909/define.c:123:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/define.c:153:2: warning: If memory allocation fails, then there is a possible null pointer dereference: d [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/define.c:152:12: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/define.c:152:12: note: Assignment 'd=malloc(sizeof(struct defined_networks))', assigned value is 0
foma-0.10.0+s311.20250909/define.c:153:2: note: Null pointer dereference
foma-0.10.0+s311.20250909/define.c:156:5: warning: If memory allocation fails, then there is a possible null pointer dereference: d [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/define.c:152:12: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/define.c:152:12: note: Assignment 'd=malloc(sizeof(struct defined_networks))', assigned value is 0
foma-0.10.0+s311.20250909/define.c:156:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/define.c:157:5: warning: If memory allocation fails, then there is a possible null pointer dereference: d [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/define.c:152:12: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/define.c:152:12: note: Assignment 'd=malloc(sizeof(struct defined_networks))', assigned value is 0
foma-0.10.0+s311.20250909/define.c:157:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/define.c:12:62: style: Parameter 'string' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/define.c:38:56: style: Parameter 'string' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/define.c:89:67: style: Parameter 'name' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/define.c:100:64: style: Parameter 'name' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/define.c:100:76: style: Parameter 'regex' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/define.c:131:70: style: Parameter 'string' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/apply.c:92:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable symbol [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/apply.c:297:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable searchstack [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/apply.c:346:57: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable searchstack [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/apply.c:493:63: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable apply_state_index [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/apply.c:607:100: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable out [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/apply.c:642:94: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable state_no [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/apply.c:821:66: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable state_no [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/apply.c:1071:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable signumber [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/apply.c:1171:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable sigma_trie [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/apply.c:1220:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable sigmatch_array [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/apply.c:1298:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable sigmatch_array [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/apply.c:1351:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable flag_list [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/apply.c:1487:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/determinize.c:564:72: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable size [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/constructions.c:264:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable final [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/constructions.c:2517:85: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable state_no [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/dynarray.c:150:5: error: Common realloc mistake: 'current_fsm_head' nulled but not freed upon failure [memleakOnRealloc]
foma-0.10.0+s311.20250909/dynarray.c:191:5: error: Memory leak: handle.fsm_state_list [memleak]
foma-0.10.0+s311.20250909/dynarray.c:191:5: error: Memory leak: handle.fsm_sigma_list [memleak]
foma-0.10.0+s311.20250909/dynarray.c:191:5: error: Memory leak: handle.fsm_sigma_hash [memleak]
foma-0.10.0+s311.20250909/dynarray.c:191:5: error: Memory leak: handle.name [memleak]
foma-0.10.0+s311.20250909/dynarray.c:177:5: warning: If memory allocation fails, then there is a possible null pointer dereference: handle [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/dynarray.c:176:20: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/dynarray.c:176:20: note: Assignment 'handle=malloc(sizeof(struct fsm_construct_handle))', assigned value is 0
foma-0.10.0+s311.20250909/dynarray.c:177:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:178:5: warning: If memory allocation fails, then there is a possible null pointer dereference: handle [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/dynarray.c:176:20: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/dynarray.c:176:20: note: Assignment 'handle=malloc(sizeof(struct fsm_construct_handle))', assigned value is 0
foma-0.10.0+s311.20250909/dynarray.c:178:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:179:5: warning: If memory allocation fails, then there is a possible null pointer dereference: handle [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/dynarray.c:176:20: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/dynarray.c:176:20: note: Assignment 'handle=malloc(sizeof(struct fsm_construct_handle))', assigned value is 0
foma-0.10.0+s311.20250909/dynarray.c:179:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:180:5: warning: If memory allocation fails, then there is a possible null pointer dereference: handle [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/dynarray.c:176:20: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/dynarray.c:176:20: note: Assignment 'handle=malloc(sizeof(struct fsm_construct_handle))', assigned value is 0
foma-0.10.0+s311.20250909/dynarray.c:180:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:181:5: warning: If memory allocation fails, then there is a possible null pointer dereference: handle [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/dynarray.c:176:20: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/dynarray.c:176:20: note: Assignment 'handle=malloc(sizeof(struct fsm_construct_handle))', assigned value is 0
foma-0.10.0+s311.20250909/dynarray.c:181:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:182:5: warning: If memory allocation fails, then there is a possible null pointer dereference: handle [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/dynarray.c:176:20: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/dynarray.c:176:20: note: Assignment 'handle=malloc(sizeof(struct fsm_construct_handle))', assigned value is 0
foma-0.10.0+s311.20250909/dynarray.c:182:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:183:5: warning: If memory allocation fails, then there is a possible null pointer dereference: handle [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/dynarray.c:176:20: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/dynarray.c:176:20: note: Assignment 'handle=malloc(sizeof(struct fsm_construct_handle))', assigned value is 0
foma-0.10.0+s311.20250909/dynarray.c:183:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:184:5: warning: If memory allocation fails, then there is a possible null pointer dereference: handle [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/dynarray.c:176:20: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/dynarray.c:176:20: note: Assignment 'handle=malloc(sizeof(struct fsm_construct_handle))', assigned value is 0
foma-0.10.0+s311.20250909/dynarray.c:184:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:186:9: warning: If memory allocation fails, then there is a possible null pointer dereference: handle [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/dynarray.c:176:20: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/dynarray.c:176:20: note: Assignment 'handle=malloc(sizeof(struct fsm_construct_handle))', assigned value is 0
foma-0.10.0+s311.20250909/dynarray.c:186:9: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:188:9: warning: If memory allocation fails, then there is a possible null pointer dereference: handle [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/dynarray.c:176:20: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/dynarray.c:176:20: note: Assignment 'handle=malloc(sizeof(struct fsm_construct_handle))', assigned value is 0
foma-0.10.0+s311.20250909/dynarray.c:188:9: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:190:5: warning: If memory allocation fails, then there is a possible null pointer dereference: handle [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/dynarray.c:176:20: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/dynarray.c:176:20: note: Assignment 'handle=malloc(sizeof(struct fsm_construct_handle))', assigned value is 0
foma-0.10.0+s311.20250909/dynarray.c:190:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:256:5: warning: If memory allocation fails, then there is a possible null pointer dereference: tl [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/dynarray.c:255:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/dynarray.c:255:16: note: Assignment 'tl=malloc(sizeof(struct fsm_trans_list))', assigned value is 0
foma-0.10.0+s311.20250909/dynarray.c:256:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:262:5: warning: If memory allocation fails, then there is a possible null pointer dereference: tl [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/dynarray.c:255:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/dynarray.c:255:16: note: Assignment 'tl=malloc(sizeof(struct fsm_trans_list))', assigned value is 0
foma-0.10.0+s311.20250909/dynarray.c:262:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:263:5: warning: If memory allocation fails, then there is a possible null pointer dereference: tl [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/dynarray.c:255:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/dynarray.c:255:16: note: Assignment 'tl=malloc(sizeof(struct fsm_trans_list))', assigned value is 0
foma-0.10.0+s311.20250909/dynarray.c:263:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:264:5: warning: If memory allocation fails, then there is a possible null pointer dereference: tl [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/dynarray.c:255:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/dynarray.c:255:16: note: Assignment 'tl=malloc(sizeof(struct fsm_trans_list))', assigned value is 0
foma-0.10.0+s311.20250909/dynarray.c:264:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:292:5: warning: If memory allocation fails, then there is a possible null pointer dereference: tl [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/dynarray.c:291:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/dynarray.c:291:16: note: Assignment 'tl=malloc(sizeof(struct fsm_trans_list))', assigned value is 0
foma-0.10.0+s311.20250909/dynarray.c:292:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:294:5: warning: If memory allocation fails, then there is a possible null pointer dereference: tl [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/dynarray.c:291:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/dynarray.c:291:16: note: Assignment 'tl=malloc(sizeof(struct fsm_trans_list))', assigned value is 0
foma-0.10.0+s311.20250909/dynarray.c:294:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:295:5: warning: If memory allocation fails, then there is a possible null pointer dereference: tl [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/dynarray.c:291:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/dynarray.c:291:16: note: Assignment 'tl=malloc(sizeof(struct fsm_trans_list))', assigned value is 0
foma-0.10.0+s311.20250909/dynarray.c:295:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:296:5: warning: If memory allocation fails, then there is a possible null pointer dereference: tl [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/dynarray.c:291:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/dynarray.c:291:16: note: Assignment 'tl=malloc(sizeof(struct fsm_trans_list))', assigned value is 0
foma-0.10.0+s311.20250909/dynarray.c:296:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:330:6: warning: If memory allocation fails, then there is a possible null pointer dereference: newfh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/dynarray.c:329:20: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/dynarray.c:329:20: note: Assignment 'newfh=calloc(1,sizeof(struct fsm_sigma_hash))', assigned value is 0
foma-0.10.0+s311.20250909/dynarray.c:330:6: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:332:6: warning: If memory allocation fails, then there is a possible null pointer dereference: newfh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/dynarray.c:329:20: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/dynarray.c:329:20: note: Assignment 'newfh=calloc(1,sizeof(struct fsm_sigma_hash))', assigned value is 0
foma-0.10.0+s311.20250909/dynarray.c:332:6: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:333:6: warning: If memory allocation fails, then there is a possible null pointer dereference: newfh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/dynarray.c:329:20: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/dynarray.c:329:20: note: Assignment 'newfh=calloc(1,sizeof(struct fsm_sigma_hash))', assigned value is 0
foma-0.10.0+s311.20250909/dynarray.c:333:6: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:379:9: warning: If memory allocation fails, then there is a possible null pointer dereference: newfh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/dynarray.c:378:23: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/dynarray.c:378:23: note: Assignment 'newfh=calloc(1,sizeof(struct fsm_sigma_hash))', assigned value is 0
foma-0.10.0+s311.20250909/dynarray.c:379:9: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:381:9: warning: If memory allocation fails, then there is a possible null pointer dereference: newfh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/dynarray.c:378:23: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/dynarray.c:378:23: note: Assignment 'newfh=calloc(1,sizeof(struct fsm_sigma_hash))', assigned value is 0
foma-0.10.0+s311.20250909/dynarray.c:381:9: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:382:9: warning: If memory allocation fails, then there is a possible null pointer dereference: newfh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/dynarray.c:378:23: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/dynarray.c:378:23: note: Assignment 'newfh=calloc(1,sizeof(struct fsm_sigma_hash))', assigned value is 0
foma-0.10.0+s311.20250909/dynarray.c:382:9: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:411:13: warning: If memory allocation fails, then there is a possible null pointer dereference: newsigma [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/dynarray.c:410:30: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/dynarray.c:410:30: note: Assignment 'newsigma=malloc(sizeof(struct sigma))', assigned value is 0
foma-0.10.0+s311.20250909/dynarray.c:411:13: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:412:13: warning: If memory allocation fails, then there is a possible null pointer dereference: newsigma [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/dynarray.c:410:30: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/dynarray.c:410:30: note: Assignment 'newsigma=malloc(sizeof(struct sigma))', assigned value is 0
foma-0.10.0+s311.20250909/dynarray.c:412:13: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:413:13: warning: If memory allocation fails, then there is a possible null pointer dereference: newsigma [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/dynarray.c:410:30: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/dynarray.c:410:30: note: Assignment 'newsigma=malloc(sizeof(struct sigma))', assigned value is 0
foma-0.10.0+s311.20250909/dynarray.c:413:13: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:505:30: style: Local variable 'num_initials' shadows outer variable [shadowVariable]
foma-0.10.0+s311.20250909/dynarray.c:38:119: note: Shadowed declaration
foma-0.10.0+s311.20250909/dynarray.c:505:30: note: Shadow variable
foma-0.10.0+s311.20250909/dynarray.c:505:44: style: Local variable 'num_finals' shadows outer variable [shadowVariable]
foma-0.10.0+s311.20250909/dynarray.c:38:107: note: Shadowed declaration
foma-0.10.0+s311.20250909/dynarray.c:505:44: note: Shadow variable
foma-0.10.0+s311.20250909/determinize.c:455:5: error: Common realloc mistake: 'T_ptr' nulled but not freed upon failure [memleakOnRealloc]
foma-0.10.0+s311.20250909/determinize.c:709:9: error: Common realloc mistake: 'set_table' nulled but not freed upon failure [memleakOnRealloc]
foma-0.10.0+s311.20250909/determinize.c:532:24: warning: If memory allocation fails, then there is a possible null pointer dereference: ptr->next [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/determinize.c:531:39: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/determinize.c:531:39: note: Assignment 'ptr->next=malloc(sizeof(struct e_closure_memo))', assigned value is 0
foma-0.10.0+s311.20250909/determinize.c:532:24: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:174:55: style: Parameter 'name' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/determinize.c:740:3: warning: If memory allocation fails, then there is a possible null pointer dereference: tableptr [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/determinize.c:739:20: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/determinize.c:739:20: note: Assignment 'tableptr=malloc(sizeof(struct nhash_list))', assigned value is 0
foma-0.10.0+s311.20250909/determinize.c:740:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:267:43: style: Parameter 'symbol' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/determinize.c:742:3: warning: If memory allocation fails, then there is a possible null pointer dereference: tableptr [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/determinize.c:739:20: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/determinize.c:739:20: note: Assignment 'tableptr=malloc(sizeof(struct nhash_list))', assigned value is 0
foma-0.10.0+s311.20250909/determinize.c:742:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:387:61: style: Parameter 'handle' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/determinize.c:743:3: warning: If memory allocation fails, then there is a possible null pointer dereference: tableptr [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/determinize.c:739:20: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/determinize.c:739:20: note: Assignment 'tableptr=malloc(sizeof(struct nhash_list))', assigned value is 0
foma-0.10.0+s311.20250909/determinize.c:743:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:494:47: style: Parameter 'h' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/determinize.c:744:3: warning: If memory allocation fails, then there is a possible null pointer dereference: tableptr [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/determinize.c:739:20: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/determinize.c:739:20: note: Assignment 'tableptr=malloc(sizeof(struct nhash_list))', assigned value is 0
foma-0.10.0+s311.20250909/determinize.c:744:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:498:49: style: Parameter 'h' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/determinize.c:746:38: warning: If memory allocation fails, then there is a possible null pointer dereference: tableptr [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/determinize.c:739:20: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/determinize.c:739:20: note: Assignment 'tableptr=malloc(sizeof(struct nhash_list))', assigned value is 0
foma-0.10.0+s311.20250909/determinize.c:746:38: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:623:51: style: Parameter 'handle' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/determinize.c:780:17: warning: If memory allocation fails, then there is a possible null pointer dereference: newptr [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/determinize.c:779:32: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/determinize.c:779:32: note: Assignment 'newptr=malloc(sizeof(struct nhash_list))', assigned value is 0
foma-0.10.0+s311.20250909/determinize.c:780:17: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:623:65: style: Parameter 'symbol' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/determinize.c:782:17: warning: If memory allocation fails, then there is a possible null pointer dereference: newptr [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/determinize.c:779:32: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/determinize.c:779:32: note: Assignment 'newptr=malloc(sizeof(struct nhash_list))', assigned value is 0
foma-0.10.0+s311.20250909/determinize.c:782:17: note: Null pointer dereference
foma-0.10.0+s311.20250909/dynarray.c:691:50: style: Parameter 'handle' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/determinize.c:783:17: warning: If memory allocation fails, then there is a possible null pointer dereference: newptr [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/determinize.c:779:32: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/determinize.c:779:32: note: Assignment 'newptr=malloc(sizeof(struct nhash_list))', assigned value is 0
foma-0.10.0+s311.20250909/determinize.c:783:17: note: Null pointer dereference
foma-0.10.0+s311.20250909/determinize.c:784:17: warning: If memory allocation fails, then there is a possible null pointer dereference: newptr [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/determinize.c:779:32: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/determinize.c:779:32: note: Assignment 'newptr=malloc(sizeof(struct nhash_list))', assigned value is 0
foma-0.10.0+s311.20250909/determinize.c:784:17: note: Null pointer dereference
foma-0.10.0+s311.20250909/determinize.c:513:29: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/determinize.c:507:28: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/determinize.c:507:28: note: Assignment 'e_closure_memo=calloc(num_states,sizeof(struct e_closure_memo))', assigned value is 0
foma-0.10.0+s311.20250909/determinize.c:513:29: note: Null pointer addition
foma-0.10.0+s311.20250909/determinize.c:516:19: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/determinize.c:510:22: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/determinize.c:510:22: note: Assignment 'redcheck=malloc(num_states*sizeof(int))', assigned value is 0
foma-0.10.0+s311.20250909/determinize.c:516:19: note: Null pointer addition
foma-0.10.0+s311.20250909/determinize.c:599:27: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/determinize.c:595:30: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/determinize.c:595:30: note: Assignment 'double_sigma_array=malloc(maxsigma*maxsigma*sizeof(int))', assigned value is 0
foma-0.10.0+s311.20250909/determinize.c:599:27: note: Null pointer addition
foma-0.10.0+s311.20250909/determinize.c:564:5: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode]
foma-0.10.0+s311.20250909/determinize.c:468:42: style:inconclusive: Function 'initial_e_closure' argument 1 names different: declaration 'network' definition 'net'. [funcArgNamesDifferent]
foma-0.10.0+s311.20250909/determinize.c:84:42: note: Function 'initial_e_closure' argument 1 names different: declaration 'network' definition 'net'.
foma-0.10.0+s311.20250909/determinize.c:468:42: note: Function 'initial_e_closure' argument 1 names different: declaration 'network' definition 'net'.
foma-0.10.0+s311.20250909/determinize.c:169:35: style: Variable 'theset' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/determinize.c:170:28: style: Variable 'transitions' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/determinize.c:330:23: style: Variable 'fsm' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/determinize.c:502:49: style: Parameter 'fsm' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/determinize.c:586:21: style: Variable 'fsm' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/determinize.c:647:20: style: Variable 'currlist' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/determinize.c:690:30: style: Parameter 'set' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/determinize.c:703:35: style: Parameter 'set' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/flags.c:77:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/flookup.c:91:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/flookup.c:122:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/flookup.c:360:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable INET_ADDRSTRLEN [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/flookup.c:242:37: warning: If memory allocation fails, then there is a possible null pointer dereference: line [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/flookup.c:239:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/flookup.c:239:15: note: Assignment 'line=calloc(65535+1,sizeof(char))', assigned value is 0
foma-0.10.0+s311.20250909/flookup.c:242:37: note: Null pointer dereference
foma-0.10.0+s311.20250909/flookup.c:247:6: warning: If memory allocation fails, then there is a possible null pointer dereference: line [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/flookup.c:239:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/flookup.c:239:15: note: Assignment 'line=calloc(65535+1,sizeof(char))', assigned value is 0
foma-0.10.0+s311.20250909/flookup.c:243:19: note: Assuming condition is false
foma-0.10.0+s311.20250909/flookup.c:247:6: note: Null pointer dereference
foma-0.10.0+s311.20250909/flookup.c:248:6: warning: If memory allocation fails, then there is a possible null pointer dereference: line [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/flookup.c:239:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/flookup.c:239:15: note: Assignment 'line=calloc(65535+1,sizeof(char))', assigned value is 0
foma-0.10.0+s311.20250909/flookup.c:243:19: note: Assuming condition is false
foma-0.10.0+s311.20250909/flookup.c:248:6: note: Null pointer dereference
foma-0.10.0+s311.20250909/flookup.c:248:19: warning: If memory allocation fails, then there is a possible null pointer dereference: line [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/flookup.c:239:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/flookup.c:239:15: note: Assignment 'line=calloc(65535+1,sizeof(char))', assigned value is 0
foma-0.10.0+s311.20250909/flookup.c:243:19: note: Assuming condition is false
foma-0.10.0+s311.20250909/flookup.c:248:19: note: Null pointer dereference
foma-0.10.0+s311.20250909/flookup.c:252:6: warning: If memory allocation fails, then there is a possible null pointer dereference: serverstring [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/flookup.c:238:23: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/flookup.c:238:23: note: Assignment 'serverstring=calloc(65535+1,sizeof(char))', assigned value is 0
foma-0.10.0+s311.20250909/flookup.c:243:19: note: Assuming condition is false
foma-0.10.0+s311.20250909/flookup.c:252:6: note: Null pointer dereference
foma-0.10.0+s311.20250909/flookup.c:87:22: style: Parameter 'result' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/apply.c:235:19: style: Expression is always true because 'else if' condition is opposite to previous condition at line 231. [multiCondition]
foma-0.10.0+s311.20250909/apply.c:231:14: note: first condition
foma-0.10.0+s311.20250909/apply.c:235:19: note: else if condition is opposite to first condition
foma-0.10.0+s311.20250909/apply.c:1415:36: style: Condition 'flist->value!=NULL' is always true [knownConditionTrueFalse]
foma-0.10.0+s311.20250909/apply.c:1423:34: style: Condition 'strcmp(value,flist->value)==0' is always true [knownConditionTrueFalse]
foma-0.10.0+s311.20250909/apply.c:1418:34: note: Assuming that condition 'strcmp(value,flist->value)!=0' is not redundant
foma-0.10.0+s311.20250909/apply.c:1423:34: note: Condition 'strcmp(value,flist->value)==0' is always true
foma-0.10.0+s311.20250909/apply.c:278:5: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:278:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:279:5: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:279:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:280:5: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:280:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:281:5: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:281:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:282:5: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:282:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:283:5: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:283:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:284:5: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:284:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:285:5: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:285:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:286:5: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:286:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:287:5: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:287:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:288:5: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:288:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:289:5: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:289:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:290:5: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:290:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:291:5: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:291:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:292:7: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:292:7: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:293:5: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:293:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:294:5: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:294:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:295:5: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:295:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:297:5: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:297:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:298:5: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:298:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:312:5: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:299:23: note: Calling function 'apply_stack_clear', 1st argument 'h' value is 0
foma-0.10.0+s311.20250909/apply.c:312:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:338:2: warning: Either the condition 'flist==NULL' is redundant or there is possible null pointer dereference: flist. [nullPointerRedundantCheck]
foma-0.10.0+s311.20250909/apply.c:336:12: note: Assuming that condition 'flist==NULL' is not redundant
foma-0.10.0+s311.20250909/apply.c:338:2: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:339:2: warning: Either the condition 'flist==NULL' is redundant or there is possible null pointer dereference: flist. [nullPointerRedundantCheck]
foma-0.10.0+s311.20250909/apply.c:336:12: note: Assuming that condition 'flist==NULL' is not redundant
foma-0.10.0+s311.20250909/apply.c:339:2: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:456:3: warning: If memory allocation fails, then there is a possible null pointer dereference: tp [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:455:14: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:455:14: note: Assignment 'tp=calloc(1,sizeof(struct pre_index))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:456:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:457:3: warning: If memory allocation fails, then there is a possible null pointer dereference: tp [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:455:14: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:455:14: note: Assignment 'tp=calloc(1,sizeof(struct pre_index))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:457:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:505:35: warning: Either the condition 'j==0' is redundant or there is possible null pointer dereference: *(indexptr+tp->state_no)+j. [nullPointerRedundantCheck]
foma-0.10.0+s311.20250909/apply.c:498:38: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:498:38: note: Assignment '*(indexptr+tp->state_no)=malloc(h->sigma_size*sizeof(struct apply_state_index))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:505:35: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:536:6: warning: If memory allocation fails, then there is a possible null pointer dereference: tempiptr [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:534:23: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:534:23: note: Assignment 'tempiptr=calloc(1,sizeof(struct apply_state_index))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:536:6: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:537:6: warning: If memory allocation fails, then there is a possible null pointer dereference: tempiptr [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:534:23: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:534:23: note: Assignment 'tempiptr=calloc(1,sizeof(struct apply_state_index))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:537:6: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:1136:5: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:296:27: note: Calling function 'apply_create_statemap', 1st argument 'h' value is 0
foma-0.10.0+s311.20250909/apply.c:1136:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:1137:5: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:296:27: note: Calling function 'apply_create_statemap', 1st argument 'h' value is 0
foma-0.10.0+s311.20250909/apply.c:1137:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:1138:5: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:296:27: note: Calling function 'apply_create_statemap', 1st argument 'h' value is 0
foma-0.10.0+s311.20250909/apply.c:1138:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:1141:4: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:296:27: note: Calling function 'apply_create_statemap', 1st argument 'h' value is 0
foma-0.10.0+s311.20250909/apply.c:1141:4: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:1142:4: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:296:27: note: Calling function 'apply_create_statemap', 1st argument 'h' value is 0
foma-0.10.0+s311.20250909/apply.c:1142:4: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:1143:4: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:296:27: note: Calling function 'apply_create_statemap', 1st argument 'h' value is 0
foma-0.10.0+s311.20250909/apply.c:1143:4: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:1146:4: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:296:27: note: Calling function 'apply_create_statemap', 1st argument 'h' value is 0
foma-0.10.0+s311.20250909/apply.c:1146:4: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:1146:39: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:296:27: note: Calling function 'apply_create_statemap', 1st argument 'h' value is 0
foma-0.10.0+s311.20250909/apply.c:1146:39: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:1147:8: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:296:27: note: Calling function 'apply_create_statemap', 1st argument 'h' value is 0
foma-0.10.0+s311.20250909/apply.c:1147:8: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:1175:3: warning: If memory allocation fails, then there is a possible null pointer dereference: sta [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:1174:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:1174:15: note: Assignment 'sta=malloc(sizeof(struct sigma_trie_arrays))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:1175:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:1176:3: warning: If memory allocation fails, then there is a possible null pointer dereference: sta [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:1174:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:1174:15: note: Assignment 'sta=malloc(sizeof(struct sigma_trie_arrays))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:1176:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:1218:5: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:300:27: note: Calling function 'apply_create_sigarray', 1st argument 'h' value is 0
foma-0.10.0+s311.20250909/apply.c:1218:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:1220:5: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:300:27: note: Calling function 'apply_create_sigarray', 1st argument 'h' value is 0
foma-0.10.0+s311.20250909/apply.c:1220:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:1221:5: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:300:27: note: Calling function 'apply_create_sigarray', 1st argument 'h' value is 0
foma-0.10.0+s311.20250909/apply.c:1221:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:1223:5: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:300:27: note: Calling function 'apply_create_sigarray', 1st argument 'h' value is 0
foma-0.10.0+s311.20250909/apply.c:1223:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:1224:5: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:300:27: note: Calling function 'apply_create_sigarray', 1st argument 'h' value is 0
foma-0.10.0+s311.20250909/apply.c:1224:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:1225:5: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:300:27: note: Calling function 'apply_create_sigarray', 1st argument 'h' value is 0
foma-0.10.0+s311.20250909/apply.c:1225:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:1230:5: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:300:27: note: Calling function 'apply_create_sigarray', 1st argument 'h' value is 0
foma-0.10.0+s311.20250909/apply.c:1230:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:1231:5: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:300:27: note: Calling function 'apply_create_sigarray', 1st argument 'h' value is 0
foma-0.10.0+s311.20250909/apply.c:1231:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:1232:5: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:300:27: note: Calling function 'apply_create_sigarray', 1st argument 'h' value is 0
foma-0.10.0+s311.20250909/apply.c:1232:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:1232:6: warning: If memory allocation fails, then there is a possible null pointer dereference: h->sigma_trie_arrays [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:1231:34: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:1231:34: note: Assignment 'h->sigma_trie_arrays=malloc(sizeof(struct sigma_trie_arrays))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:1232:6: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:1232:33: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:300:27: note: Calling function 'apply_create_sigarray', 1st argument 'h' value is 0
foma-0.10.0+s311.20250909/apply.c:1232:33: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:1233:5: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:300:27: note: Calling function 'apply_create_sigarray', 1st argument 'h' value is 0
foma-0.10.0+s311.20250909/apply.c:1233:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:1236:3: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:300:27: note: Calling function 'apply_create_sigarray', 1st argument 'h' value is 0
foma-0.10.0+s311.20250909/apply.c:1236:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:1237:16: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:300:27: note: Calling function 'apply_create_sigarray', 1st argument 'h' value is 0
foma-0.10.0+s311.20250909/apply.c:1237:16: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:1242:3: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:300:27: note: Calling function 'apply_create_sigarray', 1st argument 'h' value is 0
foma-0.10.0+s311.20250909/apply.c:1242:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:1243:3: warning: If memory allocation fails, then there is a possible null pointer dereference: h [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:275:15: note: Assignment 'h=calloc(1,sizeof(struct apply_handle))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:300:27: note: Calling function 'apply_create_sigarray', 1st argument 'h' value is 0
foma-0.10.0+s311.20250909/apply.c:1243:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:1361:5: warning: If memory allocation fails, then there is a possible null pointer dereference: flist [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:1351:31: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:1351:23: note: Assignment 'flist=h->flag_list=malloc(sizeof(struct flag_list))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:1361:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:1362:5: warning: If memory allocation fails, then there is a possible null pointer dereference: flist [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:1351:31: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:1351:23: note: Assignment 'flist=h->flag_list=malloc(sizeof(struct flag_list))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:1362:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:1363:5: warning: If memory allocation fails, then there is a possible null pointer dereference: flist [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:1351:31: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:1351:23: note: Assignment 'flist=h->flag_list=malloc(sizeof(struct flag_list))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:1363:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:1364:5: warning: If memory allocation fails, then there is a possible null pointer dereference: flist [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:1351:31: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:1351:23: note: Assignment 'flist=h->flag_list=malloc(sizeof(struct flag_list))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:1364:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/apply.c:443:12: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:441:23: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:441:23: note: Assignment 'pre_index=calloc(maxtrans+1,sizeof(struct pre_index))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:443:12: note: Null pointer addition
foma-0.10.0+s311.20250909/apply.c:1261:21: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:1259:25: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:1259:25: note: Assignment 'h->flag_lookup=malloc(sizeof(struct flag_lookup)*(maxsigma+1))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:1261:21: note: Null pointer addition
foma-0.10.0+s311.20250909/apply.c:1262:21: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:1259:25: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:1259:25: note: Assignment 'h->flag_lookup=malloc(sizeof(struct flag_lookup)*(maxsigma+1))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:1262:21: note: Null pointer addition
foma-0.10.0+s311.20250909/apply.c:1263:21: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/apply.c:1259:25: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/apply.c:1259:25: note: Assignment 'h->flag_lookup=malloc(sizeof(struct flag_lookup)*(maxsigma+1))', assigned value is 0
foma-0.10.0+s311.20250909/apply.c:1263:21: note: Null pointer addition
foma-0.10.0+s311.20250909/foma.c:81:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdin [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/foma.c:102:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable my_string [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/foma.c:215:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable rl_line_buffer [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/apply.c:85:56: style: Parameter 'symbol' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/apply.c:89:54: style: Parameter 'symbol' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/apply.c:96:59: style: Parameter 'space' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/apply.c:304:47: style: Parameter 'h' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/apply.c:813:44: style: Parameter 'h' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/apply.c:950:31: style: Variable 'pstring' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/apply.c:1058:45: style: Parameter 'h' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/apply.c:1134:23: style: Variable 'fsm' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/apply.c:1153:69: style: Parameter 'symbol' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/apply.c:1187:23: style: Variable 'fsm' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/apply.c:1380:62: style: Parameter 'name' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/apply.c:1381:31: style: Variable 'flist2' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/foma.c:56:39: style: Statements following 'return' will never be executed. [unreachableCode]
foma-0.10.0+s311.20250909/foma.c:56:20: style: Parameter 'string' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/foma.c:214:11: style: Variable 'name' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/int_stack.c:49:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/int_stack.c:83:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/iface.c:390:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/iface.c:622:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/iface.c:707:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/iface.c:726:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/iface.c:837:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/iface.c:907:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/iface.c:921:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/iface.c:934:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/iface.c:946:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/iface.c:1093:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/iface.c:1416:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/iface.c:1475:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/iface.c:1575:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/iface.c:1639:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/io.c:86:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/io.c:566:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/io.c:594:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/io.c:906:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable symbol [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/flags.c:105:66: warning: Result of operator '|' is always true if one operand is non-zero. Did you intend to use '&'? [badBitmaskCheck]
foma-0.10.0+s311.20250909/flags.c:160:6: warning: If memory allocation fails, then there is a possible null pointer dereference: string [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/flags.c:159:20: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/flags.c:159:20: note: Assignment 'string=malloc(sizeof(char)*strlen(name)+strlen(value)+6)', assigned value is 0
foma-0.10.0+s311.20250909/flags.c:160:6: note: Null pointer dereference
foma-0.10.0+s311.20250909/flags.c:161:12: warning: If memory allocation fails, then there is a possible null pointer dereference: string [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/flags.c:159:20: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/flags.c:159:20: note: Assignment 'string=malloc(sizeof(char)*strlen(name)+strlen(value)+6)', assigned value is 0
foma-0.10.0+s311.20250909/flags.c:161:12: note: Null pointer dereference
foma-0.10.0+s311.20250909/flags.c:162:12: warning: If memory allocation fails, then there is a possible null pointer dereference: string [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/flags.c:159:20: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/flags.c:159:20: note: Assignment 'string=malloc(sizeof(char)*strlen(name)+strlen(value)+6)', assigned value is 0
foma-0.10.0+s311.20250909/flags.c:162:12: note: Null pointer dereference
foma-0.10.0+s311.20250909/flags.c:163:12: warning: If memory allocation fails, then there is a possible null pointer dereference: string [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/flags.c:159:20: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/flags.c:159:20: note: Assignment 'string=malloc(sizeof(char)*strlen(name)+strlen(value)+6)', assigned value is 0
foma-0.10.0+s311.20250909/flags.c:163:12: note: Null pointer dereference
foma-0.10.0+s311.20250909/flags.c:164:12: warning: If memory allocation fails, then there is a possible null pointer dereference: string [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/flags.c:159:20: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/flags.c:159:20: note: Assignment 'string=malloc(sizeof(char)*strlen(name)+strlen(value)+6)', assigned value is 0
foma-0.10.0+s311.20250909/flags.c:164:12: note: Null pointer dereference
foma-0.10.0+s311.20250909/flags.c:169:12: warning: If memory allocation fails, then there is a possible null pointer dereference: string [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/flags.c:159:20: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/flags.c:159:20: note: Assignment 'string=malloc(sizeof(char)*strlen(name)+strlen(value)+6)', assigned value is 0
foma-0.10.0+s311.20250909/flags.c:169:12: note: Null pointer dereference
foma-0.10.0+s311.20250909/flags.c:331:13: warning: If memory allocation fails, then there is a possible null pointer dereference: flagst [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/flags.c:330:28: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/flags.c:330:28: note: Assignment 'flagst=malloc(sizeof(struct flags))', assigned value is 0
foma-0.10.0+s311.20250909/flags.c:331:13: note: Null pointer dereference
foma-0.10.0+s311.20250909/flags.c:334:13: warning: If memory allocation fails, then there is a possible null pointer dereference: flags [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/flags.c:330:28: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/flags.c:330:28: note: Assignment 'flagst=malloc(sizeof(struct flags))', assigned value is 0
foma-0.10.0+s311.20250909/flags.c:332:19: note: flags is assigned 'flagst' here.
foma-0.10.0+s311.20250909/flags.c:334:13: note: Null pointer dereference
foma-0.10.0+s311.20250909/flags.c:335:13: warning: If memory allocation fails, then there is a possible null pointer dereference: flags [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/flags.c:330:28: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/flags.c:330:28: note: Assignment 'flagst=malloc(sizeof(struct flags))', assigned value is 0
foma-0.10.0+s311.20250909/flags.c:332:19: note: flags is assigned 'flagst' here.
foma-0.10.0+s311.20250909/flags.c:335:13: note: Null pointer dereference
foma-0.10.0+s311.20250909/flags.c:336:13: warning: If memory allocation fails, then there is a possible null pointer dereference: flags [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/flags.c:330:28: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/flags.c:330:28: note: Assignment 'flagst=malloc(sizeof(struct flags))', assigned value is 0
foma-0.10.0+s311.20250909/flags.c:332:19: note: flags is assigned 'flagst' here.
foma-0.10.0+s311.20250909/flags.c:336:13: note: Null pointer dereference
foma-0.10.0+s311.20250909/flags.c:286:17: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/flags.c:283:20: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/flags.c:283:20: note: Assignment 'ftable=malloc(sizeof(int)*sigmasize)', assigned value is 0
foma-0.10.0+s311.20250909/flags.c:286:17: note: Null pointer addition
foma-0.10.0+s311.20250909/flags.c:342:22: style:inconclusive: Function 'flag_check' argument 1 names different: declaration 'sm' definition 's'. [funcArgNamesDifferent]
foma-0.10.0+s311.20250909/fomalibconf.h:289:22: note: Function 'flag_check' argument 1 names different: declaration 'sm' definition 's'.
foma-0.10.0+s311.20250909/flags.c:342:22: note: Function 'flag_check' argument 1 names different: declaration 'sm' definition 's'.
foma-0.10.0+s311.20250909/flags.c:154:48: style: Parameter 'name' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/flags.c:154:60: style: Parameter 'value' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/flags.c:195:33: style: Parameter 'fname' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/flags.c:195:46: style: Parameter 'fvalue' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/flags.c:195:72: style: Parameter 'ffname' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/flags.c:195:86: style: Parameter 'ffvalue' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/flags.c:277:41: style: Parameter 'name' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/flags.c:281:11: style: Variable 'csym' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/flags.c:342:22: style: Parameter 's' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/flags.c:383:25: style: Parameter 'string' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/lexcread.c:214:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable trans [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/lexcread.c:299:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable trans [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/lexcread.c:762:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable trans [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/lexcread.c:813:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/lexcread.c:1015:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/io.c:206:21: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled]
foma-0.10.0+s311.20250909/io.c:211:29: portability: Non reentrant function 'strtok' called. For threadsafe applications it is recommended to use the reentrant replacement function 'strtok_r'. [prohibitedstrtokCalled]
foma-0.10.0+s311.20250909/io.c:441:24: style: Redundant condition: The condition '*text != '\0'' is redundant since '*text == '\n'' is sufficient. [redundantCondition]
foma-0.10.0+s311.20250909/io.c:229:20: style: Condition 'i<=3' is always true [knownConditionTrueFalse]
foma-0.10.0+s311.20250909/io.c:221:15: note: Assuming that condition 'i>=4' is not redundant
foma-0.10.0+s311.20250909/io.c:229:20: note: Condition 'i<=3' is always true
foma-0.10.0+s311.20250909/io.c:707:5: warning: sscanf() without field width limits can crash with huge input data. [invalidscanf]
foma-0.10.0+s311.20250909/io.c:1031:9: error: Resource leak: infile [resourceLeak]
foma-0.10.0+s311.20250909/io.c:1035:9: error: Resource leak: infile [resourceLeak]
foma-0.10.0+s311.20250909/io.c:1035:9: error: Memory leak: buffer [memleak]
foma-0.10.0+s311.20250909/io.c:1041:9: error: Resource leak: infile [resourceLeak]
foma-0.10.0+s311.20250909/io.c:386:6: warning: If memory allocation fails, then there is a possible null pointer dereference: iobh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/io.c:385:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/io.c:385:18: note: Assignment 'iobh=malloc(sizeof(struct io_buf_handle))', assigned value is 0
foma-0.10.0+s311.20250909/io.c:386:6: note: Null pointer dereference
foma-0.10.0+s311.20250909/io.c:387:6: warning: If memory allocation fails, then there is a possible null pointer dereference: iobh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/io.c:385:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/io.c:385:18: note: Assignment 'iobh=malloc(sizeof(struct io_buf_handle))', assigned value is 0
foma-0.10.0+s311.20250909/io.c:387:6: note: Null pointer dereference
foma-0.10.0+s311.20250909/io.c:932:11: warning: If resource allocation fails, then there is a possible null pointer dereference: infile [nullPointerOutOfResources]
foma-0.10.0+s311.20250909/io.c:931:19: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/io.c:931:19: note: Assignment 'infile=fopen(filename,"r")', assigned value is 0
foma-0.10.0+s311.20250909/io.c:932:11: note: Null pointer dereference
foma-0.10.0+s311.20250909/io.c:933:25: warning: If resource allocation fails, then there is a possible null pointer dereference: infile [nullPointerOutOfResources]
foma-0.10.0+s311.20250909/io.c:931:19: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/io.c:931:19: note: Assignment 'infile=fopen(filename,"r")', assigned value is 0
foma-0.10.0+s311.20250909/io.c:933:25: note: Null pointer dereference
foma-0.10.0+s311.20250909/io.c:934:12: warning: If resource allocation fails, then there is a possible null pointer dereference: infile [nullPointerOutOfResources]
foma-0.10.0+s311.20250909/io.c:931:19: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/io.c:931:19: note: Assignment 'infile=fopen(filename,"r")', assigned value is 0
foma-0.10.0+s311.20250909/io.c:934:12: note: Null pointer dereference
foma-0.10.0+s311.20250909/io.c:948:11: warning: If resource allocation fails, then there is a possible null pointer dereference: infile [nullPointerOutOfResources]
foma-0.10.0+s311.20250909/io.c:947:19: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/io.c:947:19: note: Assignment 'infile=fopen(filename,"r")', assigned value is 0
foma-0.10.0+s311.20250909/io.c:948:11: note: Null pointer dereference
foma-0.10.0+s311.20250909/io.c:949:22: warning: If resource allocation fails, then there is a possible null pointer dereference: infile [nullPointerOutOfResources]
foma-0.10.0+s311.20250909/io.c:947:19: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/io.c:947:19: note: Assignment 'infile=fopen(filename,"r")', assigned value is 0
foma-0.10.0+s311.20250909/io.c:949:22: note: Null pointer dereference
foma-0.10.0+s311.20250909/io.c:950:12: warning: If resource allocation fails, then there is a possible null pointer dereference: infile [nullPointerOutOfResources]
foma-0.10.0+s311.20250909/io.c:947:19: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/io.c:947:19: note: Assignment 'infile=fopen(filename,"r")', assigned value is 0
foma-0.10.0+s311.20250909/io.c:950:12: note: Null pointer dereference
foma-0.10.0+s311.20250909/io.c:64:39: style: Parameter 'string' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/io.c:79:47: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/io.c:80:21: style: Variable 'stateptr' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/io.c:193:24: style: Variable 'delimiters' can be declared as const array [constVariable]
foma-0.10.0+s311.20250909/io.c:241:36: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/io.c:899:23: style: Variable 'fsm' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/io.c:923:41: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/io.c:942:46: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/io.c:1005:22: style: Parameter 'buffer' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/io.c:1015:25: style: Parameter 'name' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/io.c:1019:11: style: Variable 'bom' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/io.c:35:9: style: struct member 'binaryline::type' is never used. [unusedStructMember]
foma-0.10.0+s311.20250909/io.c:36:9: style: struct member 'binaryline::state' is never used. [unusedStructMember]
foma-0.10.0+s311.20250909/io.c:41:11: style: struct member 'binaryline::name' is never used. [unusedStructMember]
foma-0.10.0+s311.20250909/io.c:42:11: style: struct member 'binaryline::value' is never used. [unusedStructMember]
foma-0.10.0+s311.20250909/io.c:607:11: style: Variable 'i' is assigned a value that is never used. [unreadVariable]
foma-0.10.0+s311.20250909/iface.c:1698:28: portability: Non reentrant function 'tempnam' called. For threadsafe applications it is recommended to use the reentrant replacement function 'tempnam_r'. [prohibitedtempnamCalled]
foma-0.10.0+s311.20250909/iface.c:1711:20: portability: Non reentrant function 'tempnam' called. For threadsafe applications it is recommended to use the reentrant replacement function 'tempnam_r'. [prohibitedtempnamCalled]
foma-0.10.0+s311.20250909/iface.c:1568:18: style: Condition 's>=1024' is always true [knownConditionTrueFalse]
foma-0.10.0+s311.20250909/iface.c:1566:11: note: Assuming that condition 's<1024' is not redundant
foma-0.10.0+s311.20250909/iface.c:1568:18: note: Condition 's>=1024' is always true
foma-0.10.0+s311.20250909/iface.c:1567:9: warning: %i in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
foma-0.10.0+s311.20250909/iface.c:403:13: error: Resource leak: INFILE [resourceLeak]
foma-0.10.0+s311.20250909/iface.c:1465:14: warning: If memory allocation fails, then there is a possible null pointer dereference: mystr [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/iface.c:1464:19: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/iface.c:1464:19: note: Assignment 'mystr=malloc(sizeof(char)*40)', assigned value is 0
foma-0.10.0+s311.20250909/iface.c:1465:14: note: Null pointer dereference
foma-0.10.0+s311.20250909/iface.c:1642:11: warning: If resource allocation fails, then there is a possible null pointer dereference: dotfile [nullPointerOutOfResources]
foma-0.10.0+s311.20250909/iface.c:1637:24: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/iface.c:1637:24: note: Assignment 'dotfile=fopen(filename,"w")', assigned value is 0
foma-0.10.0+s311.20250909/iface.c:1642:11: note: Null pointer dereference
foma-0.10.0+s311.20250909/iface.c:1655:41: warning: If memory allocation fails, then there is a possible null pointer dereference: printed [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/iface.c:1652:19: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/iface.c:1652:19: note: Assignment 'printed=calloc(net->linecount,sizeof(printed))', assigned value is 0
foma-0.10.0+s311.20250909/iface.c:1655:41: note: Null pointer dereference
foma-0.10.0+s311.20250909/iface.c:1712:39: warning: If memory allocation fails, then there is a possible null pointer dereference: dotname [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/iface.c:1700:19: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/iface.c:1700:19: note: Assignment 'dotname=strdup(tmpstr)', assigned value is 0
foma-0.10.0+s311.20250909/iface.c:1712:39: note: Null pointer dereference
foma-0.10.0+s311.20250909/iface.c:1712:47: warning: If memory allocation fails, then there is a possible null pointer dereference: pngname [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/iface.c:1711:19: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/iface.c:1711:19: note: Assignment 'pngname=strdup(tempnam(NULL,"foma"))', assigned value is 0
foma-0.10.0+s311.20250909/iface.c:1712:47: note: Null pointer dereference
foma-0.10.0+s311.20250909/iface.c:1715:55: warning: If memory allocation fails, then there is a possible null pointer dereference: pngname [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/iface.c:1711:19: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/iface.c:1711:19: note: Assignment 'pngname=strdup(tempnam(NULL,"foma"))', assigned value is 0
foma-0.10.0+s311.20250909/iface.c:1715:55: note: Null pointer dereference
foma-0.10.0+s311.20250909/iface.c:304:26: style: Parameter 's' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/iface.c:324:30: style: Parameter 's' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/iface.c:351:11: style: Variable 'result' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/iface.c:378:28: style: Parameter 'infilename' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/iface.c:378:46: style: Parameter 'outfilename' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/iface.c:379:11: style: Variable 'result' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/iface.c:442:11: style: Variable 'result' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/iface.c:466:11: style: Variable 'result' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/iface.c:561:32: style: Parameter 's' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/iface.c:662:11: style: Variable 'result' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/iface.c:682:27: style: Parameter 'name' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/iface.c:719:36: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/iface.c:748:31: style: Variable 'defined_f' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/iface.c:794:11: style: Variable 'result' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/iface.c:848:11: style: Variable 'word' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/iface.c:883:17: style: Variable 'Result' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/iface.c:883:26: style: Variable 'ResultU' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/iface.c:883:36: style: Variable 'ResultL' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/iface.c:993:11: style: Variable 'result' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/iface.c:1058:32: style: Parameter 'name' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/iface.c:1069:31: style: Parameter 'name' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/iface.c:1069:43: style: Parameter 'value' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/iface.c:1229:29: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/iface.c:1232:11: style: Variable 'result' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/iface.c:1266:11: style: Variable 'result' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/iface.c:1286:31: style: Parameter 'result' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/iface.c:1371:29: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/iface.c:1408:27: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/iface.c:1469:45: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/iface.c:1470:21: style: Variable 'stateptr' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/iface.c:1556:19: style: Variable 'sigma' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/iface.c:1597:38: style: Parameter 'sigma' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/iface.c:1617:45: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/iface.c:1618:23: style: Variable 'stateptr' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/iface.c:1652:3: warning: Size of pointer 'printed' used instead of size of its data. [pointerSize]
foma-0.10.0+s311.20250909/minimize.c:292:77: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable t_count [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/minimize.c:324:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable group [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/minimize.c:594:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable inout [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/lexcread.c:426:28: style: Condition '*(name+i)!=escape' is always true [knownConditionTrueFalse]
foma-0.10.0+s311.20250909/lexcread.c:152:5: warning: If memory allocation fails, then there is a possible null pointer dereference: hnew [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:151:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:151:18: note: Assignment 'hnew=malloc(sizeof(struct lexc_hashtable))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:152:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:153:5: warning: If memory allocation fails, then there is a possible null pointer dereference: hnew [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:151:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:151:18: note: Assignment 'hnew=malloc(sizeof(struct lexc_hashtable))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:153:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:155:5: warning: If memory allocation fails, then there is a possible null pointer dereference: hnew [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:151:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:151:18: note: Assignment 'hnew=malloc(sizeof(struct lexc_hashtable))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:155:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:190:5: warning: If memory allocation fails, then there is a possible null pointer dereference: sl [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:189:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:189:16: note: Assignment 'sl=malloc(sizeof(struct statelist))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:190:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:191:5: warning: If memory allocation fails, then there is a possible null pointer dereference: s [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:766:30: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:766:30: note: Assignment 'newstate=malloc(sizeof(struct states))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:767:28: note: Calling function 'lexc_add_state', 1st argument 'newstate' value is 0
foma-0.10.0+s311.20250909/lexcread.c:191:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:192:5: warning: If memory allocation fails, then there is a possible null pointer dereference: sl [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:189:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:189:16: note: Assignment 'sl=malloc(sizeof(struct statelist))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:192:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:193:5: warning: If memory allocation fails, then there is a possible null pointer dereference: sl [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:189:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:189:16: note: Assignment 'sl=malloc(sizeof(struct statelist))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:193:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:194:5: warning: If memory allocation fails, then there is a possible null pointer dereference: sl [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:189:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:189:16: note: Assignment 'sl=malloc(sizeof(struct statelist))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:194:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:215:17: warning: If memory allocation fails, then there is a possible null pointer dereference: newtrans [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:214:34: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:214:34: note: Assignment 'newtrans=malloc(sizeof(struct trans))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:215:17: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:216:17: warning: If memory allocation fails, then there is a possible null pointer dereference: newtrans [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:214:34: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:214:34: note: Assignment 'newtrans=malloc(sizeof(struct trans))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:216:17: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:217:17: warning: If memory allocation fails, then there is a possible null pointer dereference: newtrans [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:214:34: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:214:34: note: Assignment 'newtrans=malloc(sizeof(struct trans))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:217:17: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:218:17: warning: If memory allocation fails, then there is a possible null pointer dereference: newtrans [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:214:34: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:214:34: note: Assignment 'newtrans=malloc(sizeof(struct trans))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:218:17: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:284:9: warning: If memory allocation fails, then there is a possible null pointer dereference: newstate [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:282:26: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:282:26: note: Assignment 'newstate=malloc(sizeof(struct states))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:284:9: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:285:9: warning: If memory allocation fails, then there is a possible null pointer dereference: newstate [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:282:26: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:282:26: note: Assignment 'newstate=malloc(sizeof(struct states))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:285:9: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:286:9: warning: If memory allocation fails, then there is a possible null pointer dereference: newstate [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:282:26: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:282:26: note: Assignment 'newstate=malloc(sizeof(struct states))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:286:9: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:287:9: warning: If memory allocation fails, then there is a possible null pointer dereference: newstate [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:282:26: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:282:26: note: Assignment 'newstate=malloc(sizeof(struct states))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:287:9: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:288:9: warning: If memory allocation fails, then there is a possible null pointer dereference: newstate [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:282:26: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:282:26: note: Assignment 'newstate=malloc(sizeof(struct states))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:288:9: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:289:9: warning: If memory allocation fails, then there is a possible null pointer dereference: newstate [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:282:26: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:282:26: note: Assignment 'newstate=malloc(sizeof(struct states))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:289:9: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:290:9: warning: If memory allocation fails, then there is a possible null pointer dereference: newstate [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:282:26: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:282:26: note: Assignment 'newstate=malloc(sizeof(struct states))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:290:9: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:292:9: warning: If memory allocation fails, then there is a possible null pointer dereference: s [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:291:19: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:291:19: note: Assignment 's=malloc(sizeof(struct statelist))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:292:9: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:293:9: warning: If memory allocation fails, then there is a possible null pointer dereference: s [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:291:19: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:291:19: note: Assignment 's=malloc(sizeof(struct statelist))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:293:9: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:294:9: warning: If memory allocation fails, then there is a possible null pointer dereference: s [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:291:19: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:291:19: note: Assignment 's=malloc(sizeof(struct statelist))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:294:9: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:295:9: warning: If memory allocation fails, then there is a possible null pointer dereference: s [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:291:19: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:291:19: note: Assignment 's=malloc(sizeof(struct statelist))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:295:9: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:300:5: warning: If memory allocation fails, then there is a possible null pointer dereference: newtrans [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:299:22: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:299:22: note: Assignment 'newtrans=malloc(sizeof(struct trans))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:300:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:301:5: warning: If memory allocation fails, then there is a possible null pointer dereference: newtrans [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:299:22: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:299:22: note: Assignment 'newtrans=malloc(sizeof(struct trans))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:301:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:302:5: warning: If memory allocation fails, then there is a possible null pointer dereference: newtrans [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:299:22: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:299:22: note: Assignment 'newtrans=malloc(sizeof(struct trans))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:302:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:302:25: warning: If memory allocation fails, then there is a possible null pointer dereference: slist [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:278:19: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:278:19: note: Assignment 'slist=calloc(sizeof(**slist),maxstate+1)', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:302:25: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:303:5: warning: If memory allocation fails, then there is a possible null pointer dereference: newtrans [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:299:22: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:299:22: note: Assignment 'newtrans=malloc(sizeof(struct trans))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:303:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:310:13: warning: If memory allocation fails, then there is a possible null pointer dereference: newtrans [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:309:30: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:309:30: note: Assignment 'newtrans=malloc(sizeof(struct trans))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:310:13: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:311:13: warning: If memory allocation fails, then there is a possible null pointer dereference: newtrans [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:309:30: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:309:30: note: Assignment 'newtrans=malloc(sizeof(struct trans))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:311:13: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:312:13: warning: If memory allocation fails, then there is a possible null pointer dereference: newtrans [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:309:30: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:309:30: note: Assignment 'newtrans=malloc(sizeof(struct trans))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:312:13: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:313:13: warning: If memory allocation fails, then there is a possible null pointer dereference: newtrans [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:309:30: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:309:30: note: Assignment 'newtrans=malloc(sizeof(struct trans))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:313:13: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:321:25: warning: If memory allocation fails, then there is a possible null pointer dereference: newtrans [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:320:42: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:320:42: note: Assignment 'newtrans=malloc(sizeof(struct trans))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:321:25: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:322:25: warning: If memory allocation fails, then there is a possible null pointer dereference: newtrans [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:320:42: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:320:42: note: Assignment 'newtrans=malloc(sizeof(struct trans))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:322:25: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:323:25: warning: If memory allocation fails, then there is a possible null pointer dereference: newtrans [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:320:42: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:320:42: note: Assignment 'newtrans=malloc(sizeof(struct trans))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:323:25: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:324:25: warning: If memory allocation fails, then there is a possible null pointer dereference: newtrans [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:320:42: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:320:42: note: Assignment 'newtrans=malloc(sizeof(struct trans))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:324:25: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:330:9: warning: If memory allocation fails, then there is a possible null pointer dereference: finals [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:279:20: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:279:20: note: Assignment 'finals=calloc(sizeof(int),maxstate+1)', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:330:9: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:336:13: warning: If memory allocation fails, then there is a possible null pointer dereference: newtrans [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:335:30: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:335:30: note: Assignment 'newtrans=malloc(sizeof(struct trans))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:336:13: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:336:28: warning: If memory allocation fails, then there is a possible null pointer dereference: newtrans [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:335:30: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:335:30: note: Assignment 'newtrans=malloc(sizeof(struct trans))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:336:28: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:337:13: warning: If memory allocation fails, then there is a possible null pointer dereference: newtrans [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:335:30: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:335:30: note: Assignment 'newtrans=malloc(sizeof(struct trans))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:337:13: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:339:13: warning: If memory allocation fails, then there is a possible null pointer dereference: newtrans [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:335:30: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:335:30: note: Assignment 'newtrans=malloc(sizeof(struct trans))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:339:13: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:376:5: warning: If memory allocation fails, then there is a possible null pointer dereference: l [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:375:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:375:15: note: Assignment 'l=malloc(sizeof(struct lexstates))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:376:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:377:5: warning: If memory allocation fails, then there is a possible null pointer dereference: l [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:375:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:375:15: note: Assignment 'l=malloc(sizeof(struct lexstates))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:377:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:378:5: warning: If memory allocation fails, then there is a possible null pointer dereference: l [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:375:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:375:15: note: Assignment 'l=malloc(sizeof(struct lexstates))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:378:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:379:5: warning: If memory allocation fails, then there is a possible null pointer dereference: l [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:375:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:375:15: note: Assignment 'l=malloc(sizeof(struct lexstates))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:379:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:383:5: warning: If memory allocation fails, then there is a possible null pointer dereference: newstate [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:381:22: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:381:22: note: Assignment 'newstate=malloc(sizeof(struct states))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:383:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:384:5: warning: If memory allocation fails, then there is a possible null pointer dereference: newstate [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:381:22: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:381:22: note: Assignment 'newstate=malloc(sizeof(struct states))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:384:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:385:5: warning: If memory allocation fails, then there is a possible null pointer dereference: newstate [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:381:22: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:381:22: note: Assignment 'newstate=malloc(sizeof(struct states))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:385:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:386:5: warning: If memory allocation fails, then there is a possible null pointer dereference: newstate [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:381:22: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:381:22: note: Assignment 'newstate=malloc(sizeof(struct states))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:386:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:387:5: warning: If memory allocation fails, then there is a possible null pointer dereference: l [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:375:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:375:15: note: Assignment 'l=malloc(sizeof(struct lexstates))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:387:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:390:2: warning: If memory allocation fails, then there is a possible null pointer dereference: l [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:375:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:375:15: note: Assignment 'l=malloc(sizeof(struct lexstates))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:390:2: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:512:9: warning: If memory allocation fails, then there is a possible null pointer dereference: matrix [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:509:26: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:509:26: note: Assignment 'matrix=calloc(s1len+2,sizeof(int*))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:512:9: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:513:9: warning: If memory allocation fails, then there is a possible null pointer dereference: dirmatrix [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:510:29: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:510:29: note: Assignment 'dirmatrix=calloc(s1len+2,sizeof(int*))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:513:9: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:516:5: warning: If memory allocation fails, then there is a possible null pointer dereference: matrix [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:509:26: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:509:26: note: Assignment 'matrix=calloc(s1len+2,sizeof(int*))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:516:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:517:5: warning: If memory allocation fails, then there is a possible null pointer dereference: dirmatrix [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:510:29: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:510:29: note: Assignment 'dirmatrix=calloc(s1len+2,sizeof(int*))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:517:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:519:9: warning: If memory allocation fails, then there is a possible null pointer dereference: matrix [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:509:26: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:509:26: note: Assignment 'matrix=calloc(s1len+2,sizeof(int*))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:519:9: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:519:24: warning: If memory allocation fails, then there is a possible null pointer dereference: matrix [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:509:26: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:509:26: note: Assignment 'matrix=calloc(s1len+2,sizeof(int*))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:519:24: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:520:2: warning: If memory allocation fails, then there is a possible null pointer dereference: dirmatrix [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:510:29: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:510:29: note: Assignment 'dirmatrix=calloc(s1len+2,sizeof(int*))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:520:2: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:523:9: warning: If memory allocation fails, then there is a possible null pointer dereference: matrix [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:509:26: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:509:26: note: Assignment 'matrix=calloc(s1len+2,sizeof(int*))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:523:9: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:523:24: warning: If memory allocation fails, then there is a possible null pointer dereference: matrix [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:509:26: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:509:26: note: Assignment 'matrix=calloc(s1len+2,sizeof(int*))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:523:24: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:524:2: warning: If memory allocation fails, then there is a possible null pointer dereference: dirmatrix [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:510:29: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:510:29: note: Assignment 'dirmatrix=calloc(s1len+2,sizeof(int*))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:524:2: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:690:9: warning: If memory allocation fails, then there is a possible null pointer dereference: mcnew [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:689:23: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:689:23: note: Assignment 'mcnew=malloc(sizeof(struct multichar_symbols))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:690:9: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:691:9: warning: If memory allocation fails, then there is a possible null pointer dereference: mcnew [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:689:23: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:689:23: note: Assignment 'mcnew=malloc(sizeof(struct multichar_symbols))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:691:9: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:701:9: warning: If memory allocation fails, then there is a possible null pointer dereference: mcnew [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:689:23: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:689:23: note: Assignment 'mcnew=malloc(sizeof(struct multichar_symbols))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:701:9: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:769:13: warning: If memory allocation fails, then there is a possible null pointer dereference: newstate [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:766:30: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:766:30: note: Assignment 'newstate=malloc(sizeof(struct states))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:769:13: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:770:13: warning: If memory allocation fails, then there is a possible null pointer dereference: newstate [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:766:30: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:766:30: note: Assignment 'newstate=malloc(sizeof(struct states))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:770:13: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:771:13: warning: If memory allocation fails, then there is a possible null pointer dereference: newstate [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:766:30: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:766:30: note: Assignment 'newstate=malloc(sizeof(struct states))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:771:13: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:772:13: warning: If memory allocation fails, then there is a possible null pointer dereference: newstate [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:766:30: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:766:30: note: Assignment 'newstate=malloc(sizeof(struct states))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:772:13: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:773:13: warning: If memory allocation fails, then there is a possible null pointer dereference: newstate [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:766:30: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:766:30: note: Assignment 'newstate=malloc(sizeof(struct states))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:773:13: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:774:13: warning: If memory allocation fails, then there is a possible null pointer dereference: newstate [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:766:30: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:766:30: note: Assignment 'newstate=malloc(sizeof(struct states))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:774:13: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:909:17: warning: If memory allocation fails, then there is a possible null pointer dereference: newl [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:908:30: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:908:30: note: Assignment 'newl=calloc(1,sizeof(struct lenlist))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:909:17: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:910:17: warning: If memory allocation fails, then there is a possible null pointer dereference: newl [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:908:30: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:908:30: note: Assignment 'newl=calloc(1,sizeof(struct lenlist))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:910:17: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:919:17: warning: If memory allocation fails, then there is a possible null pointer dereference: newh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:918:30: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:918:30: note: Assignment 'newh=calloc(1,sizeof(struct hashstates))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:919:17: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:920:17: warning: If memory allocation fails, then there is a possible null pointer dereference: newh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:918:30: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:918:30: note: Assignment 'newh=calloc(1,sizeof(struct hashstates))', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:920:17: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:1033:9: warning: If memory allocation fails, then there is a possible null pointer dereference: sa [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:1031:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:1031:16: note: Assignment 'sa=malloc(sizeof(struct statelist)*lexc_statecount)', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:1033:9: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:1034:9: warning: If memory allocation fails, then there is a possible null pointer dereference: sa [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:1031:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:1031:16: note: Assignment 'sa=malloc(sizeof(struct statelist)*lexc_statecount)', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:1034:9: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:1035:9: warning: If memory allocation fails, then there is a possible null pointer dereference: sa [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:1031:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:1031:16: note: Assignment 'sa=malloc(sizeof(struct statelist)*lexc_statecount)', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:1035:9: note: Null pointer dereference
foma-0.10.0+s311.20250909/lexcread.c:283:16: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/lexcread.c:278:19: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/lexcread.c:278:19: note: Assignment 'slist=calloc(sizeof(**slist),maxstate+1)', assigned value is 0
foma-0.10.0+s311.20250909/lexcread.c:283:16: note: Null pointer addition
foma-0.10.0+s311.20250909/lexcread.c:511:17: style: Local variable 'i' shadows outer variable [shadowVariable]
foma-0.10.0+s311.20250909/lexcread.c:478:9: note: Shadowed declaration
foma-0.10.0+s311.20250909/lexcread.c:511:17: note: Shadow variable
foma-0.10.0+s311.20250909/lexcread.c:570:17: style: Local variable 'i' shadows outer variable [shadowVariable]
foma-0.10.0+s311.20250909/lexcread.c:478:9: note: Shadowed declaration
foma-0.10.0+s311.20250909/lexcread.c:570:17: note: Shadow variable
foma-0.10.0+s311.20250909/lexcread.c:112:44: style: Parameter 's' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/lexcread.c:207:23: style: Variable 's' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/lexcread.c:357:37: style: Parameter 'name' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/lexcread.c:618:31: style: Variable 'mcs' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/lexcread.c:664:35: style: Parameter 'src' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/lexcread.c:705:24: style: Parameter 'symbol' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/lexcread.c:706:31: style: Variable 'mcs' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/lexcread.c:714:42: style: Parameter 'name' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/lexcread.c:792:23: style: Variable 'l' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/lexcread.c:1010:19: style: Variable 't' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/minimize.c:261:25: style: The statement 'if (E->group->first_e!=E) E->group->first_e=E' is logically equivalent to 'E->group->first_e=E'. [duplicateConditionalAssign]
foma-0.10.0+s311.20250909/minimize.c:262:23: note: Assignment 'E->group->first_e=E'
foma-0.10.0+s311.20250909/minimize.c:261:25: note: Condition 'E->group->first_e!=E' is redundant
foma-0.10.0+s311.20250909/minimize.c:646:38: warning: If memory allocation fails, then there is a possible null pointer dereference: finals [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/minimize.c:642:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/minimize.c:642:18: note: Assignment 'finals=calloc(num_states,sizeof(bool))', assigned value is 0
foma-0.10.0+s311.20250909/minimize.c:646:38: note: Null pointer dereference
foma-0.10.0+s311.20250909/minimize.c:547:7: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/minimize.c:522:13: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/minimize.c:522:13: note: Assignment 'E=calloc(num_states,sizeof(struct e))', assigned value is 0
foma-0.10.0+s311.20250909/minimize.c:547:7: note: Null pointer addition
foma-0.10.0+s311.20250909/minimize.c:579:30: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/minimize.c:568:34: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/minimize.c:568:34: note: Assignment 'trans_array_minimize=calloc(net->statecount,sizeof(struct trans_array))', assigned value is 0
foma-0.10.0+s311.20250909/minimize.c:573:29: note: Assuming condition is false
foma-0.10.0+s311.20250909/minimize.c:579:30: note: Null pointer addition
foma-0.10.0+s311.20250909/minimize.c:624:27: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/minimize.c:620:30: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/minimize.c:620:30: note: Assignment 'double_sigma_array=malloc(maxsigma*maxsigma*sizeof(int))', assigned value is 0
foma-0.10.0+s311.20250909/minimize.c:624:27: note: Null pointer addition
foma-0.10.0+s311.20250909/minimize.c:308:37: style:inconclusive: Function 'refine_states' argument 1 names different: declaration 'sym' definition 'invstates'. [funcArgNamesDifferent]
foma-0.10.0+s311.20250909/minimize.c:86:37: note: Function 'refine_states' argument 1 names different: declaration 'sym' definition 'invstates'.
foma-0.10.0+s311.20250909/minimize.c:308:37: note: Function 'refine_states' argument 1 names different: declaration 'sym' definition 'invstates'.
foma-0.10.0+s311.20250909/minimize.c:121:15: style: Variable 'temp_E' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/minimize.c:123:24: style: Variable 'transitions' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/minimize.c:562:23: style: Variable 'fsm' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/minimize.c:610:21: style: Variable 'fsm' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/minimize.c:34:24: style: struct member 'statesym::symbol' is never used. [unusedStructMember]
foma-0.10.0+s311.20250909/minimize.c:35:24: style: struct member 'statesym::states' is never used. [unusedStructMember]
foma-0.10.0+s311.20250909/minimize.c:36:22: style: struct member 'statesym::next' is never used. [unusedStructMember]
foma-0.10.0+s311.20250909/minimize.c:40:9: style: struct member 'state_list::state' is never used. [unusedStructMember]
foma-0.10.0+s311.20250909/minimize.c:41:24: style: struct member 'state_list::next' is never used. [unusedStructMember]
foma-0.10.0+s311.20250909/sigma.c:254:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable symbol [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/sigma.c:72:9: error: Memory leak: str [memleak]
foma-0.10.0+s311.20250909/sigma.c:272:5: warning: If memory allocation fails, then there is a possible null pointer dereference: newsigma [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/sigma.c:271:22: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/sigma.c:271:22: note: Assignment 'newsigma=malloc(sizeof(struct sigma))', assigned value is 0
foma-0.10.0+s311.20250909/sigma.c:272:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/sigma.c:273:5: warning: If memory allocation fails, then there is a possible null pointer dereference: newsigma [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/sigma.c:271:22: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/sigma.c:271:22: note: Assignment 'newsigma=malloc(sizeof(struct sigma))', assigned value is 0
foma-0.10.0+s311.20250909/sigma.c:273:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/sigma.c:274:5: warning: If memory allocation fails, then there is a possible null pointer dereference: newsigma [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/sigma.c:271:22: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/sigma.c:271:22: note: Assignment 'newsigma=malloc(sizeof(struct sigma))', assigned value is 0
foma-0.10.0+s311.20250909/sigma.c:274:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/sigma.c:359:2: warning: If memory allocation fails, then there is a possible null pointer dereference: copy_sigma [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/sigma.c:352:26: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/sigma.c:352:26: note: Assignment 'copy_sigma_s=malloc(sizeof(struct sigma))', assigned value is 0
foma-0.10.0+s311.20250909/sigma.c:354:23: note: Assignment 'copy_sigma=copy_sigma_s', assigned value is 0
foma-0.10.0+s311.20250909/sigma.c:359:2: note: Null pointer dereference
foma-0.10.0+s311.20250909/sigma.c:392:9: warning: If memory allocation fails, then there is a possible null pointer dereference: ssort [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/sigma.c:382:17: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/sigma.c:382:17: note: Assignment 'ssort=malloc(sizeof(struct ssort)*size)', assigned value is 0
foma-0.10.0+s311.20250909/sigma.c:392:9: note: Null pointer dereference
foma-0.10.0+s311.20250909/sigma.c:395:7: warning: If memory allocation fails, then there is a possible null pointer dereference: replacearray [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/sigma.c:393:24: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/sigma.c:393:24: note: Assignment 'replacearray=malloc(sizeof(int)*(size+3))', assigned value is 0
foma-0.10.0+s311.20250909/sigma.c:395:7: note: Null pointer dereference
foma-0.10.0+s311.20250909/sigma.c:420:3: warning: If memory allocation fails, then there is a possible null pointer dereference: sigma [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/sigma.c:419:17: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/sigma.c:419:17: note: Assignment 'sigma=malloc(sizeof(struct sigma))', assigned value is 0
foma-0.10.0+s311.20250909/sigma.c:420:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/sigma.c:421:3: warning: If memory allocation fails, then there is a possible null pointer dereference: sigma [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/sigma.c:419:17: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/sigma.c:419:17: note: Assignment 'sigma=malloc(sizeof(struct sigma))', assigned value is 0
foma-0.10.0+s311.20250909/sigma.c:421:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/sigma.c:422:3: warning: If memory allocation fails, then there is a possible null pointer dereference: sigma [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/sigma.c:419:17: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/sigma.c:419:17: note: Assignment 'sigma=malloc(sizeof(struct sigma))', assigned value is 0
foma-0.10.0+s311.20250909/sigma.c:422:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/sigma.c:254:12: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/sigma.c:252:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/sigma.c:252:16: note: Assignment 'sl=calloc(sigma_max(sigma)+1,sizeof(struct fsm_sigma_list))', assigned value is 0
foma-0.10.0+s311.20250909/sigma.c:254:12: note: Null pointer addition
foma-0.10.0+s311.20250909/sigma.c:395:26: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/sigma.c:382:17: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/sigma.c:382:17: note: Assignment 'ssort=malloc(sizeof(struct ssort)*size)', assigned value is 0
foma-0.10.0+s311.20250909/sigma.c:395:26: note: Null pointer addition
foma-0.10.0+s311.20250909/sigma.c:309:28: style:inconclusive: Function 'sigma_substitute' argument 1 names different: declaration 'orig' definition 'symbol'. [funcArgNamesDifferent]
foma-0.10.0+s311.20250909/fomalibconf.h:264:28: note: Function 'sigma_substitute' argument 1 names different: declaration 'orig' definition 'symbol'.
foma-0.10.0+s311.20250909/sigma.c:309:28: note: Function 'sigma_substitute' argument 1 names different: declaration 'orig' definition 'symbol'.
foma-0.10.0+s311.20250909/sigma.c:22:34: style: Parameter 'symbol' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/sigma.c:106:22: style: Parameter 'symbol' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/sigma.c:242:30: style: Parameter 'sigma' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/sigma.c:259:49: style: Parameter 'symbol' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/sigma.c:309:28: style: Parameter 'symbol' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/sigma.c:309:42: style: Parameter 'sub' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/sigma.c:323:22: style: Parameter 'symbol' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/sigma.c:347:40: style: Parameter 'sigma' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/spelling.c:154:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable astarnode [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/spelling.c:396:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable state_no [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/spelling.c:455:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable f [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/spelling.c:485:60: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable astarnode [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/spelling.c:622:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable state_no [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/stack.c:37:3: warning: If memory allocation fails, then there is a possible null pointer dereference: main_stack [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/stack.c:36:22: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/stack.c:36:22: note: Assignment 'main_stack=malloc(sizeof(struct stack_entry))', assigned value is 0
foma-0.10.0+s311.20250909/stack.c:37:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/stack.c:38:3: warning: If memory allocation fails, then there is a possible null pointer dereference: main_stack [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/stack.c:36:22: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/stack.c:36:22: note: Assignment 'main_stack=malloc(sizeof(struct stack_entry))', assigned value is 0
foma-0.10.0+s311.20250909/stack.c:38:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/stack.c:39:3: warning: If memory allocation fails, then there is a possible null pointer dereference: main_stack [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/stack.c:36:22: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/stack.c:36:22: note: Assignment 'main_stack=malloc(sizeof(struct stack_entry))', assigned value is 0
foma-0.10.0+s311.20250909/stack.c:39:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/stack.c:40:3: warning: If memory allocation fails, then there is a possible null pointer dereference: main_stack [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/stack.c:36:22: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/stack.c:36:22: note: Assignment 'main_stack=malloc(sizeof(struct stack_entry))', assigned value is 0
foma-0.10.0+s311.20250909/stack.c:40:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/stack.c:29:23: style: Variable 'stack_ptr' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/stack.c:175:23: style: Variable 'stack_ptr' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/rewrite.c:104:5: warning: If memory allocation fails, then there is a possible null pointer dereference: rb [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/rewrite.c:103:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/rewrite.c:103:16: note: Assignment 'rb=calloc(1,sizeof(struct rewrite_batch))', assigned value is 0
foma-0.10.0+s311.20250909/rewrite.c:104:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/rewrite.c:105:5: warning: If memory allocation fails, then there is a possible null pointer dereference: rb [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/rewrite.c:103:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/rewrite.c:103:16: note: Assignment 'rb=calloc(1,sizeof(struct rewrite_batch))', assigned value is 0
foma-0.10.0+s311.20250909/rewrite.c:105:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/rewrite.c:106:5: warning: If memory allocation fails, then there is a possible null pointer dereference: rb [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/rewrite.c:103:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/rewrite.c:103:16: note: Assignment 'rb=calloc(1,sizeof(struct rewrite_batch))', assigned value is 0
foma-0.10.0+s311.20250909/rewrite.c:106:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/rewrite.c:107:21: warning: If memory allocation fails, then there is a possible null pointer dereference: rb [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/rewrite.c:103:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/rewrite.c:103:16: note: Assignment 'rb=calloc(1,sizeof(struct rewrite_batch))', assigned value is 0
foma-0.10.0+s311.20250909/rewrite.c:107:21: note: Null pointer dereference
foma-0.10.0+s311.20250909/rewrite.c:108:10: warning: If memory allocation fails, then there is a possible null pointer dereference: rb [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/rewrite.c:103:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/rewrite.c:103:16: note: Assignment 'rb=calloc(1,sizeof(struct rewrite_batch))', assigned value is 0
foma-0.10.0+s311.20250909/rewrite.c:108:10: note: Null pointer dereference
foma-0.10.0+s311.20250909/rewrite.c:111:5: warning: If memory allocation fails, then there is a possible null pointer dereference: rb [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/rewrite.c:103:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/rewrite.c:103:16: note: Assignment 'rb=calloc(1,sizeof(struct rewrite_batch))', assigned value is 0
foma-0.10.0+s311.20250909/rewrite.c:111:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/rewrite.c:112:5: warning: If memory allocation fails, then there is a possible null pointer dereference: rb [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/rewrite.c:103:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/rewrite.c:103:16: note: Assignment 'rb=calloc(1,sizeof(struct rewrite_batch))', assigned value is 0
foma-0.10.0+s311.20250909/rewrite.c:112:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/rewrite.c:114:2: warning: If memory allocation fails, then there is a possible null pointer dereference: rb [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/rewrite.c:103:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/rewrite.c:103:16: note: Assignment 'rb=calloc(1,sizeof(struct rewrite_batch))', assigned value is 0
foma-0.10.0+s311.20250909/rewrite.c:114:2: note: Null pointer dereference
foma-0.10.0+s311.20250909/rewrite.c:114:41: warning: If memory allocation fails, then there is a possible null pointer dereference: rb [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/rewrite.c:103:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/rewrite.c:103:16: note: Assignment 'rb=calloc(1,sizeof(struct rewrite_batch))', assigned value is 0
foma-0.10.0+s311.20250909/rewrite.c:114:41: note: Null pointer dereference
foma-0.10.0+s311.20250909/rewrite.c:114:67: warning: If memory allocation fails, then there is a possible null pointer dereference: rb [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/rewrite.c:103:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/rewrite.c:103:16: note: Assignment 'rb=calloc(1,sizeof(struct rewrite_batch))', assigned value is 0
foma-0.10.0+s311.20250909/rewrite.c:114:67: note: Null pointer dereference
foma-0.10.0+s311.20250909/rewrite.c:116:5: warning: If memory allocation fails, then there is a possible null pointer dereference: rb [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/rewrite.c:103:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/rewrite.c:103:16: note: Assignment 'rb=calloc(1,sizeof(struct rewrite_batch))', assigned value is 0
foma-0.10.0+s311.20250909/rewrite.c:116:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/rewrite.c:117:34: warning: If memory allocation fails, then there is a possible null pointer dereference: rb [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/rewrite.c:103:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/rewrite.c:103:16: note: Assignment 'rb=calloc(1,sizeof(struct rewrite_batch))', assigned value is 0
foma-0.10.0+s311.20250909/rewrite.c:117:34: note: Null pointer dereference
foma-0.10.0+s311.20250909/rewrite.c:134:6: style: Variable 'dir' is assigned a value that is never used. [unreadVariable]
foma-0.10.0+s311.20250909/stringhash.c:29:5: error: Memory leak: sh.hash [memleak]
foma-0.10.0+s311.20250909/stringhash.c:28:5: warning: If memory allocation fails, then there is a possible null pointer dereference: sh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/stringhash.c:27:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/stringhash.c:27:16: note: Assignment 'sh=malloc(sizeof(struct sh_handle))', assigned value is 0
foma-0.10.0+s311.20250909/stringhash.c:28:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/stringhash.c:86:2: warning: If memory allocation fails, then there is a possible null pointer dereference: newhash [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/stringhash.c:85:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/stringhash.c:85:18: note: Assignment 'newhash=malloc(sizeof(struct sh_hashtable))', assigned value is 0
foma-0.10.0+s311.20250909/stringhash.c:86:2: note: Null pointer dereference
foma-0.10.0+s311.20250909/stringhash.c:87:2: warning: If memory allocation fails, then there is a possible null pointer dereference: newhash [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/stringhash.c:85:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/stringhash.c:85:18: note: Assignment 'newhash=malloc(sizeof(struct sh_hashtable))', assigned value is 0
foma-0.10.0+s311.20250909/stringhash.c:87:2: note: Null pointer dereference
foma-0.10.0+s311.20250909/stringhash.c:88:2: warning: If memory allocation fails, then there is a possible null pointer dereference: newhash [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/stringhash.c:85:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/stringhash.c:85:18: note: Assignment 'newhash=malloc(sizeof(struct sh_hashtable))', assigned value is 0
foma-0.10.0+s311.20250909/stringhash.c:88:2: note: Null pointer dereference
foma-0.10.0+s311.20250909/stringhash.c:90:9: warning: If memory allocation fails, then there is a possible null pointer dereference: newhash [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/stringhash.c:85:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/stringhash.c:85:18: note: Assignment 'newhash=malloc(sizeof(struct sh_hashtable))', assigned value is 0
foma-0.10.0+s311.20250909/stringhash.c:90:9: note: Null pointer dereference
foma-0.10.0+s311.20250909/stringhash.c:50:36: style: Parameter 'sh' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/stringhash.c:76:39: style: Parameter 'sh' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/stringhash.c:94:29: style: Parameter 'string' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/spelling.c:425:28: style: Condition '*(intword+currpos)==-1' is always false [knownConditionTrueFalse]
foma-0.10.0+s311.20250909/spelling.c:153:5: warning: If memory allocation fails, then there is a possible null pointer dereference: medh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assignment 'medh=calloc(1,sizeof(struct apply_med_handle))', assigned value is 0
foma-0.10.0+s311.20250909/spelling.c:153:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/spelling.c:154:5: warning: If memory allocation fails, then there is a possible null pointer dereference: medh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assignment 'medh=calloc(1,sizeof(struct apply_med_handle))', assigned value is 0
foma-0.10.0+s311.20250909/spelling.c:154:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/spelling.c:155:5: warning: If memory allocation fails, then there is a possible null pointer dereference: medh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assignment 'medh=calloc(1,sizeof(struct apply_med_handle))', assigned value is 0
foma-0.10.0+s311.20250909/spelling.c:155:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/spelling.c:155:9: warning: If memory allocation fails, then there is a possible null pointer dereference: medh->agenda [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/spelling.c:154:26: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/spelling.c:154:26: note: Assignment 'medh->agenda=malloc(sizeof(struct astarnode)*256)', assigned value is 0
foma-0.10.0+s311.20250909/spelling.c:155:9: note: Null pointer dereference
foma-0.10.0+s311.20250909/spelling.c:156:5: warning: If memory allocation fails, then there is a possible null pointer dereference: medh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assignment 'medh=calloc(1,sizeof(struct apply_med_handle))', assigned value is 0
foma-0.10.0+s311.20250909/spelling.c:156:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/spelling.c:158:5: warning: If memory allocation fails, then there is a possible null pointer dereference: medh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assignment 'medh=calloc(1,sizeof(struct apply_med_handle))', assigned value is 0
foma-0.10.0+s311.20250909/spelling.c:158:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/spelling.c:159:5: warning: If memory allocation fails, then there is a possible null pointer dereference: medh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assignment 'medh=calloc(1,sizeof(struct apply_med_handle))', assigned value is 0
foma-0.10.0+s311.20250909/spelling.c:159:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/spelling.c:160:7: warning: If memory allocation fails, then there is a possible null pointer dereference: medh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assignment 'medh=calloc(1,sizeof(struct apply_med_handle))', assigned value is 0
foma-0.10.0+s311.20250909/spelling.c:160:7: note: Null pointer dereference
foma-0.10.0+s311.20250909/spelling.c:161:5: warning: If memory allocation fails, then there is a possible null pointer dereference: medh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assignment 'medh=calloc(1,sizeof(struct apply_med_handle))', assigned value is 0
foma-0.10.0+s311.20250909/spelling.c:161:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/spelling.c:162:5: warning: If memory allocation fails, then there is a possible null pointer dereference: medh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assignment 'medh=calloc(1,sizeof(struct apply_med_handle))', assigned value is 0
foma-0.10.0+s311.20250909/spelling.c:162:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/spelling.c:163:5: warning: If memory allocation fails, then there is a possible null pointer dereference: medh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assignment 'medh=calloc(1,sizeof(struct apply_med_handle))', assigned value is 0
foma-0.10.0+s311.20250909/spelling.c:163:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/spelling.c:168:5: warning: If memory allocation fails, then there is a possible null pointer dereference: medh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assignment 'medh=calloc(1,sizeof(struct apply_med_handle))', assigned value is 0
foma-0.10.0+s311.20250909/spelling.c:168:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/spelling.c:169:5: warning: If memory allocation fails, then there is a possible null pointer dereference: medh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assignment 'medh=calloc(1,sizeof(struct apply_med_handle))', assigned value is 0
foma-0.10.0+s311.20250909/spelling.c:169:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/spelling.c:179:5: warning: If memory allocation fails, then there is a possible null pointer dereference: medh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assignment 'medh=calloc(1,sizeof(struct apply_med_handle))', assigned value is 0
foma-0.10.0+s311.20250909/spelling.c:179:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/spelling.c:180:5: warning: If memory allocation fails, then there is a possible null pointer dereference: medh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assignment 'medh=calloc(1,sizeof(struct apply_med_handle))', assigned value is 0
foma-0.10.0+s311.20250909/spelling.c:180:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/spelling.c:181:5: warning: If memory allocation fails, then there is a possible null pointer dereference: medh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assignment 'medh=calloc(1,sizeof(struct apply_med_handle))', assigned value is 0
foma-0.10.0+s311.20250909/spelling.c:181:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/spelling.c:182:5: warning: If memory allocation fails, then there is a possible null pointer dereference: medh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assignment 'medh=calloc(1,sizeof(struct apply_med_handle))', assigned value is 0
foma-0.10.0+s311.20250909/spelling.c:182:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/spelling.c:184:5: warning: If memory allocation fails, then there is a possible null pointer dereference: medh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assignment 'medh=calloc(1,sizeof(struct apply_med_handle))', assigned value is 0
foma-0.10.0+s311.20250909/spelling.c:184:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/spelling.c:185:5: warning: If memory allocation fails, then there is a possible null pointer dereference: medh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assignment 'medh=calloc(1,sizeof(struct apply_med_handle))', assigned value is 0
foma-0.10.0+s311.20250909/spelling.c:185:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/spelling.c:186:5: warning: If memory allocation fails, then there is a possible null pointer dereference: medh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assignment 'medh=calloc(1,sizeof(struct apply_med_handle))', assigned value is 0
foma-0.10.0+s311.20250909/spelling.c:186:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/spelling.c:590:5: warning: If memory allocation fails, then there is a possible null pointer dereference: medh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assignment 'medh=calloc(1,sizeof(struct apply_med_handle))', assigned value is 0
foma-0.10.0+s311.20250909/spelling.c:177:30: note: Calling function 'fsm_create_letter_lookup', 1st argument 'medh' value is 0
foma-0.10.0+s311.20250909/spelling.c:590:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/spelling.c:595:5: warning: If memory allocation fails, then there is a possible null pointer dereference: medh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assignment 'medh=calloc(1,sizeof(struct apply_med_handle))', assigned value is 0
foma-0.10.0+s311.20250909/spelling.c:177:30: note: Calling function 'fsm_create_letter_lookup', 1st argument 'medh' value is 0
foma-0.10.0+s311.20250909/spelling.c:595:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/spelling.c:596:5: warning: If memory allocation fails, then there is a possible null pointer dereference: medh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assignment 'medh=calloc(1,sizeof(struct apply_med_handle))', assigned value is 0
foma-0.10.0+s311.20250909/spelling.c:177:30: note: Calling function 'fsm_create_letter_lookup', 1st argument 'medh' value is 0
foma-0.10.0+s311.20250909/spelling.c:596:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/spelling.c:596:31: warning: If memory allocation fails, then there is a possible null pointer dereference: medh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assignment 'medh=calloc(1,sizeof(struct apply_med_handle))', assigned value is 0
foma-0.10.0+s311.20250909/spelling.c:177:30: note: Calling function 'fsm_create_letter_lookup', 1st argument 'medh' value is 0
foma-0.10.0+s311.20250909/spelling.c:596:31: note: Null pointer dereference
foma-0.10.0+s311.20250909/spelling.c:597:5: warning: If memory allocation fails, then there is a possible null pointer dereference: medh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assignment 'medh=calloc(1,sizeof(struct apply_med_handle))', assigned value is 0
foma-0.10.0+s311.20250909/spelling.c:177:30: note: Calling function 'fsm_create_letter_lookup', 1st argument 'medh' value is 0
foma-0.10.0+s311.20250909/spelling.c:597:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/spelling.c:597:32: warning: If memory allocation fails, then there is a possible null pointer dereference: medh [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/spelling.c:152:18: note: Assignment 'medh=calloc(1,sizeof(struct apply_med_handle))', assigned value is 0
foma-0.10.0+s311.20250909/spelling.c:177:30: note: Calling function 'fsm_create_letter_lookup', 1st argument 'medh' value is 0
foma-0.10.0+s311.20250909/spelling.c:597:32: note: Null pointer dereference
foma-0.10.0+s311.20250909/spelling.c:122:47: style:inconclusive: Function 'apply_med_clear' argument 1 names different: declaration 'h' definition 'medh'. [funcArgNamesDifferent]
foma-0.10.0+s311.20250909/fomalib.h:366:55: note: Function 'apply_med_clear' argument 1 names different: declaration 'h' definition 'medh'.
foma-0.10.0+s311.20250909/spelling.c:122:47: note: Function 'apply_med_clear' argument 1 names different: declaration 'h' definition 'medh'.
foma-0.10.0+s311.20250909/spelling.c:55:23: style: Variable 'n' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/spelling.c:196:70: style: Parameter 'align' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/spelling.c:214:49: style: Parameter 'medh' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/spelling.c:218:55: style: Parameter 'medh' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/spelling.c:222:56: style: Parameter 'medh' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/spelling.c:236:23: style: Variable 'curr_node' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/spelling.c:406:42: style: Parameter 'medh' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/spelling.c:406:53: style: Parameter 'intword' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/spelling.c:408:14: style: Variable 'bitptr' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/spelling.c:408:23: style: Variable 'nbitptr' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/spelling.c:438:34: style: Variable 'lastptr' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/spelling.c:517:21: style: Variable 'vpptr' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/spelling.c:527:15: style: Variable 'sourceptr' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/spelling.c:755:11: style: Variable 'thisstring' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/spelling.c:756:19: style: Variable 'sigma' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/topsort.c:58:12: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/topsort.c:50:22: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/topsort.c:50:22: note: Assignment 'statemap=malloc(sizeof(int)*net->statecount)', assigned value is 0
foma-0.10.0+s311.20250909/topsort.c:58:12: note: Null pointer addition
foma-0.10.0+s311.20250909/topsort.c:59:12: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/topsort.c:54:22: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/topsort.c:54:22: note: Assignment 'invcount=malloc(sizeof(unsigned short)*net->statecount)', assigned value is 0
foma-0.10.0+s311.20250909/topsort.c:59:12: note: Null pointer addition
foma-0.10.0+s311.20250909/topsort.c:60:11: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/topsort.c:55:22: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/topsort.c:55:22: note: Assignment 'treated=malloc(sizeof(unsigned char)*net->statecount)', assigned value is 0
foma-0.10.0+s311.20250909/topsort.c:60:11: note: Null pointer addition
foma-0.10.0+s311.20250909/topsort.c:61:9: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/topsort.c:51:19: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/topsort.c:51:19: note: Assignment 'order=malloc(sizeof(int)*net->statecount)', assigned value is 0
foma-0.10.0+s311.20250909/topsort.c:61:9: note: Null pointer addition
foma-0.10.0+s311.20250909/topsort.c:62:13: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/topsort.c:52:23: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/topsort.c:52:23: note: Assignment 'pathcount=malloc(sizeof(long long)*net->statecount)', assigned value is 0
foma-0.10.0+s311.20250909/topsort.c:62:13: note: Null pointer addition
foma-0.10.0+s311.20250909/structures.c:69:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable state_no [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/structures.c:111:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable transitions [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/structures.c:321:64: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable state_no [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/structures.c:335:64: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable state_no [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/structures.c:544:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable state_no [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/structures.c:604:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable state_no [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/structures.c:643:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable state_no [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/structures.c:690:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable discrepancy [valueFlowBailoutIncompleteVar]
foma-0.10.0+s311.20250909/trie.c:35:5: error: Memory leak: th.trie_hash [memleak]
foma-0.10.0+s311.20250909/trie.c:35:5: error: Memory leak: th.trie_states [memleak]
foma-0.10.0+s311.20250909/trie.c:30:5: warning: If memory allocation fails, then there is a possible null pointer dereference: th [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/trie.c:29:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/trie.c:29:16: note: Assignment 'th=calloc(1,sizeof(struct fsm_trie_handle))', assigned value is 0
foma-0.10.0+s311.20250909/trie.c:30:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/trie.c:31:5: warning: If memory allocation fails, then there is a possible null pointer dereference: th [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/trie.c:29:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/trie.c:29:16: note: Assignment 'th=calloc(1,sizeof(struct fsm_trie_handle))', assigned value is 0
foma-0.10.0+s311.20250909/trie.c:31:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/trie.c:32:5: warning: If memory allocation fails, then there is a possible null pointer dereference: th [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/trie.c:29:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/trie.c:29:16: note: Assignment 'th=calloc(1,sizeof(struct fsm_trie_handle))', assigned value is 0
foma-0.10.0+s311.20250909/trie.c:32:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/trie.c:33:5: warning: If memory allocation fails, then there is a possible null pointer dereference: th [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/trie.c:29:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/trie.c:29:16: note: Assignment 'th=calloc(1,sizeof(struct fsm_trie_handle))', assigned value is 0
foma-0.10.0+s311.20250909/trie.c:33:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/trie.c:34:5: warning: If memory allocation fails, then there is a possible null pointer dereference: th [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/trie.c:29:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/trie.c:29:16: note: Assignment 'th=calloc(1,sizeof(struct fsm_trie_handle))', assigned value is 0
foma-0.10.0+s311.20250909/trie.c:34:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/trie.c:80:18: warning: If memory allocation fails, then there is a possible null pointer dereference: wcopy [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/trie.c:79:19: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/trie.c:79:19: note: Assignment 'wcopy=strdup(word)', assigned value is 0
foma-0.10.0+s311.20250909/trie.c:80:18: note: Null pointer dereference
foma-0.10.0+s311.20250909/trie.c:121:2: warning: If memory allocation fails, then there is a possible null pointer dereference: newthash [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/trie.c:120:19: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/trie.c:120:19: note: Assignment 'newthash=calloc(1,sizeof(struct trie_hash))', assigned value is 0
foma-0.10.0+s311.20250909/trie.c:121:2: note: Null pointer dereference
foma-0.10.0+s311.20250909/trie.c:122:2: warning: If memory allocation fails, then there is a possible null pointer dereference: newthash [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/trie.c:120:19: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/trie.c:120:19: note: Assignment 'newthash=calloc(1,sizeof(struct trie_hash))', assigned value is 0
foma-0.10.0+s311.20250909/trie.c:122:2: note: Null pointer dereference
foma-0.10.0+s311.20250909/trie.c:123:2: warning: If memory allocation fails, then there is a possible null pointer dereference: newthash [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/trie.c:120:19: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/trie.c:120:19: note: Assignment 'newthash=calloc(1,sizeof(struct trie_hash))', assigned value is 0
foma-0.10.0+s311.20250909/trie.c:123:2: note: Null pointer dereference
foma-0.10.0+s311.20250909/trie.c:124:2: warning: If memory allocation fails, then there is a possible null pointer dereference: newthash [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/trie.c:120:19: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/trie.c:120:19: note: Assignment 'newthash=calloc(1,sizeof(struct trie_hash))', assigned value is 0
foma-0.10.0+s311.20250909/trie.c:124:2: note: Null pointer dereference
foma-0.10.0+s311.20250909/trie.c:125:2: warning: If memory allocation fails, then there is a possible null pointer dereference: newthash [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/trie.c:120:19: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/trie.c:120:19: note: Assignment 'newthash=calloc(1,sizeof(struct trie_hash))', assigned value is 0
foma-0.10.0+s311.20250909/trie.c:125:2: note: Null pointer dereference
foma-0.10.0+s311.20250909/trie.c:138:52: style: Parameter 'insym' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/trie.c:138:65: style: Parameter 'outsym' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/utf8.c:250:5: error: Memory leak: value [memleak]
foma-0.10.0+s311.20250909/utf8.c:235:7: warning: If memory allocation fails, then there is a possible null pointer dereference: value [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/utf8.c:232:17: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/utf8.c:232:17: note: Assignment 'value=malloc(sizeof(unsigned char)*5)', assigned value is 0
foma-0.10.0+s311.20250909/utf8.c:235:7: note: Null pointer dereference
foma-0.10.0+s311.20250909/utf8.c:239:7: warning: If memory allocation fails, then there is a possible null pointer dereference: value [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/utf8.c:232:17: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/utf8.c:232:17: note: Assignment 'value=malloc(sizeof(unsigned char)*5)', assigned value is 0
foma-0.10.0+s311.20250909/utf8.c:239:7: note: Null pointer dereference
foma-0.10.0+s311.20250909/utf8.c:236:12: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/utf8.c:232:17: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/utf8.c:232:17: note: Assignment 'value=malloc(sizeof(unsigned char)*5)', assigned value is 0
foma-0.10.0+s311.20250909/utf8.c:236:12: note: Null pointer addition
foma-0.10.0+s311.20250909/utf8.c:240:12: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/utf8.c:232:17: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/utf8.c:232:17: note: Assignment 'value=malloc(sizeof(unsigned char)*5)', assigned value is 0
foma-0.10.0+s311.20250909/utf8.c:240:12: note: Null pointer addition
foma-0.10.0+s311.20250909/utf8.c:241:12: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/utf8.c:232:17: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/utf8.c:232:17: note: Assignment 'value=malloc(sizeof(unsigned char)*5)', assigned value is 0
foma-0.10.0+s311.20250909/utf8.c:241:12: note: Null pointer addition
foma-0.10.0+s311.20250909/utf8.c:141:31: style: Parameter 'oldstring' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/utf8.c:141:48: style: Parameter 'newstring' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/utf8.c:152:21: style: Parameter 'str' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/utf8.c:179:36: style: Parameter 's' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/utf8.c:206:20: style: Parameter 'str' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/utf8.c:254:23: style: Parameter 'str' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/structures.c:507:34: style: Expression is always true because 'else if' condition is opposite to previous condition at line 496. [multiCondition]
foma-0.10.0+s311.20250909/structures.c:496:27: note: first condition
foma-0.10.0+s311.20250909/structures.c:507:34: note: else if condition is opposite to first condition
foma-0.10.0+s311.20250909/structures.c:740:34: style: Expression is always true because 'else if' condition is opposite to previous condition at line 729. [multiCondition]
foma-0.10.0+s311.20250909/structures.c:729:27: note: first condition
foma-0.10.0+s311.20250909/structures.c:740:34: note: else if condition is opposite to first condition
foma-0.10.0+s311.20250909/structures.c:368:19: style: Condition 'epstrans==1' is always false [knownConditionTrueFalse]
foma-0.10.0+s311.20250909/structures.c:241:11: warning: If memory allocation fails, then there is a possible null pointer dereference: fsm [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/structures.c:240:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/structures.c:240:15: note: Assignment 'fsm=malloc(sizeof(struct fsm))', assigned value is 0
foma-0.10.0+s311.20250909/structures.c:241:11: note: Null pointer dereference
foma-0.10.0+s311.20250909/structures.c:242:3: warning: If memory allocation fails, then there is a possible null pointer dereference: fsm [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/structures.c:240:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/structures.c:240:15: note: Assignment 'fsm=malloc(sizeof(struct fsm))', assigned value is 0
foma-0.10.0+s311.20250909/structures.c:242:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/structures.c:243:3: warning: If memory allocation fails, then there is a possible null pointer dereference: fsm [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/structures.c:240:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/structures.c:240:15: note: Assignment 'fsm=malloc(sizeof(struct fsm))', assigned value is 0
foma-0.10.0+s311.20250909/structures.c:243:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/structures.c:244:3: warning: If memory allocation fails, then there is a possible null pointer dereference: fsm [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/structures.c:240:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/structures.c:240:15: note: Assignment 'fsm=malloc(sizeof(struct fsm))', assigned value is 0
foma-0.10.0+s311.20250909/structures.c:244:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/structures.c:245:3: warning: If memory allocation fails, then there is a possible null pointer dereference: fsm [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/structures.c:240:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/structures.c:240:15: note: Assignment 'fsm=malloc(sizeof(struct fsm))', assigned value is 0
foma-0.10.0+s311.20250909/structures.c:245:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/structures.c:246:3: warning: If memory allocation fails, then there is a possible null pointer dereference: fsm [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/structures.c:240:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/structures.c:240:15: note: Assignment 'fsm=malloc(sizeof(struct fsm))', assigned value is 0
foma-0.10.0+s311.20250909/structures.c:246:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/structures.c:247:3: warning: If memory allocation fails, then there is a possible null pointer dereference: fsm [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/structures.c:240:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/structures.c:240:15: note: Assignment 'fsm=malloc(sizeof(struct fsm))', assigned value is 0
foma-0.10.0+s311.20250909/structures.c:247:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/structures.c:248:3: warning: If memory allocation fails, then there is a possible null pointer dereference: fsm [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/structures.c:240:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/structures.c:240:15: note: Assignment 'fsm=malloc(sizeof(struct fsm))', assigned value is 0
foma-0.10.0+s311.20250909/structures.c:248:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/structures.c:249:3: warning: If memory allocation fails, then there is a possible null pointer dereference: fsm [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/structures.c:240:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/structures.c:240:15: note: Assignment 'fsm=malloc(sizeof(struct fsm))', assigned value is 0
foma-0.10.0+s311.20250909/structures.c:249:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/structures.c:250:3: warning: If memory allocation fails, then there is a possible null pointer dereference: fsm [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/structures.c:240:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/structures.c:240:15: note: Assignment 'fsm=malloc(sizeof(struct fsm))', assigned value is 0
foma-0.10.0+s311.20250909/structures.c:250:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/structures.c:251:3: warning: If memory allocation fails, then there is a possible null pointer dereference: fsm [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/structures.c:240:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/structures.c:240:15: note: Assignment 'fsm=malloc(sizeof(struct fsm))', assigned value is 0
foma-0.10.0+s311.20250909/structures.c:251:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/structures.c:252:3: warning: If memory allocation fails, then there is a possible null pointer dereference: fsm [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/structures.c:240:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/structures.c:240:15: note: Assignment 'fsm=malloc(sizeof(struct fsm))', assigned value is 0
foma-0.10.0+s311.20250909/structures.c:252:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/structures.c:253:3: warning: If memory allocation fails, then there is a possible null pointer dereference: fsm [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/structures.c:240:15: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/structures.c:240:15: note: Assignment 'fsm=malloc(sizeof(struct fsm))', assigned value is 0
foma-0.10.0+s311.20250909/structures.c:253:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/structures.c:282:3: warning: If memory allocation fails, then there is a possible null pointer dereference: sigma [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/structures.c:281:17: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/structures.c:281:17: note: Assignment 'sigma=malloc(sizeof(struct sigma))', assigned value is 0
foma-0.10.0+s311.20250909/structures.c:282:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/structures.c:283:3: warning: If memory allocation fails, then there is a possible null pointer dereference: sigma [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/structures.c:281:17: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/structures.c:281:17: note: Assignment 'sigma=malloc(sizeof(struct sigma))', assigned value is 0
foma-0.10.0+s311.20250909/structures.c:283:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/structures.c:284:3: warning: If memory allocation fails, then there is a possible null pointer dereference: sigma [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/structures.c:281:17: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/structures.c:281:17: note: Assignment 'sigma=malloc(sizeof(struct sigma))', assigned value is 0
foma-0.10.0+s311.20250909/structures.c:284:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/structures.c:348:2: warning: If memory allocation fails, then there is a possible null pointer dereference: sigtable [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/structures.c:346:22: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/structures.c:346:22: note: Assignment 'sigtable=calloc(sigma_max(net->sigma)+1,sizeof(int))', assigned value is 0
foma-0.10.0+s311.20250909/structures.c:348:2: note: Null pointer dereference
foma-0.10.0+s311.20250909/structures.c:816:12: warning: If memory allocation fails, then there is a possible null pointer dereference: net_copy [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/structures.c:815:22: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/structures.c:815:22: note: Assignment 'net_copy=malloc(sizeof(struct fsm))', assigned value is 0
foma-0.10.0+s311.20250909/structures.c:816:12: note: Null pointer dereference
foma-0.10.0+s311.20250909/structures.c:819:5: warning: If memory allocation fails, then there is a possible null pointer dereference: net_copy [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/structures.c:815:22: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/structures.c:815:22: note: Assignment 'net_copy=malloc(sizeof(struct fsm))', assigned value is 0
foma-0.10.0+s311.20250909/structures.c:819:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/structures.c:820:5: warning: If memory allocation fails, then there is a possible null pointer dereference: net_copy [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/structures.c:815:22: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/structures.c:815:22: note: Assignment 'net_copy=malloc(sizeof(struct fsm))', assigned value is 0
foma-0.10.0+s311.20250909/structures.c:820:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/structures.c:828:10: warning: If memory allocation fails, then there is a possible null pointer dereference: new_fsm_state [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/structures.c:827:25: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/structures.c:827:25: note: Assignment 'new_fsm_state=malloc(sizeof(struct fsm_state)*(linecount))', assigned value is 0
foma-0.10.0+s311.20250909/structures.c:828:10: note: Null pointer dereference
foma-0.10.0+s311.20250909/structures.c:865:5: warning: If memory allocation fails, then there is a possible null pointer dereference: q [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/structures.c:856:12: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/structures.c:856:12: note: Assignment 'q=malloc(sizeof(struct defined_quantifiers))', assigned value is 0
foma-0.10.0+s311.20250909/structures.c:865:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/structures.c:866:5: warning: If memory allocation fails, then there is a possible null pointer dereference: q [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/structures.c:856:12: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/structures.c:856:12: note: Assignment 'q=malloc(sizeof(struct defined_quantifiers))', assigned value is 0
foma-0.10.0+s311.20250909/structures.c:866:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/structures.c:175:20: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/structures.c:165:19: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/structures.c:165:19: note: Assignment 'pairs=calloc(smax*smax,sizeof(char))', assigned value is 0
foma-0.10.0+s311.20250909/structures.c:171:29: note: Assuming condition is false
foma-0.10.0+s311.20250909/structures.c:175:20: note: Null pointer addition
foma-0.10.0+s311.20250909/structures.c:523:24: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/structures.c:520:27: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/structures.c:520:27: note: Assignment 'newstring=calloc(abs(newlength),sizeof(int))', assigned value is 0
foma-0.10.0+s311.20250909/structures.c:523:24: note: Null pointer addition
foma-0.10.0+s311.20250909/structures.c:752:24: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/structures.c:749:27: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/structures.c:749:27: note: Assignment 'newstring=calloc(abs(newlength),sizeof(int))', assigned value is 0
foma-0.10.0+s311.20250909/structures.c:752:24: note: Null pointer addition
foma-0.10.0+s311.20250909/structures.c:128:19: style: Variable 'sig' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/structures.c:159:23: style: Variable 'fsm' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/structures.c:235:31: style: Parameter 'name' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/structures.c:317:23: style: Variable 'fsm' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/structures.c:334:23: style: Variable 'fsm' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/structures.c:345:23: style: Variable 'fsm' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/structures.c:824:52: style: Parameter 'fsm_state' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/structures.c:833:37: style: Parameter 'fsm' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/structures.c:845:33: style: Variable 'q' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/structures.c:853:28: style: Parameter 'string' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/structures.c:898:30: style: Parameter 'string' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/structures.c:907:30: style: Parameter 'string' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/constructions.c:0:0: debug: ValueFlow maximum iterations exceeded [valueFlowMaxIterations]
foma-0.10.0+s311.20250909/constructions.c:726:26: style: Condition 'g_compose_tristate' is always true [knownConditionTrueFalse]
foma-0.10.0+s311.20250909/constructions.c:769:22: style: Condition 'g_compose_tristate' is always true [knownConditionTrueFalse]
foma-0.10.0+s311.20250909/constructions.c:812:22: style: Condition 'g_compose_tristate' is always true [knownConditionTrueFalse]
foma-0.10.0+s311.20250909/constructions.c:302:5: error: Memory leak: th.triplets [memleak]
foma-0.10.0+s311.20250909/constructions.c:296:5: warning: If memory allocation fails, then there is a possible null pointer dereference: th [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/constructions.c:295:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/constructions.c:295:16: note: Assignment 'th=malloc(sizeof(struct triplethash))', assigned value is 0
foma-0.10.0+s311.20250909/constructions.c:296:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/constructions.c:297:5: warning: If memory allocation fails, then there is a possible null pointer dereference: th [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/constructions.c:295:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/constructions.c:295:16: note: Assignment 'th=malloc(sizeof(struct triplethash))', assigned value is 0
foma-0.10.0+s311.20250909/constructions.c:297:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/constructions.c:298:5: warning: If memory allocation fails, then there is a possible null pointer dereference: th [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/constructions.c:295:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/constructions.c:295:16: note: Assignment 'th=malloc(sizeof(struct triplethash))', assigned value is 0
foma-0.10.0+s311.20250909/constructions.c:298:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/constructions.c:298:65: warning: If memory allocation fails, then there is a possible null pointer dereference: th [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/constructions.c:295:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/constructions.c:295:16: note: Assignment 'th=malloc(sizeof(struct triplethash))', assigned value is 0
foma-0.10.0+s311.20250909/constructions.c:298:65: note: Null pointer dereference
foma-0.10.0+s311.20250909/constructions.c:299:21: warning: If memory allocation fails, then there is a possible null pointer dereference: th [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/constructions.c:295:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/constructions.c:295:16: note: Assignment 'th=malloc(sizeof(struct triplethash))', assigned value is 0
foma-0.10.0+s311.20250909/constructions.c:299:21: note: Null pointer dereference
foma-0.10.0+s311.20250909/constructions.c:300:3: warning: If memory allocation fails, then there is a possible null pointer dereference: th [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/constructions.c:295:16: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/constructions.c:295:16: note: Assignment 'th=malloc(sizeof(struct triplethash))', assigned value is 0
foma-0.10.0+s311.20250909/constructions.c:300:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/constructions.c:300:15: warning: Possible null pointer dereference: th->triplets+i [nullPointer]
foma-0.10.0+s311.20250909/constructions.c:298:26: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/constructions.c:298:26: note: Assignment 'th->triplets=malloc(sizeof(struct triplethash_triplets)*th->tablesize)', assigned value is 0
foma-0.10.0+s311.20250909/constructions.c:300:15: note: Null pointer dereference
foma-0.10.0+s311.20250909/constructions.c:852:5: warning: If memory allocation fails, then there is a possible null pointer dereference: msigma [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/constructions.c:849:26: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/constructions.c:849:26: note: Assignment 'msigma->next=malloc(sizeof(struct mergesigma))', assigned value is 0
foma-0.10.0+s311.20250909/constructions.c:851:20: note: Assignment 'msigma=msigma->next', assigned value is 0
foma-0.10.0+s311.20250909/constructions.c:852:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/constructions.c:879:2: warning: If memory allocation fails, then there is a possible null pointer dereference: sigma [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/constructions.c:873:20: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/constructions.c:873:20: note: Assignment 'sigma=malloc(sizeof(struct sigma))', assigned value is 0
foma-0.10.0+s311.20250909/constructions.c:879:2: note: Null pointer dereference
foma-0.10.0+s311.20250909/constructions.c:880:2: warning: If memory allocation fails, then there is a possible null pointer dereference: sigma [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/constructions.c:873:20: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/constructions.c:873:20: note: Assignment 'sigma=malloc(sizeof(struct sigma))', assigned value is 0
foma-0.10.0+s311.20250909/constructions.c:880:2: note: Null pointer dereference
foma-0.10.0+s311.20250909/constructions.c:882:2: warning: If memory allocation fails, then there is a possible null pointer dereference: sigma [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/constructions.c:873:20: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/constructions.c:873:20: note: Assignment 'sigma=malloc(sizeof(struct sigma))', assigned value is 0
foma-0.10.0+s311.20250909/constructions.c:882:2: note: Null pointer dereference
foma-0.10.0+s311.20250909/constructions.c:921:3: warning: If memory allocation fails, then there is a possible null pointer dereference: mergesigma [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/constructions.c:920:22: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/constructions.c:920:22: note: Assignment 'mergesigma=malloc(sizeof(struct mergesigma))', assigned value is 0
foma-0.10.0+s311.20250909/constructions.c:921:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/constructions.c:922:3: warning: If memory allocation fails, then there is a possible null pointer dereference: mergesigma [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/constructions.c:920:22: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/constructions.c:920:22: note: Assignment 'mergesigma=malloc(sizeof(struct mergesigma))', assigned value is 0
foma-0.10.0+s311.20250909/constructions.c:922:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/constructions.c:923:3: warning: If memory allocation fails, then there is a possible null pointer dereference: mergesigma [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/constructions.c:920:22: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/constructions.c:920:22: note: Assignment 'mergesigma=malloc(sizeof(struct mergesigma))', assigned value is 0
foma-0.10.0+s311.20250909/constructions.c:923:3: note: Null pointer dereference
foma-0.10.0+s311.20250909/constructions.c:1453:5: warning: If memory allocation fails, then there is a possible null pointer dereference: starts [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/constructions.c:1432:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/constructions.c:1432:18: note: Assignment 'starts=malloc(sizeof(short)*(statecount+1))', assigned value is 0
foma-0.10.0+s311.20250909/constructions.c:1453:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/constructions.c:1454:5: warning: If memory allocation fails, then there is a possible null pointer dereference: finals [nullPointerOutOfMemory]
foma-0.10.0+s311.20250909/constructions.c:1433:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/constructions.c:1433:18: note: Assignment 'finals=malloc(sizeof(short)*(statecount+1))', assigned value is 0
foma-0.10.0+s311.20250909/constructions.c:1454:5: note: Null pointer dereference
foma-0.10.0+s311.20250909/constructions.c:1727:25: warning: Either the condition 'substitute!=NULL' is redundant or there is possible null pointer dereference: substitute. [nullPointerRedundantCheck]
foma-0.10.0+s311.20250909/constructions.c:1735:25: note: Assuming that condition 'substitute!=NULL' is not redundant
foma-0.10.0+s311.20250909/constructions.c:1727:25: note: Null pointer dereference
foma-0.10.0+s311.20250909/constructions.c:1733:16: warning: Either the condition 'substitute!=NULL' is redundant or there is possible null pointer dereference: substitute. [nullPointerRedundantCheck]
foma-0.10.0+s311.20250909/constructions.c:1735:25: note: Assuming that condition 'substitute!=NULL' is not redundant
foma-0.10.0+s311.20250909/constructions.c:1733:16: note: Null pointer dereference
foma-0.10.0+s311.20250909/constructions.c:258:15: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/constructions.c:256:21: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/constructions.c:256:21: note: Assignment 'state_arr=malloc(sizeof(struct state_arr)*(states+1))', assigned value is 0
foma-0.10.0+s311.20250909/constructions.c:258:15: note: Null pointer addition
foma-0.10.0+s311.20250909/constructions.c:259:15: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/constructions.c:256:21: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/constructions.c:256:21: note: Assignment 'state_arr=malloc(sizeof(struct state_arr)*(states+1))', assigned value is 0
foma-0.10.0+s311.20250909/constructions.c:259:15: note: Null pointer addition
foma-0.10.0+s311.20250909/constructions.c:637:15: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/constructions.c:633:19: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/constructions.c:633:19: note: Assignment 'index=calloc(max2sigma+1,sizeof(struct index))', assigned value is 0
foma-0.10.0+s311.20250909/constructions.c:637:15: note: Null pointer addition
foma-0.10.0+s311.20250909/constructions.c:637:36: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/constructions.c:634:22: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/constructions.c:634:22: note: Assignment 'outarray=calloc((max2sigma+2)*(max2sigma+1),sizeof(struct outarray))', assigned value is 0
foma-0.10.0+s311.20250909/constructions.c:637:36: note: Null pointer addition
foma-0.10.0+s311.20250909/constructions.c:1439:12: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/constructions.c:1434:17: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/constructions.c:1434:17: note: Assignment 'sinks=malloc(sizeof(short)*(statecount+1))', assigned value is 0
foma-0.10.0+s311.20250909/constructions.c:1439:12: note: Null pointer addition
foma-0.10.0+s311.20250909/constructions.c:1440:13: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/constructions.c:1433:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/constructions.c:1433:18: note: Assignment 'finals=malloc(sizeof(short)*(statecount+1))', assigned value is 0
foma-0.10.0+s311.20250909/constructions.c:1440:13: note: Null pointer addition
foma-0.10.0+s311.20250909/constructions.c:1441:13: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/constructions.c:1432:18: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/constructions.c:1432:18: note: Assignment 'starts=malloc(sizeof(short)*(statecount+1))', assigned value is 0
foma-0.10.0+s311.20250909/constructions.c:1441:13: note: Null pointer addition
foma-0.10.0+s311.20250909/constructions.c:1520:20: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/constructions.c:1514:23: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/constructions.c:1514:23: note: Assignment 'state_table=malloc(sizeof(int)*sigsize*statecount)', assigned value is 0
foma-0.10.0+s311.20250909/constructions.c:1520:20: note: Null pointer addition
foma-0.10.0+s311.20250909/constructions.c:2419:22: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/constructions.c:2411:27: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/constructions.c:2411:27: note: Assignment 'handled_states1=malloc(sizeof(short)*states1)', assigned value is 0
foma-0.10.0+s311.20250909/constructions.c:2419:22: note: Null pointer addition
foma-0.10.0+s311.20250909/constructions.c:2422:26: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/constructions.c:2411:27: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/constructions.c:2411:27: note: Assignment 'handled_states1=malloc(sizeof(short)*states1)', assigned value is 0
foma-0.10.0+s311.20250909/constructions.c:2422:26: note: Null pointer addition
foma-0.10.0+s311.20250909/constructions.c:2498:20: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/constructions.c:2494:23: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/constructions.c:2494:23: note: Assignment 'potential=malloc(sizeof(bool)*(numsymbols+1))', assigned value is 0
foma-0.10.0+s311.20250909/constructions.c:2498:20: note: Null pointer addition
foma-0.10.0+s311.20250909/constructions.c:2499:20: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/constructions.c:2495:24: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/constructions.c:2495:24: note: Assignment 'checktable=malloc(sizeof(struct checktable)*(numsymbols+1))', assigned value is 0
foma-0.10.0+s311.20250909/constructions.c:2499:20: note: Null pointer addition
foma-0.10.0+s311.20250909/constructions.c:2500:20: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/constructions.c:2495:24: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/constructions.c:2495:24: note: Assignment 'checktable=malloc(sizeof(struct checktable)*(numsymbols+1))', assigned value is 0
foma-0.10.0+s311.20250909/constructions.c:2500:20: note: Null pointer addition
foma-0.10.0+s311.20250909/constructions.c:2822:14: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/constructions.c:2820:24: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/constructions.c:2820:24: note: Assignment 'sigmatable=malloc(maxsigma*sizeof(int))', assigned value is 0
foma-0.10.0+s311.20250909/constructions.c:2822:14: note: Null pointer addition
foma-0.10.0+s311.20250909/constructions.c:2832:18: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/constructions.c:2820:24: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/constructions.c:2820:24: note: Assignment 'sigmatable=malloc(maxsigma*sizeof(int))', assigned value is 0
foma-0.10.0+s311.20250909/constructions.c:2832:18: note: Null pointer addition
foma-0.10.0+s311.20250909/constructions.c:2885:14: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/constructions.c:2883:24: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/constructions.c:2883:24: note: Assignment 'sigmatable=malloc(maxsigma*sizeof(int))', assigned value is 0
foma-0.10.0+s311.20250909/constructions.c:2885:14: note: Null pointer addition
foma-0.10.0+s311.20250909/constructions.c:2890:18: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
foma-0.10.0+s311.20250909/constructions.c:2883:24: note: Assuming allocation function fails
foma-0.10.0+s311.20250909/constructions.c:2883:24: note: Assignment 'sigmatable=malloc(maxsigma*sizeof(int))', assigned value is 0
foma-0.10.0+s311.20250909/constructions.c:2890:18: note: Null pointer addition
foma-0.10.0+s311.20250909/constructions.c:1942:4: style: Variable 'a' is reassigned a value before the old one has been used. [redundantAssignment]
foma-0.10.0+s311.20250909/constructions.c:1941:4: note: a is assigned
foma-0.10.0+s311.20250909/constructions.c:1942:4: note: a is overwritten
foma-0.10.0+s311.20250909/constructions.c:2220:15: style: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak]
foma-0.10.0+s311.20250909/constructions.c:1355:35: style:inconclusive: Function 'fsm_union' argument 1 names different: declaration 'net_1' definition 'net1'. [funcArgNamesDifferent]
foma-0.10.0+s311.20250909/fomalib.h:241:43: note: Function 'fsm_union' argument 1 names different: declaration 'net_1' definition 'net1'.
foma-0.10.0+s311.20250909/constructions.c:1355:35: note: Function 'fsm_union' argument 1 names different: declaration 'net_1' definition 'net1'.
foma-0.10.0+s311.20250909/constructions.c:1355:53: style:inconclusive: Function 'fsm_union' argument 2 names different: declaration 'net_2' definition 'net2'. [funcArgNamesDifferent]
foma-0.10.0+s311.20250909/fomalib.h:241:62: note: Function 'fsm_union' argument 2 names different: declaration 'net_2' definition 'net2'.
foma-0.10.0+s311.20250909/constructions.c:1355:53: note: Function 'fsm_union' argument 2 names different: declaration 'net_2' definition 'net2'.
foma-0.10.0+s311.20250909/constructions.c:1577:53: style:inconclusive: Function 'fsm_kleene_closure' argument 2 names different: declaration 'optionality' definition 'operation'. [funcArgNamesDifferent]
foma-0.10.0+s311.20250909/constructions.c:46:53: note: Function 'fsm_kleene_closure' argument 2 names different: declaration 'optionality' definition 'operation'.
foma-0.10.0+s311.20250909/constructions.c:1577:53: note: Function 'fsm_kleene_closure' argument 2 names different: declaration 'optionality' definition 'operation'.
foma-0.10.0+s311.20250909/constructions.c:231:40: style: Parameter 'fsm' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/constructions.c:540:26: style: Variable 'currtail' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/constructions.c:867:50: style: Parameter 'mergesigma' can be declared as pointer to const [constParameterPointer]
foma-0.10.0+s311.20250909/constructions.c:1239:21: style: Variable 'fsm' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/constructions.c:1302:21: style: Variable 'fsm1' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/constructions.c:1302:28: style: Variable 'fsm2' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/constructions.c:1356:33: style: Variable 'fsm1' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/constructions.c:1356:40: style: Variable 'fsm2' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/constructions.c:1578:23: style: Variable 'fsm' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/constructions.c:1629:27: style: Variable 'sigprev' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/constructions.c:1757:45: style: Variable 'fsm' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/constructions.c:1914:36: style: Variable 'odd_state' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/constructions.c:2375:21: style: Variable 'fsm1' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/constructions.c:2375:28: style: Variable 'fsm2' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/constructions.c:2597:23: style: Variable 'fsm' can be declared as pointer to const [constVariablePointer]
foma-0.10.0+s311.20250909/constructions.c:1637:19: warning: Uninitialized variable: sigprev [uninitvar]
foma-0.10.0+s311.20250909/constructions.c:1634:26: note: Assuming condition is false
foma-0.10.0+s311.20250909/constructions.c:1637:19: note: Uninitialized variable: sigprev
foma-0.10.0+s311.20250909/constructions.c:1555:9: style: Variable 'offset' is assigned a value that is never used. [unreadVariable]
diff:
head foma-0.10.0+s311.20250909/apply.c:1381:31: style: Variable 'flist2' can be declared as pointer to const [constVariablePointer]
head foma-0.10.0+s311.20250909/constructions.c:1914:36: style: Variable 'odd_state' can be declared as pointer to const [constVariablePointer]
head foma-0.10.0+s311.20250909/constructions.c:867:50: style: Parameter 'mergesigma' can be declared as pointer to const [constParameterPointer]
head foma-0.10.0+s311.20250909/iface.c:1470:21: style: Variable 'stateptr' can be declared as pointer to const [constVariablePointer]
head foma-0.10.0+s311.20250909/iface.c:1556:19: style: Variable 'sigma' can be declared as pointer to const [constVariablePointer]
head foma-0.10.0+s311.20250909/iface.c:1597:38: style: Parameter 'sigma' can be declared as pointer to const [constParameterPointer]
head foma-0.10.0+s311.20250909/iface.c:748:31: style: Variable 'defined_f' can be declared as pointer to const [constVariablePointer]
head foma-0.10.0+s311.20250909/io.c:80:21: style: Variable 'stateptr' can be declared as pointer to const [constVariablePointer]
head foma-0.10.0+s311.20250909/lexcread.c:1010:19: style: Variable 't' can be declared as pointer to const [constVariablePointer]
head foma-0.10.0+s311.20250909/lexcread.c:207:23: style: Variable 's' can be declared as pointer to const [constVariablePointer]
head foma-0.10.0+s311.20250909/lexcread.c:618:31: style: Variable 'mcs' can be declared as pointer to const [constVariablePointer]
head foma-0.10.0+s311.20250909/lexcread.c:706:31: style: Variable 'mcs' can be declared as pointer to const [constVariablePointer]
head foma-0.10.0+s311.20250909/lexcread.c:792:23: style: Variable 'l' can be declared as pointer to const [constVariablePointer]
head foma-0.10.0+s311.20250909/minimize.c:121:15: style: Variable 'temp_E' can be declared as pointer to const [constVariablePointer]
head foma-0.10.0+s311.20250909/sigma.c:242:30: style: Parameter 'sigma' can be declared as pointer to const [constParameterPointer]
head foma-0.10.0+s311.20250909/sigma.c:347:40: style: Parameter 'sigma' can be declared as pointer to const [constParameterPointer]
head foma-0.10.0+s311.20250909/sigma.c:395:26: error: If memory allocation fails: pointer addition with NULL pointer. [nullPointerArithmeticOutOfMemory]
     foma-0.10.0+s311.20250909/sigma.c:382:17: note: Assuming allocation function fails
     foma-0.10.0+s311.20250909/sigma.c:382:17: note: Assignment 'ssort=malloc(sizeof(struct ssort)*size)', assigned value is 0
     foma-0.10.0+s311.20250909/sigma.c:395:26: note: Null pointer addition
head foma-0.10.0+s311.20250909/spelling.c:756:19: style: Variable 'sigma' can be declared as pointer to const [constVariablePointer]
head foma-0.10.0+s311.20250909/stack.c:175:23: style: Variable 'stack_ptr' can be declared as pointer to const [constVariablePointer]
head foma-0.10.0+s311.20250909/stack.c:29:23: style: Variable 'stack_ptr' can be declared as pointer to const [constVariablePointer]
head foma-0.10.0+s311.20250909/structures.c:128:19: style: Variable 'sig' can be declared as pointer to const [constVariablePointer]
head foma-0.10.0+s311.20250909/structures.c:845:33: style: Variable 'q' can be declared as pointer to const [constVariablePointer]


DONE