Public Git Hosting - smatch.git/search

2010-02-15	Dan Carpenter	kernel.no_return_funcs: __reiserfs_panic doesn't return Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-14	Dan Carpenter	check_overflow: store the size in bytes instead of... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-14	Dan Carpenter	check_overflow: don't complain about if (ptr < &array... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-14	Dan Carpenter	smatch_flow: change how the big expression stack works... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-14	Dan Carpenter	check_overflow: rename my_decl_id => my_size_id Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-14	Dan Carpenter	check_overflow: white space changes Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-14	Dan Carpenter	check_overflow: use the _expr() hooks instead of doing... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-14	Dan Carpenter	check_overflow: remove some old debugging code Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-14	Dan Carpenter	check_overflow: rename dest => array_expr Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-14	Dan Carpenter	check_overflow: get_initializer_bytes() => get_initializer_... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-14	Dan Carpenter	check_overflow: option_spammy => option_info Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-14	Dan Carpenter	check_overflow: handle indexed array initializations Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-14	Dan Carpenter	check_overflow: fix endless loop parsing "int x =... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-14	Dan Carpenter	fix get_implied_max() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-13	Dan Carpenter	check_overflow: lots of improvements and also a validation... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-13	Dan Carpenter	fix crash calling get_type() on implicitly defined... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-13	Dan Carpenter	Add smatch_data/kernel.no_return_funcs Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-12	Dan Carpenter	function hooks: get rid of conditional function hooks Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-12	Dan Carpenter	add smatch_scripts/new_bugs.sh: prints the bugs introduced... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-12	Dan Carpenter	err_ptr_deref: update to use newer api Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-12	Dan Carpenter	unreachable code: enable by default Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-12	Dan Carpenter	show_unreachable.sh: add -k (kernel mode) -b (ignore... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-11	Dan Carpenter	unreachable code: work around gcc work arounds Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-11	Dan Carpenter	print an error message about unreached initializers Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-10	Dan Carpenter	check_stack: tweak the output a bit Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-10	Christopher Li	Pointer don't inherent the alignment from base type	commit \| commitdiff \| tree
2010-02-08	Dan Carpenter	New check_stack.c: warn if kernel code puts too much... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-08	Dan Carpenter	Add register_project() to check_list.h Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-01	Dan Carpenter	update the documentation a bit Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
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
next

Static analysis for C

RSS Atom