foma clang-analyzer scan-build results

User:	root@scan-build
Working Directory:	/tmp/build/foma/foma-0.10.0+g279~a2d32b38
Command Line:	make -j12 V=1 VERBOSE=1
Clang Version:	Debian clang version 16.0.6 (27+b1)
Date:	Wed Sep 11 15:59:45 2024

Bug Summary

Logic error
Bug Type	Quantity	Display?
All Bugs	47
Assigned value is garbage or undefined	2
Branch condition evaluates to a garbage value	3
Dereference of null pointer	11
Dereference of undefined pointer value	1
Result of operation is garbage or undefined	4
Uninitialized argument value	1
Memory error
Memory leak	12
Use of zero allocated	1
Unix API
Allocator sizeof operand mismatch	6
Unused code
Dead assignment	4
Dead increment	1
Dead nested assignment	1

Reports

Bug Group	Bug Type ▾	File	Function/Method	Line	Path Length
Unix API	Allocator sizeof operand mismatch	dynarray.c	fsm_read_init	516	1	View Report
Unix API	Allocator sizeof operand mismatch	flags.c	flag_twosided	500	1	View Report
Unix API	Allocator sizeof operand mismatch	structures.c	fsm_extract_nonidentity	745	1	View Report
Unix API	Allocator sizeof operand mismatch	lexcread.c	lexc_add_network	278	1	View Report
Unix API	Allocator sizeof operand mismatch	structures.c	fsm_isidentity	516	1	View Report
Unix API	Allocator sizeof operand mismatch	iface.c	print_dot	1652	1	View Report
Logic error	Assigned value is garbage or undefined	structures.c	fsm_extract_nonidentity	747	19	View Report
Logic error	Assigned value is garbage or undefined	structures.c	fsm_isidentity	518	20	View Report
Logic error	Branch condition evaluates to a garbage value	io.c	foma_write_prolog	176	11	View Report
Logic error	Branch condition evaluates to a garbage value	iface.c	print_dot	1645	11	View Report
Logic error	Branch condition evaluates to a garbage value	coaccessible.c	fsm_coaccessible	83	11	View Report
Unused code	Dead assignment	constructions.c	fsm_unflatten	1956	1	View Report
Unused code	Dead assignment	constructions.c	fsm_compose	694	1	View Report
Unused code	Dead assignment	constructions.c	fsm_unflatten	1941	1	View Report
Unused code	Dead assignment	rewrite.c	fsm_rewrite	134	1	View Report
Unused code	Dead increment	apply.c	apply_index	472	1	View Report
Unused code	Dead nested assignment	io.c	explode_line	607	1	View Report
Logic error	Dereference of null pointer	constructions.c	fsm_compose	677	23	View Report
Logic error	Dereference of null pointer	lexcread.c	lexc_merge_states	984	19	View Report
Logic error	Dereference of null pointer	apply.c	apply_check_flag	1387	4	View Report
Logic error	Dereference of null pointer	apply.c	apply_stack_pop	338	25	View Report
Logic error	Dereference of null pointer	define.c	add_defined_function	114	3	View Report
Logic error	Dereference of null pointer	apply.c	apply_index	489	39	View Report
Logic error	Dereference of null pointer	define.c	add_defined	149	7	View Report
Logic error	Dereference of null pointer	constructions.c	fsm_compose	791	34	View Report
Logic error	Dereference of null pointer	lexcread.c	lexc_number_states	813	17	View Report
Logic error	Dereference of null pointer	constructions.c	fsm_compose	748	34	View Report
Logic error	Dereference of null pointer	minimize.c	fsm_minimize_hop	155	29	View Report
Logic error	Dereference of undefined pointer value	lexcread.c	lexc_to_fsm	1045	11	View Report
Memory error	Memory leak	structures.c	fsm_extract_nonidentity	796	36	View Report
Memory error	Memory leak	iface.c	print_dot	1665	31	View Report
Memory error	Memory leak	flags.c	flag_eliminate	91	29	View Report
Memory error	Memory leak	constructions.c	fsm_add_sink	2898	6	View Report
Memory error	Memory leak	flags.c	flag_twosided	492	8	View Report
Memory error	Memory leak	iface.c	print_dot	1668	29	View Report
Memory error	Memory leak	utf8.c	decode_quoted	136	26	View Report
Memory error	Memory leak	constructions.c	fsm_compose	838	17	View Report
Memory error	Memory leak	io.c	load_defined	601	16	View Report
Memory error	Memory leak	lexcread.c	lexc_add_network	268	8	View Report
Memory error	Memory leak	iface.c	print_dot	1668	29	View Report
Memory error	Memory leak	utf8.c	int2utf8str	250	25	View Report
Logic error	Result of operation is garbage or undefined	spelling.c	calculate_h	416	33	View Report
Logic error	Result of operation is garbage or undefined	constructions.c	fsm_intersect	450	13	View Report
Logic error	Result of operation is garbage or undefined	constructions.c	triplet_hash_insert_with_key	326	30	View Report
Logic error	Result of operation is garbage or undefined	determinize.c	sigma_to_pairs	626	19	View Report
Logic error	Uninitialized argument value	structures.c	fsm_extract_nonidentity	688	8	View Report
Memory error	Use of zero allocated	apply.c	apply_stack_push	354	38	View Report