Public Git Hosting - smatch.git/search

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
2009-02-27	Dan Carpenter	Fix handling mutually exclusive states. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-27	Dan Carpenter	Get rid of redundant harmonize_states() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-27	Dan Carpenter	Add function __set_true_false_sm() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-26	Dan Carpenter	Only save an implied list if a state has been modified. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-26	Dan Carpenter	Only implied states that aren't already true. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-26	Dan Carpenter	Take a parameter instead of assuming the output is... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-26	Dan Carpenter	Don't check that there are both true and false states... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-25	Dan Carpenter	This check_order() seems superfluous. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-25	Dan Carpenter	New function harmonize_states() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-25	Dan Carpenter	call __split_expr() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-25	Dan Carpenter	remove unneeded calls to __use_cond_true_states(); Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-24	Dan Carpenter	Don't set the implied state to &merged. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-24	Dan Carpenter	Make cmp_tracker() accessible to outside files. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-24	Dan Carpenter	All the states are implied not just unique ones. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-24	Dan Carpenter	Improve lock check output. Add more validation samples. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-23	Dan Carpenter	Add support for down_interruptible() and friends. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-23	Dan Carpenter	Fix the Unclear locking thing. Again. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-23	Dan Carpenter	Warn on double lock/unlocks. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-23	Dan Carpenter	Print fewer Unclear locking messages. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-23	Dan Carpenter	if ((1)) { ... is a known_condition_true() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-23	Dan Carpenter	Add support for those funny gcc ({ ... }) block statements. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-22	Dan Carpenter	Handle declarations inside switch statement blocks. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-22	Dan Carpenter	Cleanup is_zero() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-22	Dan Carpenter	Add known_condition_false() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-22	Dan Carpenter	Fix handling of continue inside do while statements. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-22	Dan Carpenter	Don't set let people set states for unreachable code. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-22	Dan Carpenter	Small cleanup. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-22	Dan Carpenter	Handle the iterators correctly. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-20	Dan Carpenter	Add support for "if (a?b:c) { ..." ternary conditions Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-20	Dan Carpenter	Add some support for _spin_trylock() and friends. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-20	Dan Carpenter	if (a \|\| b) { a->foo; should print an error. Also... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-19	Dan Carpenter	This prints out error messages all the time that are... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-02-19	Dan Carpenter	Assignment always sets &isfreed to something else like... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom