Public Git Hosting - smatch.git/search

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
2009-04-14	Dan Carpenter	Eliminate set_cond_states() function. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-14	Dan Carpenter	Small clean up. Allocating filter. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-14	Dan Carpenter	Verify that the value passed to ERR_PTR() isn't too... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-14	Dan Carpenter	Fix compiler int<->ptr conversion warnings	commit \| commitdiff \| tree
2009-04-14	Dan Carpenter	Merge adjacent ranges. 1-2,3-4 becomes 1-4. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-14	Dan Carpenter	Save some allocations. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-14	Dan Carpenter	Fix strncat() bugs. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-13	Dan Carpenter	Improve handling of for loops. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-12	Dan Carpenter	Handle once through loops differently Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-12	Dan Carpenter	Fix merging ranges. Completely broken before. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-12	Dan Carpenter	Typo: <= instead of >= Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-12	Dan Carpenter	Reverse all the ranges. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-12	Dan Carpenter	Don't the implications for the state determining the... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-11	Dan Carpenter	match_comparison to handle less than, greater than. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-11	Dan Carpenter	Change locking output. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-11	Dan Carpenter	Don't allocate so many extra_undefined states. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-11	Dan Carpenter	create alloc_extra_state_empty() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-11	Dan Carpenter	remove true_comparison() and do_comparison(). Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-11	Dan Carpenter	move (true\|false)_comparison_range() to smatch_extra_helper.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-11	Dan Carpenter	clear ->my_lists for &ignore. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-11	Dan Carpenter	Print more --debug-implied information when --debug... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-11	Dan Carpenter	Removed hard coded options. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-11	Dan Carpenter	Fix range comparison. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-10	Dan Carpenter	remove unused function: range_list_intersection() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-10	Dan Carpenter	Handle UNDEFINED range and display the name correctly. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-10	Dan Carpenter	Fix state names for ranges. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-10	Dan Carpenter	Implied ranges. Part #3. Range Lists Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-10	Dan Carpenter	Update data files for 2.6.30-rc1 Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-08	Dan Carpenter	smatch_extra. save other comparisons besides just... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-08	Dan Carpenter	handle: if ((foo = try_lock())) { ... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-08	Dan Carpenter	rename: expr_to_val() -> get_implied_value() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-08	Dan Carpenter	Fix handling of if (IS_ERR(foo = bar())) { ... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-08	Dan Carpenter	handle if conditional functions are assigned Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-07	Dan Carpenter	Add new restricted known_condition_true() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-07	Dan Carpenter	rename known_condition_true() to implied_condition_true() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-07	Dan Carpenter	Add ERR_PTR() check. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-07	Dan Carpenter	__module_put_and_exit() doesn't return. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-07	Dan Carpenter	Separate the list of freed arguments from decremented... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-07	Dan Carpenter	Write a script to print functions that return NULL... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-07	Dan Carpenter	Don't free bin_dir. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-07	Dan Carpenter	Oops. Commit these essential files. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-05	Dan Carpenter	Handle known conditions when they are a simple value. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-05	Dan Carpenter	Add CASE_HOOK. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-05	Dan Carpenter	Fix memory leaks found by valgrind. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-05	Dan Carpenter	alloc_string() -> alloc_sname() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-05	Dan Carpenter	Put some validation scripts in the closet. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-05	Dan Carpenter	Implied ranges. Part #2. Filters Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-04	Dan Carpenter	Silence the mutually exclusive output again. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-04	Dan Carpenter	Free all data_info at the end of a function. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-04	Dan Carpenter	Add --no-data option and warning. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
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
next

Static analysis for C

RSS Atom