Public Git Hosting - smatch.git/search

2009-11-07	Dan Carpenter	Fix segfault. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-07	Dan Carpenter	Allow people to use kchecker file.o as well as .c file. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-07	Dan Carpenter	Initialize values properly. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-11-07	Dan Carpenter	Turn the two pass system off by default. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-10-25	Dan Carpenter	Optimization: prepend() -> append() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-09-06	Dan Carpenter	Print an error for this: if (a \| b) { ... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-08-20	Dan Carpenter	Dual pass system [patch #2] Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-08-20	Dan Carpenter	Dual pass system [patch #1] Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-08-19	Dan Carpenter	clean up: move DIMPLIED() to smatch_implied.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-08-19	Dan Carpenter	code churn: rename SM_DEBUG() to sm_debug() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-08-19	Dan Carpenter	code churn: rename smatch_msg() to sm_msg() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-08-19	Dan Carpenter	move my_id parameter [part 2 of 2] Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-08-19	Dan Carpenter	Move my_id parameter. [part 1 of 2] Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-08-07	Dan Carpenter	Improve check_err_ptr.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-08-07	Dan Carpenter	function was supposed to be static Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-08-03	Dan Carpenter	disable smatch_containers.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-08-03	Dan Carpenter	Random ugly changes to check_overflow.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-08-03	Dan Carpenter	Stop printing so much info all the time. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-08-03	Dan Carpenter	New option: --spammy Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-08-03	Dan Carpenter	Remove optimization. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-08-03	Dan Carpenter	Add check_assigned_expr.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-08-02	Dan Carpenter	fix calculating sizeof(). Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-08-02	Dan Carpenter	return UNDEFINED. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-08-02	Dan Carpenter	Talk about smatch_scripts/kchecker Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-08-02	Dan Carpenter	Improve get_implied_value(). Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-08-02	Dan Carpenter	correct format. warning: => warn: Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-08-02	Dan Carpenter	Add some strip_expr() calls to the function hooks. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-08-02	Dan Carpenter	Improve buffer overflow check. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-08-01	Dan Carpenter	introduce smatch_containers.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-07-31	Dan Carpenter	introduce set_state_expr() and friends Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-07-23	Dan Carpenter	add check_deref_check.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-07-23	Dan Carpenter	added check_initializer_deref.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-07-23	Dan Carpenter	new hook: add_modification_hook() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-07-23	Dan Carpenter	move some declarations out of smatch.h Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-07-21	Dan Carpenter	Update smatch_data for 2.6.31-pre3 Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-06-17	Dan Carpenter	Improve the displayed variable names. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-06-17	Dan Carpenter	fix buffer overflow. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-06-15	Dan Carpenter	Add check_balanced.c and smatch_data/kernel.balanced_funcs Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-06-08	Dan Carpenter	PTR_ERR(ERR_PTR(-42)) is non zero. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-06-08	Dan Carpenter	check_memory.c: use the add_scope_hook() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-06-08	Dan Carpenter	Add scoped_state() and add_scope_hook(). Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-31	Dan Carpenter	smatch_implied: only print the nr_children message... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-31	Dan Carpenter	smatch_extra: fix (foo != 42) { ... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-31	Dan Carpenter	Fix overlapping ranges. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-28	Dan Carpenter	check_memory.c: fix reversed if statement. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-28	Dan Carpenter	Fix another bug caused by funny tmp_range_list() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-27	Dan Carpenter	Merge branch 'new_implications' into devel2 Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-27	Dan Carpenter	Fix crashing bug caused by the switch changes. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-27	Dan Carpenter	debugging: print the line numbers in merge_sm_state() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-27	Dan Carpenter	Make switch statements work again. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-26	Dan Carpenter	clean up. use true/false_comparison_range_lr() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-26	Dan Carpenter	code churn: rename ->pre_left => ->left, ->pre_right... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-26	Dan Carpenter	Put a cap on implications. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-25	Dan Carpenter	Improve debugging. Don't overwrite sm->line. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-25	Dan Carpenter	Micro optimization... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-24	Dan Carpenter	clean up in merge_slist() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-24	Dan Carpenter	check for out_of_memory() less often and only after... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-24	Dan Carpenter	Better debugging for check_memory.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-22	Dan Carpenter	Add switch testing test. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-22	Dan Carpenter	Doh. Too many implied states. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-22	Dan Carpenter	Remove clone_slist_and_states() and merge_slist_clone(). Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-22	Dan Carpenter	Remove switch cloning complexity. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-21	Dan Carpenter	two is always non-null these days. don't check it. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-21	Dan Carpenter	remove unused merge_pools() function. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-21	Dan Carpenter	don't print "list" variable. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-21	Dan Carpenter	Make my_pools => my_pool. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-21	Dan Carpenter	introduce clone_pool_havers() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-21	Dan Carpenter	clone_state() doesn't copy my_pools.	commit \| commitdiff \| tree
2009-05-21	Dan Carpenter	Rework implications to use ->pre_left and ->pre_right. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-21	Dan Carpenter	two is always non-null these days. don't check it. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-17	Dan Carpenter	Introduce ->pre_left and ->pre_right. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-17	Dan Carpenter	Make the RAM limit more accurate and flexible. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-10	Dan Carpenter	Only clone the states if it is a switch statement. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-08	Dan Carpenter	Don't clone the false states Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-08	Dan Carpenter	Don't clone all the states for every case statement. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-06	Dan Carpenter	Make the validation test harder. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-06	Dan Carpenter	Prevent some endless loops. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-06	Dan Carpenter	Putting parens around something doesn't make it undefined. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-06	Dan Carpenter	Fix memory leak. free_slist(). Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-06	Dan Carpenter	Make struct sm_state more compact. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-04	Dan Carpenter	smatch_slist.c no longer needs any functions from smatch_extra.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-04	Dan Carpenter	Delete all the anding compound conditions code. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-04	Dan Carpenter	check debug is useful for debugging Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-04	Dan Carpenter	potential bug fix for gotos with implications Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-04	Dan Carpenter	Make validation test harder. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-04	Dan Carpenter	Rework smatch implied Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-24	Dan Carpenter	get_value(): handle a couple more bit operators Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-23	Dan Carpenter	Set things in smatch extra instead of smatch implied. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-23	Dan Carpenter	Handle switch statements Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-23	Dan Carpenter	Revert "Don't the implications for the state determining...	commit \| commitdiff \| tree
2009-04-22	Dan Carpenter	Revert "Here is a bug in handling compound conditions."	commit \| commitdiff \| tree
2009-04-21	Dan Carpenter	handle if((foo = down_trylock()) < 0) { ... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-21	Dan Carpenter	add_is_merged_hook() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-21	Dan Carpenter	Dereferencing a variable doesn't make it undefined. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-18	Dan Carpenter	Redo checking for out of range args to ERR_PTR() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-16	Dan Carpenter	Here is a bug in handling compound conditions. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-15	Dan Carpenter	Handle straight forward comparisons to zero. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-15	Dan Carpenter	Store the implications for return_implies_state() assignments. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-15	Dan Carpenter	Add: return_implies_state() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-14	Dan Carpenter	Rename smatch_extra_helper.c to smatch_ranges.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom