Public Git Hosting - smatch.git/search

2009-12-25	Dan Carpenter	check_used_returns: ignore inb, inw, and inl Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-23	Dan Carpenter	update validation tests Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-23	Dan Carpenter	check_overflow: handle arrays inside structs Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-23	Dan Carpenter	Fix crashing bug: func(a & b); Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-22	Dan Carpenter	warn about if(x); type code. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-22	Dan Carpenter	precedence: warn about: if (!a & b) {... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-22	Dan Carpenter	err_ptr: it's perfectly ok to return both null and... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-18	Dan Carpenter	white space changes Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-18	Dan Carpenter	Remove hack for handling Steve Rostedt's if conditions Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-18	Dan Carpenter	check_unused_ret.c: fix check for local variables Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-18	Dan Carpenter	check_unused_ret.c: ignore unreachable assignments Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-18	Dan Carpenter	If --debug is passed the messages from the first pass Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-17	Dan Carpenter	Add a check for unused assignments. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-17	Dan Carpenter	simple check for format string vulnerability	commit \| commitdiff \| tree
2009-12-17	Dan Carpenter	Handle EXPR_FORCE_CAST in __split_expr() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-15	Dan Carpenter	[patch 2/2] redefine SYM_HOOK entirely Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-15	Dan Carpenter	[patch 1/2] Change definition of SYM_HOOK in smatch_hook.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-12	Dan Carpenter	&(foo->bar) is not really a dereference. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-12	Dan Carpenter	change expression_stack to expression_list. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-12	Dan Carpenter	clean up. DEREF_HOOK handling. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-12	Dan Carpenter	check_signed: make it depend on --spammy Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-12	Dan Carpenter	check_locks: add raw_local_irq_enable() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-11	Dan Carpenter	add check for precedence errors like if (x & y == 0... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-11	Dan Carpenter	fix select handling Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-11	Dan Carpenter	changes to comments. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-11	Dan Carpenter	add __smatch_note("hello world") Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-11	Dan Carpenter	patch up the new check_locking.c replacement Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-11	Dan Carpenter	move check_wine_locking.c over check_locking.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-11	Dan Carpenter	delete the old check_locking.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-11	Dan Carpenter	Fix crashing bug. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-10	Dan Carpenter	separate out the *_bh() lock handling. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-10	Dan Carpenter	fixes for unified wine & kernel locking script Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-09	Dan Carpenter	get_type() return pointer for &foo type expressions. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-09	Dan Carpenter	print message on false compares because of signed vs... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-09	Dan Carpenter	suppress gcc warning. whitespace. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-07	Dan Carpenter	Merge branch 'master' of /home/dcarpenter/progs/sparse... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-07	Dan Carpenter	clean up kfree_skb() check. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-07	Dan Carpenter	add __smatch_cur_slist() debug function. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-07	Dan Carpenter	id is supposed to be unsigned short. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-07	Dan Carpenter	fix crashing bug. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-07	Dan Carpenter	Start caring about the types a little. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-05	Dan Carpenter	cleanup: uses ARRAY_SIZE() macro Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-05	Dan Carpenter	Print name instead of ID in debug output Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-05	Dan Carpenter	Add --project=kernel to kchecker Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-05	Dan Carpenter	Start merging the kernel locking and wine locking checks Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-05	Dan Carpenter	handle if (*ptr == 5) Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-05	Dan Carpenter	declare char* as const Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-04	Dan Carpenter	More range fixes. (Delete and merge duplicates) Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-04	Dan Carpenter	Pop the pre_condition_stack at the correct point Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-03	Dan Carpenter	fix issue with ranges Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-02	Dan Carpenter	Fix get_implied_value() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-02	Dan Carpenter	Fix negate bug. (Dereferencing undefined false positive) Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-02	Dan Carpenter	Update comment Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-01	Dan Carpenter	wine: wine_checker.sh for checking individual files. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-01	Dan Carpenter	wine: add more functions that don't return Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-28	Dan Carpenter	revert part of f4a459292e339 Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-28	Dan Carpenter	smatch_extra: improve and fix assignment handling Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-28	Dan Carpenter	scoped_state() make the parameter order match everything... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-28	Dan Carpenter	checks: remove some show_special() calls Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-28	Dan Carpenter	smatch_helper.c remove many calls to show_special() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-28	Dan Carpenter	small clean ups. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-28	Dan Carpenter	fix bug with function implications Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-28	Dan Carpenter	exit and ExitProcess don't return Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-28	Dan Carpenter	smatch_extra.c: remove some show_special() calls Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-28	Dan Carpenter	check_deref_check: get rid of some false positives Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-28	Dan Carpenter	spelling: memery => memory Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-27	Dan Carpenter	disgusting hack to stop false positive buffer overflow... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-27	Dan Carpenter	Fix += and -= handling Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-27	Dan Carpenter	wine: fix some lock names Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-27	Dan Carpenter	wine: RpcRaiseException never returns Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-27	Dan Carpenter	add option --full-path Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-27	Michael Stefaniuc	Fix a typo.	commit \| commitdiff \| tree
2009-11-26	Dan Carpenter	wine: check for locking bugs Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-26	Dan Carpenter	Fix some reversed if conditions Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-25	Dan Carpenter	free can handle null pointers: if (foo) free(foo); Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-25	Dan Carpenter	wine: check for WtoA cross calls Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-25	Dan Carpenter	Add INVALID_HANDLE_VALUE check for wine. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-25	Dan Carpenter	recompile all the checks if smatch_extra.h changes. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-25	Dan Carpenter	[patch 9/9] last patch to remove UNDEFINED Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-25	Dan Carpenter	[patch 8/many] deal with variable_non_zero() (UNDEFINED) Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-25	Dan Carpenter	[patch 7/many] no UNDEFINED from get_value() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-25	Dan Carpenter	[patch 6/many] remove UNDEFINED from last_stmt_val() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-25	Dan Carpenter	[patch 5/many] get rid of a few more UNDEFINEs smatch_extra.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-25	Dan Carpenter	[patch 4/many] get rid of UNDEFINED in smatch_ranges.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-25	Dan Carpenter	[patch 3/many] remove UNDEFINED from get_implied_(min... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-25	Dan Carpenter	[patch 2/many] get_implied_value() should not return... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-25	Dan Carpenter	[patch 1/many] get rid of UNDEFINED Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-25	Dan Carpenter	Add validation test for check_held_dev.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-25	Dan Carpenter	Make some kernel specific stuff depend on -p=kernel Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-24	Dan Carpenter	Add a new (soon to be mandatory) --project= option Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-24	Dan Carpenter	Make smatch installable. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-23	Dan Carpenter	try handle do {} while (i-- > 0) Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-23	Dan Carpenter	try handle ++ and -- better. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-23	Dan Carpenter	Improve handling: do {} while (--continue >= 0) Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-23	Dan Carpenter	Small cleanup. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-23	Dan Carpenter	kfree_skb() warnings are not spammy Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-21	Dan Carpenter	Handle dereferences like *foo not just foo->bar Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-21	Dan Carpenter	Get rid of the bitwise or check. It didn't find bugs. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-20	Dan Carpenter	add __raw_spin_lock/unlock() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-18	Dan Carpenter	Make ranged functions pass the assignment expression... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom