Public Git Hosting - smatch.git/search

2009-02-18	Dan Carpenter	Move the implications checking to after the scripts... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-18	Dan Carpenter	Rewrite completely with new goal.	commit \| commitdiff \| tree
2009-02-18	Dan Carpenter	Add some functions to handle tracker lists. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-18	Dan Carpenter	Don't segfault all the time when checking forever loops. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-18	Dan Carpenter	Test to see if we are catching cross function derefs. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-18	Dan Carpenter	Use the ->possible states and remove the merge_hook(). Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-18	Dan Carpenter	"while ((1)) {" is a forever loop. Call strip_expr(). Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-18	Dan Carpenter	fixes to the -> possible setting. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-17	Dan Carpenter	Merge branch 'master' into null_deref	commit \| commitdiff \| tree
2009-02-17	Dan Carpenter	Add validation script for check_null_deref.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-16	Dan Carpenter	Clean up. new->possible is always null here. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-14	Dan Carpenter	Oops. ->possibles wasn't getting set correctly. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-14	Dan Carpenter	Use strip_expr() in split_conditions() instead reproducing... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-14	Dan Carpenter	Add some more operations to get_value(). Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-13	Dan Carpenter	Return &merged instead of &undefined. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-13	Dan Carpenter	make get_value() return a value for bitwise or expressions.	commit \| commitdiff \| tree
2009-02-13	Dan Carpenter	Try again removing states from pools. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-13	Dan Carpenter	Revert "Remove a state from it's ->pools when set_state...	commit \| commitdiff \| tree
2009-02-11	Dan Carpenter	Eliminate a warning. Probably the wrong way to do... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-11	Dan Carpenter	Clean ups. Comments. Rename slist_stack to named_stack. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-11	Dan Carpenter	Ha ha. I still suck at pointers. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-11	Dan Carpenter	Cleanups. Comments. Remove debugging code from filter() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-11	Dan Carpenter	Clean up. Also preserve the ->pools in one path of... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-11	Dan Carpenter	Clean up get_state_slist(). Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-11	Dan Carpenter	Remove __overwrite_cur_slist(). Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-11	Dan Carpenter	There was debugging output that accidentally got committed... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-11	Dan Carpenter	Remove a state from it's ->pools when set_state() is... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-11	Dan Carpenter	Don't delete the ->pools on merging. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-11	Dan Carpenter	Try understand the implications from compound conditions. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-11	Dan Carpenter	Create a state &merged. When we merge stuff it isn... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-10	Dan Carpenter	Ok. This time smatch_implied _really_ does something. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-10	Dan Carpenter	Ignore cscope files. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-10	Dan Carpenter	Small cleanups. (White space). Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-10	Dan Carpenter	Whitespace change. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-10	Dan Carpenter	Add some more locking functions. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-10	Dan Carpenter	Fix implied pools so that at least it does something. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-10	Dan Carpenter	It seemed like tracker_list would be useful in a lot... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-05	Dan Carpenter	Add a README describing smatch Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-05	Dan Carpenter	Add script to find NULL dereferences between functions. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-05	Dan Carpenter	Fix usage message. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-05	Dan Carpenter	Check for malloc() as well as kmalloc() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-05	Dan Carpenter	Fix segfault when handling implicitly declared functions. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-04	Dan Carpenter	Warn when we don't acquire locks when calling certain... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-04	Dan Carpenter	Try (and fail) to find memory leaks. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-03	Dan Carpenter	Almost print a message when you come to unreachable... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-03	Dan Carpenter	Add check to look for double frees. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-03	Dan Carpenter	Add checking for lock_kernel()/unlock_kernel() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-02	Dan Carpenter	Make check_locking check both spinlocks and semaphores. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-02	Dan Carpenter	Add a new function slist_has_state() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-02	Dan Carpenter	If there is an i++ then the value of 'i' is undefined. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-02	Dan Carpenter	Add a new check_locking script that checks spinlocks. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-02	Dan Carpenter	Save the possible states instead of just merging them... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-01-28	Dan Carpenter	Ignore emacs garbage Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-01-28	Dan Carpenter	Merge branch 'master' into pools5	commit \| commitdiff \| tree
2009-01-16	Dan Carpenter	We could save some memory by not allocating new memory... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-12-21	Dan Carpenter	Add a comment showing where the tests are supposed...	commit \| commitdiff \| tree
2008-12-21	Dan Carpenter	This is left over from October as part of the implied...	commit \| commitdiff \| tree
2008-12-21	Dan Carpenter	Add get_possible_states(). Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-12-21	Dan Carpenter	Stuff left over from October. Implied pools work.	commit \| commitdiff \| tree
2008-10-19	Dan Carpenter	We could save some memory by not allocating new memory... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-18	Dan Carpenter	Fix memory leak. Add more comments. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-17	Dan Carpenter	Add a merge hook. Handle the situations like: Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-17	Dan Carpenter	strcmp() doesn't accept NULL arguments. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-17	Dan Carpenter	rename two functions: get_variable_from_expr_simple... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-17	Dan Carpenter	get_variable_from_expr() uses a static buffer and you... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-17	Dan Carpenter	Create a check_template.c example script that looks... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-15	Dan Carpenter	Make get_all_states() not segfault every time. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-15	Dan Carpenter	Fix get_value() to return negative values. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-15	Dan Carpenter	We only ever pass one parameter into get_value(). Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-15	Dan Carpenter	Fix get_all_states() to match the function definition. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-15	Dan Carpenter	Remove add_state() and state_defined() definitions... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-14	Dan Carpenter	Clean up. Fix leak. My problem is that I don't understand... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-14	Dan Carpenter	Initial commit of the "implied state pools" stuff.... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-14	Dan Carpenter	Doh. We haven't been using smatch_extra for a while. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-13	Dan Carpenter	Get rid of path_history. It's never going to be used. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-13	Dan Carpenter	Make goto_stack static.	commit \| commitdiff \| tree
2008-10-13	Dan Carpenter	Speed up merge_slist now that the slists are ordered. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-11	Dan Carpenter	Insert stuff onto lists in a sorted order. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-11	Dan Carpenter	Delete an unused function merge_state_stack() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-08	Dan Carpenter	fix: if (foo) { (foo)->bar; } Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-07	Dan Carpenter	kmalloc() and friends don't always return a non-null... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-06	Dan Carpenter	The checks from here got merged into check_null_deref.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-04	Dan Carpenter	Move the stuff from check_derefed_params.c into check_null_d... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-04	Dan Carpenter	Fix bug in or_slist_stack(). if (a && b) wasn't being... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-30	Dan Carpenter	Add a hook at the end of a file. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-28	Dan Carpenter	Forgot another strip_expr() call... :/ Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-28	Dan Carpenter	Handle assignmeents inside conditions better. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-28	Dan Carpenter	Only print something for a->foo and not a.foo Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-25	Dan Carpenter	Ignore array declarations. Those can't be NULL obviously. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-23	Dan Carpenter	Make cur_slist static. It's only used in smatch_states.c. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-22	Dan Carpenter	White space changes. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-22	Dan Carpenter	Use merge_slist() instead of trying to handle it yourself. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-22	Dan Carpenter	__process_continues() is supposed to be basically the... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-21	Dan Carpenter	New smatch_ignore.c file. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-21	Dan Carpenter	(foo) = 1 is the same as foo = 1. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-21	Dan Carpenter	Generalize stip_casts(). It's now called strip_expr... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-20	Dan Carpenter	Ignore casts. foo((int *)&bar) is the same as foo... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-20	Dan Carpenter	Created show_state() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-20	Dan Carpenter	Ignore stuff like foo.bar. We only care about foo... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-20	Dan Carpenter	What happens before is that parameters would get assigned... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom