Public Git Hosting - smatch.git/search

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
2009-03-03	Dan Carpenter	Fix string memory leaks. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-02	Dan Carpenter	Remove unneeded allocation. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-02	Dan Carpenter	Remove outdated comment. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-02	Dan Carpenter	Don't __free_sm_state() until end of function. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-02	Dan Carpenter	free_slist() after calling get_all_states() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-02	Dan Carpenter	don't reallocate the ->possible states. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-02	Dan Carpenter	Get rid of unused line history code. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-02	Dan Carpenter	Fix some memory leaks in __implied_states_hook() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-02	Dan Carpenter	Add free_trackers_and_list() and free_tracker_list... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-02	Dan Carpenter	Add new free_stack() function. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-02	Dan Carpenter	rename del_slist_stack() to free_stack_and_slists() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-02	Dan Carpenter	rename del_slist() -> free_slist() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-03-02	Dan Carpenter	Free all the sm_states at the end of each function. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-28	Dan Carpenter	Add ->possible to __print_slist() output. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-28	Dan Carpenter	Save all the pools a state goes through. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-27	Dan Carpenter	Add and fix smatch implied tests. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-27	Dan Carpenter	Preserve the ->pools and ->possible for implied states. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom