Public Git Hosting - smatch.git/search

2009-04-03	Dan Carpenter	range fix. anding slists. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-03	Dan Carpenter	cleanups from clone_slist() changes. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-03	Dan Carpenter	Implied ranges. Part #1. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-02	Dan Carpenter	Add the allocation funcs. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-01	Dan Carpenter	free_scq is defined 2 times quite differently. It... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-01	Dan Carpenter	Fix implications (fallout from clone_slist() changes) Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-01	Dan Carpenter	Major memory saving. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-01	Dan Carpenter	--debug means print the implications Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-01	Dan Carpenter	Add --no-implied to the help text. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-30	Dan Carpenter	Save memory. Don't copy the state name so much. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-30	Dan Carpenter	Add check_type.c (disabled) Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-30	Dan Carpenter	kref_put() and kobject_put() are basically like a free() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-29	Dan Carpenter	Don't dereference freed memory. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-28	Dan Carpenter	Add all the allocation functions to check_leaks. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-28	Dan Carpenter	Generate a list of functions that allocate data. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-27	Dan Carpenter	Update the gen_frees_list.sh and the generated data... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-26	Dan Carpenter	Save function lists in smatch_data/ Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-26	Dan Carpenter	new (disabled) script: check_leaks.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-26	Dan Carpenter	implied: add get_implications() for scripts to use. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-25	Dan Carpenter	Add comment. get_value returns UNDEFINED on error. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-25	Dan Carpenter	function_hooks: bump the number of entries in the... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-25	Dan Carpenter	new: add_function_assign_hook() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-25	Dan Carpenter	Clean up the conditional hook code. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-25	Dan Carpenter	new api: add_conditional_hook(), set_cond_states(); Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-24	Dan Carpenter	function_hooks: pass the function name as well. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-24	Dan Carpenter	don't try return block things in get_variable_from_expr_comp... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-24	Dan Carpenter	Add a list of noreturn type functions that nullify... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-24	Dan Carpenter	Merge branch 'devel'	commit \| commitdiff \| tree
2009-03-23	Dan Carpenter	recompile the check_*.c files if the smatch headers... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-23	Dan Carpenter	check_overflow: test copy_to/from_user as well. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-23	Dan Carpenter	check_overflow: don't multiply the size of strings... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-23	Dan Carpenter	assumed_nonnull crap... temp fix. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-23	Dan Carpenter	Add script to generate the frees list. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-23	Dan Carpenter	rename register_frees_argument to check_frees_argument. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-23	Dan Carpenter	fix order of processing of commas. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-23	Dan Carpenter	get rid of FUNCTION_CALL_AFTER_HOOK Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-23	Dan Carpenter	change order of condition processing Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-23	Dan Carpenter	get rid of ASSIGNMENT_AFTER_HOOK Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-23	Dan Carpenter	check_memory: read freeing functions from file. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-22	Dan Carpenter	check_memory: read freeing functions from file. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-22	Dan Carpenter	frees_argument: don't count functions that only free... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-21	Dan Carpenter	core: improve anding condition handling. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-19	Dan Carpenter	check_overflow: move to new add_function_hook(). Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-19	Dan Carpenter	check_locking: move to the new function hook. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-19	Dan Carpenter	check_locking: fix some double unlock false positives. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-19	Dan Carpenter	core: add_function_hook() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-18	Dan Carpenter	make some vars static. other random sparse stuff. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-18	Dan Carpenter	core: add_unmatched_state_hook() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-18	Dan Carpenter	implied: re-add the debug output. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-18	Dan Carpenter	change convention: register_template() -> check_template() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-18	Dan Carpenter	locking: add some more mutex functions. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-18	Dan Carpenter	Make --known-conditions an option. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-17	Dan Carpenter	handle known conditions better Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-17	Dan Carpenter	check_memory: add rudimentary validation test. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-17	Dan Carpenter	new script to print a list of functions which free... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-17	Dan Carpenter	check_memory: make arguments static Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-17	Dan Carpenter	template: fix memory leak Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-17	Dan Carpenter	template: remove unused header, update comments Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-17	Dan Carpenter	check_locking: add mutexes Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-17	Dan Carpenter	check_memory: add kzalloc(), more complex variables. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-17	Dan Carpenter	implied: handle &undefined better Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-16	Dan Carpenter	info: loop could be replaced with if statement. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-16	Dan Carpenter	kchecker: add "--sparse" option. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-16	Dan Carpenter	smatch_implied/slist: move functions from slist to... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-16	Dan Carpenter	check_memory: use complex variables instead of regular... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-16	Dan Carpenter	check_memory: assume parents assigned on all paths... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-11	Dan Carpenter	check_memory: More changes. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-11	Dan Carpenter	assignments can add a parent... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-11	Dan Carpenter	Handle initialization in the declarations; Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-11	Dan Carpenter	Cut down on false positives. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-11	Dan Carpenter	Parse the return statement before calling the return... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-10	Dan Carpenter	Fix crashing bug. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-10	Dan Carpenter	Remove some false positives and enable the check. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-10	Dan Carpenter	Demote argument null derefs to cross func null derefs. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-10	Dan Carpenter	Label the output: error, warn, or info Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-09	Dan Carpenter	Add a hack to handle the kernel's redefined if. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-09	Dan Carpenter	Handle more comparisons than just (foo == 0) and (foo... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-08	Dan Carpenter	check_locking: a merge with NULL is a merge with the... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-08	Dan Carpenter	Remove unneeded code. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-08	Dan Carpenter	Add line number back. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-08	Dan Carpenter	Use the most recent implications. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-08	Dan Carpenter	Add option --assume-loops. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-08	Dan Carpenter	Add an option --no-implied to turn of implications. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-07	Dan Carpenter	implied pools: cleanup how implied pools are created. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-06	Dan Carpenter	check_memory: separate out a malloced state Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-06	Dan Carpenter	All along I was adding the pools to the wrong place. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-05	Dan Carpenter	Clean up. Move a couple ifdefs. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-05	Dan Carpenter	Add a sanity check that ->possible has a ->my_pool. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-05	Dan Carpenter	Clean up. Freeing the sm_states. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-05	Dan Carpenter	Oring the slists seems like merge_slist() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-05	Dan Carpenter	Add a --debug-implied option Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-04	Dan Carpenter	check_memory: Fix segfault Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-04	Dan Carpenter	kchecker: helper script to invoke smatch Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-04	Dan Carpenter	check_memory: new code. not used yet. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-04	Dan Carpenter	Fix bug in compound conditions and add validation test. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-03	Dan Carpenter	check_locking: handle functions with no return statement. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-03	Dan Carpenter	Fix so security_fixup_ops() doesn't trigger the OOM... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-03	Dan Carpenter	Fix 'or'ing states. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-03	Dan Carpenter	Fix NULL deref. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-03	Dan Carpenter	For some reason smatch can't find these header files... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom