Folder: value

package info (click to toggle)

frama-c 20161101%2Bsilicon%2Bdfsg-5

links: PTS, VCS
area: main
in suites: stretch
size: 42,324 kB
ctags: 35,695
sloc: ml: 200,142; ansic: 31,465; makefile: 2,334; sh: 1,643; lisp: 259; python: 85; asm: 26

			.. (parent)
d	rwxr-xr-x	36,864	oracle
-	rw-r--r--	9	.gitignore
-	rw-r--r--	21,549	CruiseControl.c
-	rw-r--r--	9,144	CruiseControl.h
-	rw-r--r--	1,061	CruiseControl_const.c
-	rw-r--r--	1,016	CruiseControl_extern.h
-	rw-r--r--	424	FP5.i
-	rw-r--r--	84	abs.i
-	rw-r--r--	855	abs_addr.i
-	rw-r--r--	321	absolute_pointer.i
-	rw-r--r--	322	abstract_struct_1.c
-	rw-r--r--	104	abstract_struct_2.c
-	rw-r--r--	33	access_path.i
-	rw-r--r--	108	add_approx.i
-	rw-r--r--	1,899	addition.i
-	rw-r--r--	201	addr.i
-	rw-r--r--	276	addr2.i
-	rw-r--r--	222	addrofstring.c
-	rw-r--r--	133	affect_corrupt.i
-	rw-r--r--	253	ai_annot.i
-	rw-r--r--	4,323	alias.i
-	rw-r--r--	333	align.i
-	rw-r--r--	714	align_char_array.c
-	rw-r--r--	991	annot.i
-	rw-r--r--	1,089	annot_valid.i
-	rw-r--r--	293	anonymous_field.i
-	rw-r--r--	304	any_int.c
-	rw-r--r--	143	arch.i
-	rw-r--r--	96	arg_array.i
-	rw-r--r--	1,025	arith_pointer.c
-	rw-r--r--	607	array_access.c
-	rw-r--r--	1,346	array_array.c
-	rw-r--r--	452	array_bounds.i
-	rw-r--r--	133	array_degenerating_loop.i
-	rw-r--r--	230	array_initializer.i
-	rw-r--r--	193	array_loop.i
-	rw-r--r--	263	array_overlap.i
-	rw-r--r--	170	array_ptr.i
-	rw-r--r--	975	array_zero_length.i
-	rw-r--r--	109	assert_builtin.i
-	rw-r--r--	294	assert_ptr.i
-	rw-r--r--	145	assign-leaf-indirect.i
-	rw-r--r--	1,854	assigns.i
-	rw-r--r--	3,602	assigns_from.i
-	rw-r--r--	1,125	assigns_from_direct.i
-	rw-r--r--	2,470	attribute-aligned.c
-	rw-r--r--	353	automalloc.i
-	rw-r--r--	5,257	backward_add_ptr.c
-	rw-r--r--	216	bad_loop.i
-	rw-r--r--	834	base_addr_offset_block_length.i
-	rw-r--r--	781	behavior_statuses.i
-	rw-r--r--	13,258	behaviors1.i
-	rw-r--r--	8,899	behaviors2.c
-	rw-r--r--	514	big_lib_entry.i
-	rw-r--r--	205	bigarray.c
-	rw-r--r--	2,220	bitfield.i
-	rw-r--r--	505	bitfield_assign.i
-	rw-r--r--	559	bitfield_longlong.c
-	rw-r--r--	106	bitfield_receives_result.i
-	rw-r--r--	840	bitwise.i
-	rw-r--r--	206	bitwise_float.c
-	rw-r--r--	774	bitwise_or.c
-	rw-r--r--	364	bitwise_pointer.i
-	rw-r--r--	774	bitwise_reduction.i
-	rw-r--r--	229	biz.i
-	rw-r--r--	261	bool.i
-	rw-r--r--	143	branch.i
-	rw-r--r--	285	branch2.i
-	rw-r--r--	201	broken_loop.i
-	rw-r--r--	672	bts0506.i
-	rw-r--r--	59	bts0775.i
-	rw-r--r--	167	bts0858.i
-	rw-r--r--	190	bts1306.i
-	rw-r--r--	428	buffer_overflow.i
-	rw-r--r--	274	bug.i
-	rw-r--r--	246	bug0196.c
-	rw-r--r--	713	bug0223.i
-	rw-r--r--	303	bug0245.i
-	rw-r--r--	84	bug_023.i
-	rw-r--r--	113	bug_0244.i
-	rw-r--r--	839	call.i
-	rw-r--r--	271	call_2.i
-	rw-r--r--	144	call_3.i
-	rw-r--r--	380	call_alias.i
-	rw-r--r--	353	call_deep.i
-	rw-r--r--	847	call_multi.c
-	rw-r--r--	181	call_simple.i
-	rw-r--r--	370	case_analysis.i
-	rw-r--r--	1,026	cast.i
-	rw-r--r--	327	cast1.i
-	rw-r--r--	373	cast2.i
-	rw-r--r--	395	cast_axalto.c
-	rw-r--r--	1,365	cast_fun.i
-	rw-r--r--	137	cast_hetero.i
-	rw-r--r--	854	cast_return.c
-	rw-r--r--	1,399	cert_exp35_c.i
-	rw-r--r--	391	changeret.i
-	rw-r--r--	193	cmp.i
-	rw-r--r--	512	cmp_ptr.i
-	rw-r--r--	432	cmp_ptr_follow_all_branches.i
-	rw-r--r--	726	cond.i
-	rw-r--r--	1,234	cond2.i
-	rw-r--r--	930	cond3.i
-	rw-r--r--	2,410	cond_integer_cast_of_float.i
-	rw-r--r--	42	conditional_initializer.i
-	rw-r--r--	435	config.h
-	rw-r--r--	93	config_types.h
-	rw-r--r--	1,626	const.i
-	rw-r--r--	137	const2.i
-	rw-r--r--	207	const_syntax.i
-	rw-r--r--	641	const_typedef.i
-	rw-r--r--	861	constarraystructlibentry.i
-	rw-r--r--	1,155	context_free.i
-	rw-r--r--	90	context_free_simple.i
-	rw-r--r--	295	context_width.i
-	rw-r--r--	227	control.i
-	rw-r--r--	1,168	conversion.i
-	rw-r--r--	142	copy_paste.i
-	rw-r--r--	335	copy_paste_hidden_by_dummy_cast.i
-	rw-r--r--	91	copy_stdin.i
-	rw-r--r--	315	dangling.i
-	rw-r--r--	437	dataflow_order.i
-	rw-r--r--	182	dead_code.i
-	rw-r--r--	133	dead_code2.i
-	rw-r--r--	594	dead_inout.i
-	rw-r--r--	403	dead_statuses.i
-	rw-r--r--	157	deep_conditionals.i
-	rw-r--r--	1,030	definitions.h
-	rw-r--r--	449	degeneration2.i
-	rw-r--r--	776	deps.i
-	rw-r--r--	73	deps_addr.i
-	rw-r--r--	537	deps_compose.i
-	rw-r--r--	191	deps_local.i
-	rw-r--r--	359	deps_mixed.i
-	rw-r--r--	424	deps_unitialized_locals.i
-	rw-r--r--	196	deref.i
-	rw-r--r--	18,838	diff_apron
-	rw-r--r--	2,015	diff_bitwise
-	rw-r--r--	19,731	diff_equalities
-	rw-r--r--	23,264	diff_gauges
-	rw-r--r--	85,194	diff_legacy
-	rw-r--r--	10,775	diff_symblocs
-	rw-r--r--	471	disjoint_status.i
-	rw-r--r--	624	div.i
-	rw-r--r--	89	div_strange.i
-	rw-r--r--	925	divneg.i
-	rw-r--r--	3,252	downcast.i
-	rw-r--r--	559	duff.i
-	rw-r--r--	3,977	dur.i
-	rw-r--r--	2,657	empty_base.c
-	rw-r--r--	1,198	empty_struct.c
-	rw-r--r--	1,208	empty_struct2.c
-	rw-r--r--	2,164	empty_union.c
-	rw-r--r--	632	endian.i
-	rw-r--r--	358	enum.i
-	rw-r--r--	1,058	enum2.c
-	rw-r--r--	1,237	eval_separated.c
-	rw-r--r--	300	extern.i
-	rw-r--r--	57	f1.i
-	rw-r--r--	197	f2.i
-	rw-r--r--	291	false.i
-	rw-r--r--	844	fam_sizeof.i
-	rw-r--r--	161	find_ivaltop.i
-	rw-r--r--	446	folding.i
-	rw-r--r--	1,198	for_loops.c
-	rw-r--r--	404	forall.i
-	rw-r--r--	1,229	fptr.i
-	rw-r--r--	251	from1.i
-	rw-r--r--	1,365	from_call.i
-	rw-r--r--	112	from_global.i
-	rw-r--r--	118	from_ind.i
-	rw-r--r--	992	from_pb.i
-	rw-r--r--	491	from_ptr.i
-	rw-r--r--	190	from_ptr2.i
-	rw-r--r--	454	from_res_2.i
-	rw-r--r--	83	from_termin.i
-	rw-r--r--	1,410	fun_ptr.i
-	rw-r--r--	213	function_return_serial_casts.i
-	rw-r--r--	33	g1.i
-	rw-r--r--	140	garbled_init.c
-	rw-r--r--	5,270	gauges.i
-	rw-r--r--	464	ghost.i
-	rw-r--r--	143	global_bug.i
-	rw-r--r--	98	goto.i
-	rw-r--r--	1,046	if.i
-	rw-r--r--	784	if2.i
-	rw-r--r--	607	ilevel.i
-	rw-r--r--	140	implies.i
-	rw-r--r--	292	imprecise_invalid_write.i
-	rw-r--r--	186	incorrect_reduce_expr.i
-	rw-r--r--	490	ineq.c
-	rw-r--r--	174	infinite.i
-	rw-r--r--	450	init.i
-	rw-r--r--	607	init_const_guard.i
-	rw-r--r--	3,141	initialized.c
-	rw-r--r--	2,746	initialized_copy.i
-	rw-r--r--	119	inline.c
-	rw-r--r--	27	inline.h
-	rw-r--r--	1,397	inout.i
-	rw-r--r--	254	inout_diff.i
-	rw-r--r--	184	inout_formals.i
-	rw-r--r--	389	inout_on_alarms.i
-	rw-r--r--	921	inout_proto.i
-	rw-r--r--	69	input.i
-	rw-r--r--	171	integers.i
-	rw-r--r--	338	interpol.c
-	rw-r--r--	259	invalid_loc_return.i
-	rw-r--r--	209	invalid_lval_arg.i
-	rw-r--r--	604	inversion.i
-	rw-r--r--	251	inversion2.i
-	rw-r--r--	403	jacques.i
-	rw-r--r--	902	join_misaligned.i
-	rw-r--r--	485	label.i
-	rw-r--r--	326	lazy.i
-	rw-r--r--	2,174	leaf.i
-	rw-r--r--	126	leaf2.i
-	rw-r--r--	306	leaf_spec.i
-	rw-r--r--	1,512	library.i
-	rw-r--r--	118	library_precond.i
-	rw-r--r--	430	limits.c
-	rw-r--r--	409	local.i
-	rw-r--r--	170	local_cleanup.c
-	rw-r--r--	897	local_slevel.i
-	rw-r--r--	540	local_variables.i
-	rw-r--r--	1,016	lock.i
-	rw-r--r--	3,260	logic.c
-	rw-r--r--	415	logic_ptr_cast.i
-	rw-r--r--	461	logicdeps.i
-	rw-r--r--	107	long.i
-	rw-r--r--	976	long_const.i
-	rw-r--r--	1,196	loop.i
-	rw-r--r--	259	loop1.i
-	rw-r--r--	857	loop2.i
-	rw-r--r--	179	loop3.c
-	rw-r--r--	307	loop_array.i
-	rw-r--r--	225	loop_join.i
-	rw-r--r--	117	loop_long.i
-	rw-r--r--	28	loop_no_var.i
-	rw-r--r--	319	loop_simple.i
-	rw-r--r--	2,989	loop_test.i
-	rw-r--r--	1,616	loop_wvar.i
-	rw-r--r--	249	loopfun.i
-	rw-r--r--	865	loopinv.c
-	rw-r--r--	504	machdep.c
-	rw-r--r--	298	max_pointed.c
-	rw-r--r--	1,932	memexec.c
-	rw-r--r--	318	merge_bits.i
-	rw-r--r--	185	mini_pointrer.i
-	rw-r--r--	2,049	misaligned_tabs.i
-	rw-r--r--	141	mixed_val.i
-	rw-r--r--	177	modifies.i
-	rw-r--r--	3,920	modulo.i
-	rw-r--r--	159	multi_access.i
-	rw-r--r--	1,341	narrow_behaviors.i
-	rw-r--r--	1,348	nested_struct_init.i
-	rw-r--r--	249	no_results.c
-	rw-r--r--	94	non_iso_initializer.i
-	rw-r--r--	1,264	non_natural.i
-	rw-r--r--	530	nonlin.c
-	rw-r--r--	659	noreturn.i
-	rw-r--r--	69	not.i
-	rw-r--r--	273	not_ct_array_arg.i
-	rw-r--r--	434	null_lt_valid.i
-	rw-r--r--	87	offset_misaligned.i
-	rw-r--r--	217	offset_neg.i
-	rw-r--r--	183	offset_top.i
-	rw-r--r--	2,456	origin.i
-	rw-r--r--	460	output_leafs.i
-	rw-r--r--	875	overflow.i
-	rw-r--r--	409	overflow_cast_float_int.i
-	rw-r--r--	294	packed.c
-	rw-r--r--	24	pb.i
-	rw-r--r--	902	period.c
-	rw-r--r--	540	plevel.i
-	rw-r--r--	431	pointer.i
-	rw-r--r--	179	pointer2.i
-	rw-r--r--	123	pointer3.i
-	rw-r--r--	298	pointer4.i
-	rw-r--r--	244	pointer_arg.i
-	rw-r--r--	827	pointer_comp.c
-	rw-r--r--	978	pointer_comparison.c
-	rw-r--r--	185	pointer_int_cast.i
-	rw-r--r--	871	pointer_loop.i
-	rw-r--r--	1,805	postcond_leaf.c
-	rw-r--r--	1,281	postcondition.i
-	rw-r--r--	768	pragma.c
-	rw-r--r--	778	precise_locations.i
-	rw-r--r--	520	precond.c
-	rw-r--r--	451	precond2.c
-	rw-r--r--	536	propagate_bottom.i
-	rw-r--r--	88	protomain.i
-	rw-r--r--	624	ptr_call_object.c
-	rw-r--r--	780	ptr_relation.i
-	rw-r--r--	130	pure_exp.i
-	rw-r--r--	414	qualified_arrays.i
-	rw-r--r--	314	raz.i
-	rw-r--r--	699	reading_null.i
-	rw-r--r--	45	rec.i
-	rw-r--r--	1,140	recol.c
-	rw-r--r--	1,325	recursion.i
-	rw-r--r--	272	recursion2.i
-	rw-r--r--	4,451	reduce_by_valid.i
-	rw-r--r--	1,338	reduce_formals.i
-	rw-r--r--	1,509	reduce_index.i
-	rw-r--r--	410	reduce_valid.i
-	rw-r--r--	893	redundant_alarms.c
-	rw-r--r--	508	reevaluate_alarms.i
-	rw-r--r--	280	relation_reduction.i
-	rw-r--r--	362	relation_shift.i
-	rw-r--r--	887	relations.i
-	rw-r--r--	1,400	relations2.i
-	rw-r--r--	336	relations_difficult.i
-	rw-r--r--	367	replace_by_show_each.c
-	rw-r--r--	158	resolve.i
-	rw-r--r--	175	return.i
-	rw-r--r--	868	scade_types.h
-	rw-r--r--	515	semaphore.i
-	rw-r--r--	849	sep.i
-	rw-r--r--	393	separated.i
-	rw-r--r--	1,042	shift.i
-	rw-r--r--	1,137	shift_big.i
-	rw-r--r--	85	shift_neg.i
-	rw-r--r--	558	sign_of_bitfiled_int.c
-	rw-r--r--	354	simple_packed.c
-	rw-r--r--	95	simple_path.i
-	rw-r--r--	271	simplify_cfg.i
-	rw-r--r--	855	sizeof.i
-	rw-r--r--	590	slevel_return.i
-	rw-r--r--	1,378	slevelex.i
-	rw-r--r--	62	small_conditionals.i
-	rw-r--r--	2,372	sort4.i
-	rw-r--r--	3,212	split_return.i
-	rw-r--r--	286	statement_contract.i
-	rw-r--r--	327	static.i
-	rw-r--r--	144	strange.i
-	rw-r--r--	2,039	strings.i
-	rw-r--r--	128	strings_cond.i
-	rw-r--r--	1,036	struct.i
-	rw-r--r--	6,375	struct2.i
-	rw-r--r--	676	struct3.i
-	rw-r--r--	1,035	struct_array.i
-	rw-r--r--	658	struct_call.i
-	rw-r--r--	313	struct_deps.i
-	rw-r--r--	570	struct_incl.i
-	rw-r--r--	146	struct_p_call.i
-	rw-r--r--	666	strucval.c
-	rw-r--r--	1,731	subset.c
-	rw-r--r--	818	switch.i
-	rw-r--r--	314	switch2.i
-	rw-r--r--	816	switch_cast.i
-	rw-r--r--	1,653	symbolic_locs.i
-	rw-r--r--	618	tab.c
-	rw-r--r--	129	tab1.i
-	rw-r--r--	358	termination.i
-	rw-r--r--	492	test.i
-	rw-r--r--	356	test_arith.c
-	rw-r--r--	289	threat_array.i
-	rw-r--r--	285	threat_if.i
-	rw-r--r--	264	threat_redundant.c
-	rw-r--r--	921	tricky_logic.i
-	rw-r--r--	135	typedef_function.i
-	rw-r--r--	51	typeof.i
-	rw-r--r--	367	ulongvslonglong.i
-	rw-r--r--	549	undef_behavior_bts1059.i
-	rw-r--r--	31	undef_fct.i
-	rw-r--r--	1,300	undefined_sequence.i
-	rw-r--r--	1,383	undefined_sequence2.i
-	rw-r--r--	44	uninit.i
-	rw-r--r--	205	uninit_callstack.i
-	rw-r--r--	81	uninitialized_gnubody.i
-	rw-r--r--	341	unknown_sizeof.i
-	rw-r--r--	357	unop.c
-	rw-r--r--	1,591	unroll.i
-	rw-r--r--	290	unroll_simple.i
-	rw-r--r--	194	unsigned_overflow.c
-	rw-r--r--	397	use_spec.i
-	rw-r--r--	187	user_assertion_uninit_var.i
-	rw-r--r--	474	usp.i
-	rw-r--r--	210	va_list.c
-	rw-r--r--	384	va_list2.c
-	rw-r--r--	410	val6.i
-	rw-r--r--	728	val9.i
-	rw-r--r--	547	val_if.i
-	rw-r--r--	619	val_ptr.i
-	rw-r--r--	635	video_detect.i
-	rw-r--r--	3,564	volatile.c
-	rw-r--r--	2,496	volatile2.i
-	rw-r--r--	447	volatilestruct.c
-	rw-r--r--	369	wide_string.c
-	rw-r--r--	1,640	widen_non_constant.i
-	rw-r--r--	1,171	widen_on_non_monotonic.i
-	rw-r--r--	166	widen_overflow.i
-	rw-r--r--	661	with_comment.i
-	rw-r--r--	200	zerolengtharrays.i