Public Git Hosting - smatch.git/search

2010-01-30	Dan Carpenter	check_memory: only load kernel.frees_argument when... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-29	Dan Carpenter	Create: smatch_project.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-29	Dan Carpenter	bail if things are taking too long Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-29	Dan Carpenter	add smatch_scripts/filter_kernel_deref_check.sh Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-29	Dan Carpenter	check_deref_check: do not complain in loop pre conditions Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-28	Dan Carpenter	tweak unreachable code messages Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-27	Dan Carpenter	check_signed: handle signed 1 bit values Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-27	Dan Carpenter	check_signed: don't complain about unsigned int x... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-27	Dan Carpenter	new function: type_unsigned() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-26	Dan Carpenter	partly replace check_null_deref.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-25	Dan Carpenter	modification hooks: only allow one hook per variable... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-25	Dan Carpenter	introduce: set_default_modification_hook() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-25	Dan Carpenter	cleanup: get rid of smatch_containers.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-25	Dan Carpenter	check_null_deref: only the kernel cares about failed... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-23	Dan Carpenter	Fix OpenBSD compile Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-23	Dan Carpenter	check_signed: clean ups. add check for impossibly... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-22	Dan Carpenter	make everything use smatch_function_hashtable.h Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-22	Dan Carpenter	add smatch_function_hashtable.h Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-22	Dan Carpenter	Move everything to the new cwchash hash table. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-22	Dan Carpenter	add cwchash hash table implementation Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-21	Robert Bedichek	Novafora license grant using MIT license.	commit \| commitdiff \| tree
2010-01-21	Dan Carpenter	function_implies_hook: fix bug when a function has... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-21	Dan Carpenter	check_signed: warn on assigning negative to unsigned Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-20	Dan Carpenter	Make smatch work again. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-20	Dan Carpenter	Merge git://git.kernel.org/pub/scm/devel/sparse/chrisl...	commit \| commitdiff \| tree
2010-01-20	Dan Carpenter	Move the checks out of smatch.c into check_list.h Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-20	Dan Carpenter	silence some sparse warnings: () => (void) Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-20	Dan Carpenter	introduce: type_min() and type_max() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-20	Dan Carpenter	wine WtoA: fix crashing bug Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-19	Dan Carpenter	new file: smatch_scripts/gen_dma_funcs.sh Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-19	Dan Carpenter	show_ifs.sh: Add the -C option Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-19	Dan Carpenter	check_memory: eliminate some false positives Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-19	Dan Carpenter	get_value(): the return value was getting cut off Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-19	Dan Carpenter	check_signed: clarify error message Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-19	Dan Carpenter	wine_filehandles: if the file handle gets reassigned... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-19	Dan Carpenter	Help kchecker and wine_checker.sh find the smatch binary Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-19	Dan Carpenter	get_variable_from_expr(): fix array display (even... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-18	Dan Carpenter	delete_state(): fix a bug calling delete state inside... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-18	Dan Carpenter	get_variable_from_expr(): use [] for arrays. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-18	Dan Carpenter	fix "make install" Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-17	Dan Carpenter	fix bug in printing file names Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-17	Dan Carpenter	get_array_name(): return the stripped value. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-17	Dan Carpenter	wine: pp_internal_error() doesn't return Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-16	Dan Carpenter	unused return: warning: => warn: Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-16	Dan Carpenter	precedence: make test stricter Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-16	Dan Carpenter	__USE_ISOC99: silence a gcc warning. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-16	Dan Carpenter	check_dev_queue_xmit: make valid_use() static Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-15	Dan Carpenter	check_signed: change some error: messages to warn: Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-15	Dan Carpenter	check_signed: fix and turn on by default Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-15	Dan Carpenter	get_type(): fix cast handling Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-15	Dan Carpenter	get_value(): add initial support for handling casts Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-15	Dan Carpenter	whitespace: "switch(" => "switch (" Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-15	Dan Carpenter	get_type(): don't ignore casts! Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-15	Dan Carpenter	eliminate all the "x can't fit into 0" false positives Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-14	Dan Carpenter	fix getting_address() functions vs parens Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-14	Dan Carpenter	add check_dev_queue_xmit.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-14	Dan Carpenter	add --rare option for rare bugs Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-14	Dan Carpenter	introduce: add_modification_hook_expr() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-13	Dan Carpenter	implied cleanup: move pool_in_pools() and is_checked() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-13	Dan Carpenter	implied cleanup: rename: get_eq_neq() => separate_and_filter() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-13	Dan Carpenter	implied cleanup: separate do_compare into its own... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-13	Dan Carpenter	implied cleanup: move get_implications() lower in the... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-13	Dan Carpenter	implied cleanup: 1 => LEFT Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-13	Dan Carpenter	implied cleanup: clean handle_comparison() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-13	Dan Carpenter	implied cleanup: rename state => sm Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-13	Dan Carpenter	implied cleanup: move check for !is_merged() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-13	Dan Carpenter	implied cleanup: rename left => lr Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-13	Dan Carpenter	implied cleanup: rename some sm_states: state => sm Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-13	Dan Carpenter	implied cleanup: move some functions around Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-13	Dan Carpenter	implied cleanup: comments Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-13	Dan Carpenter	implied cleanup: create print_once() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-13	Dan Carpenter	implied cleanup: get rid of some curly braces Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-13	Dan Carpenter	implied cleanup: move variable declarations Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-13	Dan Carpenter	Add validation/sm_array_overflow.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-12	Dan Carpenter	cleanup remove false_only_stack Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-12	Dan Carpenter	Fix bug in handling for loops Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-10	Dan Carpenter	foo(&bar) means bar is modified. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-09	Dan Carpenter	check_memory: add_modification_hook isfree => unfree Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-09	Dan Carpenter	move modification hook to the front of the hook list Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-09	Dan Carpenter	clean up: move everything to get_dinfo() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-08	Dan Carpenter	introduce: get_dinfo() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-08	Dan Carpenter	check_overflow: handle addresses differently Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-08	Dan Carpenter	smatch_extra: clean up. state can never be &merged... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-08	Dan Carpenter	check_overflow: ignore the last member of structs Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-08	Dan Carpenter	smatch_extra: I don't like empty ranges Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-08	Dan Carpenter	add smatch_scripts/gen_array_bounds.sh Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-08	Dan Carpenter	smatch_data/kernel.array_bounds.remove Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-08	Dan Carpenter	check_overflow: an an "error: " prefix to a printf. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-07	Dan Carpenter	smatch_scripts/show_unreachable.sh Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-07	Dan Carpenter	new script: show_ifs.sh Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-07	Dan Carpenter	introduce getting_address() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-07	Dan Carpenter	update smatch_scripts/ because of --info format changes Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-07	Dan Carpenter	check offset after use: ignore foo = &array[bar]; Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-07	Dan Carpenter	check_overflow: move some more stuff under the --info... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-07	Dan Carpenter	clean up output: warning: => warn: Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-07	Dan Carpenter	modification_hook: -- and ++ are modifications Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-06	Dan Carpenter	It makes sense to check an array offset if it has been... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-05	Dan Carpenter	check_overflow: separate the two types of states Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-05	Dan Carpenter	Fix precedence/crashing bug check_overflow Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-03	Dan Carpenter	check_overflow: check for limiting offset after using it Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom