Folder: syntax

package info (click to toggle)

frama-c 20220511-manganese-3

links: PTS, VCS
area: main
in suites: bookworm
size: 66,472 kB
sloc: ml: 278,832; ansic: 47,093; sh: 4,823; makefile: 3,618; javascript: 2,436; python: 1,919; perl: 897; lisp: 293; xml: 62

			.. (parent)
d	rwxr-xr-x	16,384	oracle
-	rw-r--r--	581	Enum_repr.ml
-	rw-r--r--	842	Refresh_visitor.i
-	rw-r--r--	2,424	Refresh_visitor.ml
-	rw-r--r--	168	access_volatile_bts1589.i
-	rw-r--r--	321	add_allocates.i
-	rw-r--r--	58	add_allocates.ml
-	rw-r--r--	163	aggressive_merging_1.i
-	rw-r--r--	138	aggressive_merging_2.i
-	rw-r--r--	100	alloc_order.i
-	rw-r--r--	369	anon_enum_libc.c
-	rw-r--r--	116	anon_enum_libc.h
-	rw-r--r--	899	anonymous_comp_init.i
-	rw-r--r--	193	arg_type.i
-	rw-r--r--	142	array_cast_bts1099.i
-	rw-r--r--	251	array_formals.i
-	rw-r--r--	99	array_size.i
-	rw-r--r--	49	array_size_float.i
-	rw-r--r--	165	array_static_arg.i
-	rw-r--r--	383	asm_goto.i
-	rw-r--r--	607	asm_with_contracts.i
-	rw-r--r--	5,209	assembly_gmp.c
-	rw-r--r--	135	assert_location.c
-	rw-r--r--	72	assert_location.h
-	rw-r--r--	1,257	ast_diff_1.i
-	rw-r--r--	768	ast_diff_1.ml
-	rw-r--r--	1,182	ast_diff_2.i
-	rw-r--r--	124	ast_init.i
-	rw-r--r--	509	ast_init.ml
-	rw-r--r--	1,479	attributes-declarations-definitions.c
-	rw-r--r--	169	axiomatic_nested.i
-	rw-r--r--	208	bad_return_bts_599.i
-	rw-r--r--	236	basic_asm.i
-	rw-r--r--	105	bts0323-2.c
-	rw-r--r--	120	bts0323.c
-	rw-r--r--	54	bts0323.h
-	rw-r--r--	114	bts0442-2.i
-	rw-r--r--	88	bts0442.i
-	rw-r--r--	296	bts0519.c
-	rw-r--r--	104	bts0577.i
-	rw-r--r--	117	bts0588.i
-	rw-r--r--	396	bts0672_link.c
-	rw-r--r--	167	bts0672_link_2.c
-	rw-r--r--	137	bts0769.i
-	rw-r--r--	363	bts0916.i
-	rw-r--r--	217	bts1553.i
-	rw-r--r--	343	bts1553_2.i
-	rw-r--r--	106	bts59.i
-	rw-r--r--	2,658	built.i
-	rw-r--r--	109	builtin_constant_p.i
-	rw-r--r--	626	c11-keywords.c
-	rw-r--r--	614	cert-dcl-36.c
-	rw-r--r--	243	cert_exp10.c
-	rw-r--r--	788	cert_exp46.i
-	rw-r--r--	1,244	cert_msc_38.c
-	rw-r--r--	193	char_is_unsigned.i
-	rw-r--r--	287	check_builtin_bts1440.i
-	rw-r--r--	200	clone_test.i
-	rw-r--r--	210	clone_test.ml
-	rw-r--r--	477	compile_constant.c
-	rw-r--r--	520	compiler_builtins.c
-	rw-r--r--	202	composite-tags.i
-	rw-r--r--	143	compound-literal.i
-	rw-r--r--	1,404	const-assignments.c
-	rw-r--r--	869	const_formals.i
-	rw-r--r--	220	constfold.i
-	rw-r--r--	353	copy_logic.i
-	rw-r--r--	371	copy_visitor.i
-	rw-r--r--	426	copy_visitor_bts_1073.c
-	rw-r--r--	1,046	copy_visitor_bts_1073.ml
-	rw-r--r--	1,931	copy_visitor_bts_1073_bis.ml
-	rw-r--r--	1,222	cpp-command.c
-	rw-r--r--	270	dangerous_expressions.i
-	rw-r--r--	437	dangling_else.i
-	rw-r--r--	93	dangling_reference_bts1475.i
-	rw-r--r--	575	decay.i
-	rw-r--r--	477	decl-function.i
-	rw-r--r--	336	define_string_logic_pp_bts2101.c
-	rw-r--r--	117	designated_init_pretty_print_bts1457.i
-	rw-r--r--	729	dowhilezero.c
-	rw-r--r--	116	duplicate_field.i
-	rw-r--r--	91	duplicated_global_bts1129.i
-	rw-r--r--	318	empty_initializer.i
-	rw-r--r--	239	enum.h
-	rw-r--r--	294	enum1.c
-	rw-r--r--	192	enum2.c
-	rw-r--r--	147	enum_call.i
-	rw-r--r--	2,080	enum_repr.i
-	rw-r--r--	119	enum_size_array.i
-	rw-r--r--	48	erased_label_bts1502.i
-	rw-r--r--	271	exit.c
-	rw-r--r--	296	extern_init.i
-	rw-r--r--	111	extern_init_1.i
-	rw-r--r--	138	extern_init_2.i
-	rw-r--r--	63	extinline.i
-	rw-r--r--	1,572	fam.i
-	rw-r--r--	199	fc_filename.c
-	rw-r--r--	361	fct_ptr.i
-	rw-r--r--	390	field-offsets.c
-	rw-r--r--	200	flexible_array_member.i
-	rw-r--r--	130	flexible_array_member_invalid1.i
-	rw-r--r--	159	flexible_array_member_invalid2.i
-	rw-r--r--	173	flexible_array_member_invalid3.i
-	rw-r--r--	156	flexible_array_member_invalid4.i
-	rw-r--r--	200	flexible_array_member_invalid5.i
-	rw-r--r--	119	float.i
-	rw-r--r--	68	foo%22.c
-	rw-r--r--	228	for_unspecified_seq_in_inc.i
-	rw-r--r--	110	forloophook.i
-	rw-r--r--	876	forloophook.ml
-	rw-r--r--	147	formals_decl_leak.i
-	rw-r--r--	320	formals_decl_leak.ml
-	rw-r--r--	119	formals_decl_leak_1.i
-	rw-r--r--	403	func_locs.i
-	rw-r--r--	258	func_locs.ml
-	rw-r--r--	128	func_spec_merge.i
-	rw-r--r--	173	function-types-compatible.i
-	rw-r--r--	4,773	gcc_builtins.c
-	rw-r--r--	252	get_astinfo_bts1136.i
-	rw-r--r--	1,414	get_astinfo_bts1136.ml
-	rw-r--r--	6,202	ghost_cv_incompat.i
-	rw-r--r--	2,731	ghost_cv_invalid_use.i
-	rw-r--r--	331	ghost_cv_parsing_errors.c
-	rw-r--r--	866	ghost_cv_valid_ref.i
-	rw-r--r--	3,154	ghost_cv_valid_use.i
-	rw-r--r--	4,854	ghost_cv_var_decl.c
-	rw-r--r--	1,608	ghost_cv_var_decl.ml
-	rw-r--r--	2,131	ghost_else.i
-	rw-r--r--	1,110	ghost_else_bad.c
-	rw-r--r--	158	ghost_else_bad_oneline.i
-	rw-r--r--	83	ghost_func_ptr.i
-	rw-r--r--	363	ghost_lexing.i
-	rw-r--r--	473	ghost_local_capture.i
-	rw-r--r--	425	ghost_local_ill_formed.i
-	rw-r--r--	1,963	ghost_multiline_annot.c
-	rw-r--r--	4,033	ghost_parameters.c
-	rw-r--r--	533	ghost_parameters_formals_status.i
-	rw-r--r--	799	ghost_parameters_formals_status.ml
-	rw-r--r--	702	ghost_parameters_side_effect_arg.i
-	rw-r--r--	7,082	gnu-asm-aesni.c
-	rw-r--r--	111	implicit_args_bts1267.i
-	rw-r--r--	2,094	incompatible_qualifiers.c
-	rw-r--r--	170	incomplete_array.i
-	rw-r--r--	192	incomplete_struct_field.i
-	rw-r--r--	242	inconsistent_decl.c
-	rw-r--r--	135	inconsistent_decl_2.i
-	rw-r--r--	768	inconsistent_global_ghost_spec.c
-	rw-r--r--	106	init_bts1352.i
-	rw-r--r--	581	initializer.i
-	rw-r--r--	205	initializers.i
-	rw-r--r--	1,232	inline_calls.i
-	rw-r--r--	390	inline_def_1.i
-	rw-r--r--	180	inline_def_2.i
-	rw-r--r--	124	inline_def_bad_1.i
-	rw-r--r--	186	inline_def_bad_2.i
-	rw-r--r--	334	inserted_casts.c
-	rw-r--r--	353	inserted_casts.ml
-	rw-r--r--	87	invalid_constant.i
-	rw-r--r--	204	keep.i
-	rw-r--r--	276	keep_logical_operators.i
-	rw-r--r--	326	label_decl.i
-	rw-r--r--	38	libc_defs.c
-	rw-r--r--	89	line_number.c
-	rw-r--r--	332	literal-question-no-trigraph.c
-	rw-r--r--	196	local-init-const.i
-	rw-r--r--	315	local-variable.i
-	rw-r--r--	200	local_uninitialized_bts_1081.i
-	rw-r--r--	152	logic_env.i
-	rw-r--r--	921	logic_env_script.ml
-	rw-r--r--	1,944	loop-case-switch-for-unroll.c
-	rw-r--r--	240	loop_annot.i
-	rw-r--r--	318	lvalvoid.i
-	rw-r--r--	865	machdep_char_unsigned.ml
-	rw-r--r--	519	macro_escape_chars.c
-	rw-r--r--	939	merge_attrs_align.c
-	rw-r--r--	378	merge_attrs_align1.c
-	rw-r--r--	345	merge_attrs_align2.c
-	rw-r--r--	396	merge_attrs_align3.c
-	rw-r--r--	371	merge_attrs_align4.c
-	rw-r--r--	229	merge_bts0948.i
-	rw-r--r--	134	merge_bts0948_1.i
-	rw-r--r--	134	merge_bts0948_2.i
-	rw-r--r--	384	merge_inline_1.c
-	rw-r--r--	235	merge_inline_2.c
-	rw-r--r--	319	merge_loc.i
-	rw-r--r--	376	merge_union.c
-	rw-r--r--	100	merge_union.h
-	rw-r--r--	155	merge_union_2.c
-	rw-r--r--	154	merge_union_3.c
-	rw-r--r--	286	merge_unused.c
-	rw-r--r--	101	merge_unused.h
-	rw-r--r--	137	merge_unused_2.c
-	rw-r--r--	208	merge_variadic.i
-	rw-r--r--	237	merge_variadic_aux.i
-	rw-r--r--	256	multiline_macro.c
-	rw-r--r--	143	multiple_assigns.i
-	rw-r--r--	580	multiple_decls_contracts.c
-	rw-r--r--	485	multiple_froms.i
-	rw-r--r--	367	mutable_test.i
-	rw-r--r--	497	mutable_test.ml
-	rw-r--r--	240	mutually_recursive_struct.i
-	rw-r--r--	367	no-print-libc-reparse.c
-	rw-r--r--	116	no_prototype.i
-	rw-r--r--	44	noret.i
-	rw-r--r--	138	offset.c
-	rw-r--r--	116	offsetof.c
-	rw-r--r--	163	one_ret_assert.i
-	rw-r--r--	152	orig_name.i
-	rw-r--r--	120	osx_attribute.i
-	rw-r--r--	326	pp_lines.ml
-	rw-r--r--	80	pragma.i
-	rw-r--r--	172	preprocessed.ci
-	rw-r--r--	193	ptr_null_cmp_bts1027.i
-	rw-r--r--	435	reject_use_decl_mismatch_bts728.c
-	rw-r--r--	857	rename.i
-	rw-r--r--	220	reorder.i
-	rw-r--r--	1,921	reorder.ml
-	rw-r--r--	241	rettype.i
-	rw-r--r--	44	rmtmps_static.i
-	rw-r--r--	123	signal.c
-	rw-r--r--	101	simp_switch.i
-	rw-r--r--	331	sizeof_bts1414.i
-	rw-r--r--	490	sizeof_incomplete_type.c
-	rw-r--r--	378	sizeof_void.c
-	rw-r--r--	101	slash_end.i
-	rw-r--r--	74	spurious_brace_bts_1273.i
-	rw-r--r--	867	static_assert.c
-	rw-r--r--	38	static_formals.h
-	rw-r--r--	215	static_formals_1.c
-	rw-r--r--	113	static_formals_2.c
-	rw-r--r--	325	string_concat.c
-	rw-r--r--	318	struct_copy.i
-	rw-r--r--	153	struct_linking.i
-	rw-r--r--	153	struct_linking_2.i
-	rw-r--r--	582	struct_with_invalid_field.c
-	rw-r--r--	255	switch-default.i
-	rw-r--r--	603	syntactic_hook.i
-	rw-r--r--	3,732	syntactic_hook.ml
-	rw-r--r--	227	temporary_location.c
-	rw-r--r--	316	temporary_location.ml
-	rw-r--r--	1,727	tentative_definition.c
-	rw-r--r--	923	tentative_definition_aux.c
-	rw-r--r--	131	ternary_brace.i
-	rw-r--r--	139	ternary_bts1503.i
-	rw-r--r--	196	test_config
-	rw-r--r--	438	thread.i
-	rw-r--r--	153	transient_block.i
-	rw-r--r--	1,707	transient_block.ml
-	rw-r--r--	240	type_branch_bts_1081.i
-	rw-r--r--	628	type_compat_call.c
-	rw-r--r--	1,489	type_redef.i
-	rw-r--r--	508	typedef_incorrect_pretty_print_bts1518.i
-	rw-r--r--	36	typedef_multi.h
-	rw-r--r--	87	typedef_multi.ml
-	rw-r--r--	188	typedef_multi_1.c
-	rw-r--r--	176	typedef_multi_2.c
-	rw-r--r--	474	typedef_namespace_bts1500.c
-	rw-r--r--	275	typedef_struct.i
-	rw-r--r--	99	typedef_struct_2.i
-	rw-r--r--	170	typeof.i
-	rw-r--r--	366	undeclared_local_bts1113.c
-	rw-r--r--	1,447	undeclared_local_bts1126.c
-	rw-r--r--	403	unnamed_bitfields.c
-	rw-r--r--	942	unroll_const.i
-	rw-r--r--	1,702	unroll_labels.i
-	rw-r--r--	334	unroll_property_status_bts1442.i
-	rw-r--r--	302	unroll_visit.i
-	rw-r--r--	414	unspecified_access_address.i
-	rw-r--r--	251	unspecified_access_call_bts0888.i
-	rw-r--r--	145	unspecified_access_if_bts01114.i
-	rw-r--r--	226	unspecified_access_ptr_bts1519.i
-	rw-r--r--	138	unspecified_access_struct.i
-	rw-r--r--	448	va.c
-	rw-r--r--	602	variadic.i
-	rw-r--r--	171	vdefined_bts1241.i
-	rw-r--r--	105	vdefined_bts1241_1.i
-	rw-r--r--	527	vdescr_bts1387.i
-	rw-r--r--	389	vdescr_bts1387.ml
-	rw-r--r--	3,277	very_large_integers.c
-	rw-r--r--	120	visit_create_local.i
-	rw-r--r--	982	visit_create_local.ml
-	rw-r--r--	318	vla_goto.i
-	rw-r--r--	686	vla_goto2.i
-	rw-r--r--	226	vla_goto3.i
-	rw-r--r--	338	vla_goto_same_block_above.i
-	rw-r--r--	237	vla_goto_same_block_below.i
-	rw-r--r--	746	vla_loop.i
-	rw-r--r--	364	vla_multidim.c
-	rw-r--r--	116	vla_strlen.c
-	rw-r--r--	251	vla_switch.i
-	rw-r--r--	296	void_parameter.i
-	rw-r--r--	1,231	volatile_clause.i
-	rw-r--r--	152	wrong-assignment.i
-	rw-r--r--	148	wrong_label.i
-	rw-r--r--	327	wstring_concat.c