Public Git Hosting - smatch.git/search

2010-01-08	Dan Carpenter	add smatch_scripts/gen_array_bounds.sh Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-08	Dan Carpenter	smatch_data/kernel.array_bounds.remove Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-08	Dan Carpenter	check_overflow: an an "error: " prefix to a printf. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-07	Dan Carpenter	smatch_scripts/show_unreachable.sh Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-07	Dan Carpenter	new script: show_ifs.sh Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-07	Dan Carpenter	introduce getting_address() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-07	Dan Carpenter	update smatch_scripts/ because of --info format changes Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-07	Dan Carpenter	check offset after use: ignore foo = &array[bar]; Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-07	Dan Carpenter	check_overflow: move some more stuff under the --info... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-07	Dan Carpenter	clean up output: warning: => warn: Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-07	Dan Carpenter	modification_hook: -- and ++ are modifications Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-06	Dan Carpenter	It makes sense to check an array offset if it has been... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-05	Dan Carpenter	check_overflow: separate the two types of states Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-05	Dan Carpenter	Fix precedence/crashing bug check_overflow Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-03	Dan Carpenter	check_overflow: check for limiting offset after using it Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-03	Dan Carpenter	introduce alloc_state_num() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-03	Dan Carpenter	cleanup: rename alloc_state() => alloc_sm_state() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-02	Dan Carpenter	introduce get_fuzzy_max() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-02	Dan Carpenter	call_tree.pl: make it an interactive program Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-02	Dan Carpenter	create get_implied_range_list() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-02	Dan Carpenter	sm_info: fix formatting Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-01	Dan Carpenter	call tree: initial upload Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-31	Dan Carpenter	dma on stack: move data to smatch_data/ Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-31	Dan Carpenter	trace_params.pl: rewrote so it's faster Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-30	Dan Carpenter	add --param-mapper back. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-30	Dan Carpenter	cleanup up option parsing a little Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-30	Dan Carpenter	add option: --info Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-30	Dan Carpenter	redo how options are parsed. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-30	Dan Carpenter	cleanup: debug_implied_states => option_debug_implied Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-30	Dan Carpenter	cleanup: debug_states => option_debug Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-30	Dan Carpenter	param_mapper: add --param-mapper option Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-30	Dan Carpenter	dma on stack: eliminate some false positives Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-30	Dan Carpenter	Add dma functions that map to usb_control_msg() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-30	Dan Carpenter	add smatch_scripts/trace_params.pl Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-30	Dan Carpenter	param_mapper: initial commit Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-30	Dan Carpenter	dma_on_stack: &foo means it's an error too Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-27	Dan Carpenter	update smatch_data to 2.6.33-rc1 Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-27	Dan Carpenter	check_overflow: fix crashing bug (divide by zero) Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-27	Dan Carpenter	check_overflow: fix crashing bug Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-25	Dan Carpenter	add a check for passing stack variables to dma functions Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
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
next

Static analysis for C

RSS Atom