Public Git Hosting - smatch.git/search

2010-07-29	Dan Carpenter	new check_kmalloc_to_bugon: don't call bug_on() for... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-07-29	Dan Carpenter	new check_unwind: check that module_init function... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-07-21	Dan Carpenter	core: process inline statements Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-07-21	Dan Carpenter	flow: handle asm statements correctly Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-07-19	Dan Carpenter	Merge git://git.kernel.org/pub/scm/devel/sparse/chrisl...	commit \| commitdiff \| tree
2010-07-19	Dan Carpenter	add ubifs_assert() to list of assert macros that call... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-07-19	Dan Carpenter	check_dma: add a check for foo = kmalloc(sizeof(*foo... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-07-14	Dan Carpenter	signed: unsigned variables are allowed to do math with... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-07-09	Dan Carpenter	overflow: handle "if (strlen(foo) < 10) {..." Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-07-09	Dan Carpenter	overflow: add support for strlen() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-07-08	Dan Carpenter	leaks: replace check_memory.c with a rewrite check_leaks.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-07-08	Dan Carpenter	get_variable_from_expr_complex(): return proper symbol... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-07-06	Dan Carpenter	Makefile: small whitespace change Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-07-06	Dan Carpenter	memory: remove the warnings about freed memory Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-07-06	Dan Carpenter	check_free: create a separate check for misusing freed... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-07-05	Dan Carpenter	related: rename dinfo->equiv to dinfo->related Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-06-30	Dan Carpenter	constraints: shuffle things around a bit Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-06-30	Dan Carpenter	new scripts/generisize.pl Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-06-30	Dan Carpenter	type: allow the parameter to be null for type_unsigned() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-06-15	Dan Carpenter	redo the ignored_macros stuff properly Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-06-14	Dan Carpenter	conditions: fix memory leak Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-06-14	Dan Carpenter	eliminate some new "statement has no effect" false... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-06-14	Dan Carpenter	get rid of get_next_stmt() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-06-14	Dan Carpenter	core: handle "foo = ({frob(); frob(); frob(); 1;})... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-06-14	Dan Carpenter	locking: add spin_trylock_irqsave() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-06-14	Dan Carpenter	fix crashing bug caused by the little endian check Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-06-11	Dan Carpenter	extra: ignore WARN_ON() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-06-11	Dan Carpenter	err_ptr: remove jedec_probe() from err_ptr list Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-06-11	Dan Carpenter	snprintf: turn off be default Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-06-11	Dan Carpenter	validation: update overflow test to add quotes Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-06-11	Dan Carpenter	conditions: fix handling of __builtin_constant_p() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-06-10	Dan Carpenter	overflow: add quotes around variable names Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-06-10	Dan Carpenter	overflow: ignore arrays with only one element. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-06-10	Dan Carpenter	overflow: add calloc() support Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-06-10	Dan Carpenter	overflow: check for copy_to_user() overflows Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-06-09	Dan Carpenter	memory: fix leak false positives caused by "foo = bar... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-06-08	Dan Carpenter	le16: fix false positives and turn on by default Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-06-08	Dan Carpenter	macro: the first macro added is the one to keep Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-06-08	Dan Carpenter	memory: add quotes in output Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-06-07	Dan Carpenter	flow: fix "if();" false positives Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-06-07	Dan Carpenter	extra: tweak assignment of unsigned values Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-06-05	Dan Carpenter	smatch_extra: cleanup match_assign Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-06-04	Dan Carpenter	return_efault: find more bugs Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-06-03	Dan Carpenter	new return_efault: looks for places that should return... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-06-03	Dan Carpenter	smatch_type: fix __bitwise__ handling. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-06-02	Dan Carpenter	Update smatch_data/ for 2.6.35-rc1 Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-06-02	Dan Carpenter	new propagate: check that error codes get propagated... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-05-29	Dan Carpenter	err_ptr_deref: don't complain if the variable is null Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-05-26	Dan Carpenter	new check_macros: find macro precedence bugs Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-05-25	Dan Carpenter	hooks: add LOGIC_HOOK Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-05-25	Dan Carpenter	macro_table: take the file into account Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-05-22	Dan Carpenter	macro_table: do not include smatch.h Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-05-22	Dan Carpenter	flow: handle logic things like: foo(a && a->bar); Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-05-22	Dan Carpenter	signed: comparing to literals together creates a false... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-05-22	Dan Carpenter	deref_check: remove the --spammy option Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-05-22	Dan Carpenter	delete check_leaks.c: This check was always worthless Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-05-20	Dan Carpenter	wine: fixup the no return functions a bit Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-05-20	Dan Carpenter	macro_table.c: replacement for in_macro() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-05-18	Dan Carpenter	small cleanup and a comment change Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-05-18	Dan Carpenter	new check_snprintf: using the return value of snprintf... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-05-15	Dan Carpenter	unused_return: print function name that was ignored Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-05-13	Dan Carpenter	math: don't pass negative numbers as absolute max for... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-05-13	Dan Carpenter	implied: allow the known part to be a range list Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-05-13	Dan Carpenter	math: fix get_absolute_min/max() for sizeof() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-05-13	Dan Carpenter	extra: make do_comparison() handle two variables Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-05-13	Dan Carpenter	ranges: introduce free_range_list() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-05-13	Dan Carpenter	ranges: introduce possibly_true/false_range_lists() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-05-10	Dan Carpenter	precedence: don't complain about if foo is 0-1 Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-05-10	Dan Carpenter	extra: cleanup: rename do_comparison_range() => do_comparison() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-05-10	Dan Carpenter	known_condition_true/false(): handle expression statements Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-05-07	Dan Carpenter	new check_kunmap(): confusion between kmap() and... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-05-02	Dan Carpenter	new smatch_scripts/unlocked_paths.pl Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-05-01	Dan Carpenter	flow: cleanup: make split_function() it's own function Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-29	Dan Carpenter	deref_check: use in_macro() to silence most of the... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-29	Dan Carpenter	math: introduce get_absolute_min/max() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-28	Dan Carpenter	math: cleanup: rename get_implied_single_fuzzy_max() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-28	Dan Carpenter	math: cleanup: shuffle some functions around Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-28	Dan Carpenter	math: cleanup: get rid of the *discard thing Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-28	Dan Carpenter	math: cleanup: get rid of IMPLIED_SINGLE Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-28	Dan Carpenter	delete check_null_deref.c and clean up validation/ Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-28	Dan Carpenter	flow: the next statement should never be the current... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-27	Dan Carpenter	new check_check_deref.c: checking for null inconsistently Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-27	Dan Carpenter	new check_no_effect: print warnings statements that... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-27	Dan Carpenter	setup default modification hooks in set_true_false_states() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-27	Dan Carpenter	introduce in_macro() which returns true if we're in... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-25	Dan Carpenter	introduce: in_expression_statement() and rename get_block_th... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-24	Dan Carpenter	churn: rename __split_statements() => __split_stmt() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-23	Dan Carpenter	extra: handle i++ and i += 2 better outside loops Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-23	Dan Carpenter	filter_kernel_deref_check.sh: print the function names Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-23	Dan Carpenter	Add STRING_HOOK for examining strings Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-23	Dan Carpenter	new check_kernel.c: handle tomoyo_memory_ok() and... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-23	Dan Carpenter	core: fix handling of switch statements with unreachable... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-07	Dan Carpenter	bail out earlier if functions get too difficult Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-07	Dan Carpenter	include static functions in list of functions which... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-07	Dan Carpenter	new freeing_null: calling free for a variable that... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-05	Dan Carpenter	equiv: call remove_from_equiv() on assignment Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-05	Dan Carpenter	math: prevent divide by zero bugs Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-05	Dan Carpenter	check_lock: add more locks Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-02	Dan Carpenter	new: check_proc_create() check for world writable proc... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-01	Dan Carpenter	math: teach smatch to understand const values Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom