Public Git Hosting - smatch.git/search

2010-03-04	Dan Carpenter	improve implied_condition_true() for pre and post ops Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-04	Dan Carpenter	while countdown loops: handle loops where the start... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-04	Dan Carpenter	handle for loops where we don't know the upper limit Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-04	Dan Carpenter	smatch_flow: handling pre loops Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-02	Dan Carpenter	extra: comparing something to zero doesn't mean it... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-02	Dan Carpenter	check_overflow: relax rules on if (ptr < &array[max... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-02	Dan Carpenter	extra: handle loops like while(i--) { ... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-27	Dan Carpenter	clean up: merge a couple function for handling for... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-27	Dan Carpenter	fix handling of (2 <= x) comparisons where the variable... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-25	Dan Carpenter	check_signed: disable most of the new warnings Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-25	Dan Carpenter	get_type() fix crash on getting pointer types. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-24	Dan Carpenter	get_value() more int to long long mop up. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-24	Dan Carpenter	get_type() fix pointer handling Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-24	Dan Carpenter	Fix get_value() for ((unsigned int) -1) Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-24	Dan Carpenter	type_max(): handle unsigned long long. (sort of) Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-24	Dan Carpenter	get rid of --rare option Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-24	Dan Carpenter	rename get_single_value_from_range() => get_single_value_fro... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-24	Dan Carpenter	for loops: add a special case for "for(i = 0; i <... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-24	Dan Carpenter	check_signed: check int types as well Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-23	Dan Carpenter	smatch.c: use strncpy() instead of strcpy() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-23	Dan Carpenter	debug: rename __smatch_print_value() => __smatch_value() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-23	Dan Carpenter	check_signed: expr->op is type int not char Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-23	Dan Carpenter	Introduce get_fuzzy_min() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-23	Dan Carpenter	precedence: cut down a few false positives Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-23	Dan Carpenter	new check_le16: print an error for double cpu_to_le16... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-23	Dan Carpenter	new check_mod_timer: print an warning if someone... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-22	Dan Carpenter	strip_expr(): remove force casts Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-22	Dan Carpenter	kpatch.sh: figure the email address out automatically Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-19	Dan Carpenter	new smatch_scripts/kpatch.sh: script for mailing... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-19	Dan Carpenter	Print fewer messages about unreached code Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-19	Dan Carpenter	smatch_conditions: small cleanups and add debug code Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-19	Dan Carpenter	fix WARN_ON handling some more Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-18	Dan Carpenter	smatch_template: small changes to comments Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-18	Dan Carpenter	clean up the makefile a bit Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-18	Dan Carpenter	handle assignments like: foo = x < 1; Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-17	Dan Carpenter	smatch_states: white space changes Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-17	Dan Carpenter	smatch is supposed to be using "long long" types internally Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-17	Dan Carpenter	new_bugs.sh: better filtering of smatch errors from... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-17	Dan Carpenter	handle stuff like the kernel's WARN_ON() macro Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-17	Dan Carpenter	smatch_extra: foo = !!x; does not modify x. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-17	Dan Carpenter	handle assignments like: foo = !bar() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-17	Dan Carpenter	check_overflow: check for memset() issues Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-17	Dan Carpenter	automatically generate the list of functions which... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-16	Dan Carpenter	new smatch_scripts/summarize_errs.sh: script for... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-16	Dan Carpenter	kernel: fix xfs false positives Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-15	Dan Carpenter	check_overflow: handle: "int *p = &array;" Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-15	Dan Carpenter	check_overflow: fix bug in get_array_size_bytes() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-15	Dan Carpenter	push some more stuff on the big_expression_stack Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-15	Dan Carpenter	check_overflow: handle casts like ((char *)array)... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-15	Dan Carpenter	check_overflow: fix assigning arrays to pointers of... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-15	Dan Carpenter	check_overflow: fix alignment bug in get_array_size_bytes() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-15	Dan Carpenter	check_overflow: prefer recent assignments over the... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-15	Dan Carpenter	Add quotes around string literals in smatch output. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-15	Dan Carpenter	check_overflow: update strcpy() and strncpy() checks Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-15	Dan Carpenter	kernel.no_return_funcs: __reiserfs_panic doesn't return Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-14	Dan Carpenter	check_overflow: store the size in bytes instead of... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-14	Dan Carpenter	check_overflow: don't complain about if (ptr < &array... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-14	Dan Carpenter	smatch_flow: change how the big expression stack works... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-14	Dan Carpenter	check_overflow: rename my_decl_id => my_size_id Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-14	Dan Carpenter	check_overflow: white space changes Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-14	Dan Carpenter	check_overflow: use the _expr() hooks instead of doing... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-14	Dan Carpenter	check_overflow: remove some old debugging code Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-14	Dan Carpenter	check_overflow: rename dest => array_expr Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-14	Dan Carpenter	check_overflow: get_initializer_bytes() => get_initializer_... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-14	Dan Carpenter	check_overflow: option_spammy => option_info Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-14	Dan Carpenter	check_overflow: handle indexed array initializations Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-14	Dan Carpenter	check_overflow: fix endless loop parsing "int x =... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-14	Dan Carpenter	fix get_implied_max() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-13	Dan Carpenter	check_overflow: lots of improvements and also a validation... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-13	Dan Carpenter	fix crash calling get_type() on implicitly defined... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-13	Dan Carpenter	Add smatch_data/kernel.no_return_funcs Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-12	Dan Carpenter	function hooks: get rid of conditional function hooks Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-12	Dan Carpenter	add smatch_scripts/new_bugs.sh: prints the bugs introduced... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-12	Dan Carpenter	err_ptr_deref: update to use newer api Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-12	Dan Carpenter	unreachable code: enable by default Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-12	Dan Carpenter	show_unreachable.sh: add -k (kernel mode) -b (ignore... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-11	Dan Carpenter	unreachable code: work around gcc work arounds Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-11	Dan Carpenter	print an error message about unreached initializers Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-10	Dan Carpenter	check_stack: tweak the output a bit Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-10	Christopher Li	Pointer don't inherent the alignment from base type	commit \| commitdiff \| tree
2010-02-08	Dan Carpenter	New check_stack.c: warn if kernel code puts too much... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-08	Dan Carpenter	Add register_project() to check_list.h Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-01	Dan Carpenter	update the documentation a bit Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-30	Dan Carpenter	check_memory: only load kernel.frees_argument when... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-29	Dan Carpenter	Create: smatch_project.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-29	Dan Carpenter	bail if things are taking too long Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-29	Dan Carpenter	add smatch_scripts/filter_kernel_deref_check.sh Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-29	Dan Carpenter	check_deref_check: do not complain in loop pre conditions Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-28	Dan Carpenter	tweak unreachable code messages Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-27	Dan Carpenter	check_signed: handle signed 1 bit values Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-27	Dan Carpenter	check_signed: don't complain about unsigned int x... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-27	Dan Carpenter	new function: type_unsigned() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-26	Dan Carpenter	partly replace check_null_deref.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-25	Dan Carpenter	modification hooks: only allow one hook per variable... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-25	Dan Carpenter	introduce: set_default_modification_hook() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-25	Dan Carpenter	cleanup: get rid of smatch_containers.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-25	Dan Carpenter	check_null_deref: only the kernel cares about failed... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-23	Dan Carpenter	Fix OpenBSD compile Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-23	Dan Carpenter	check_signed: clean ups. add check for impossibly... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-22	Dan Carpenter	make everything use smatch_function_hashtable.h Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom