Public Git Hosting - smatch.git/search

2009-05-21	Dan Carpenter	Rework implications to use ->pre_left and ->pre_right. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-17	Dan Carpenter	Introduce ->pre_left and ->pre_right. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-17	Dan Carpenter	Make the RAM limit more accurate and flexible. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-10	Dan Carpenter	Only clone the states if it is a switch statement. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-08	Dan Carpenter	Don't clone the false states Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-08	Dan Carpenter	Don't clone all the states for every case statement. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-06	Dan Carpenter	Make the validation test harder. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-06	Dan Carpenter	Prevent some endless loops. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-06	Dan Carpenter	Putting parens around something doesn't make it undefined. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-06	Dan Carpenter	Fix memory leak. free_slist(). Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-06	Dan Carpenter	Make struct sm_state more compact. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-04	Dan Carpenter	smatch_slist.c no longer needs any functions from smatch_extra.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-04	Dan Carpenter	Delete all the anding compound conditions code. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-04	Dan Carpenter	check debug is useful for debugging Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-04	Dan Carpenter	potential bug fix for gotos with implications Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-04	Dan Carpenter	Make validation test harder. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-05-04	Dan Carpenter	Rework smatch implied Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-24	Dan Carpenter	get_value(): handle a couple more bit operators Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-04-23	Dan Carpenter	Set things in smatch extra instead of smatch implied. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
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
next

Static analysis for C

RSS Atom