Public Git Hosting - smatch.git/search

2011-09-12	Dan Carpenter	slist: preserve the ->line value correctly Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-09-12	Dan Carpenter	overflow: print more helpful info when the data file... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-09-12	Dan Carpenter	gen_array_bounds: filter out bogus lines Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-08-30	Dan Carpenter	buf_size: silence a gcc false positive Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-08-30	Dan Carpenter	use PTR_INT() and INT_PTR() to silence cast warnings Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-08-25	Dan Carpenter	slist: make alloc_sm_state() static Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-08-25	Dan Carpenter	slist: remove some dead code Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-08-25	Dan Carpenter	core: clong_sm() should preserve the ->line value Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-08-25	Dan Carpenter	update smatch_data/ for linux-3.1 Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-08-04	Dan Carpenter	new bogus_loops: warn on bogus for loops Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-07-29	Dan Carpenter	extra: use get_implied_value() instead of get_value... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-07-26	Dan Carpenter	implied: handle assignments inside conditions better Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-06-17	Dan Carpenter	overflow: check sprintf() and snprintf() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-06-17	Dan Carpenter	smatch_flow: fix compile error caused by upstream changes Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-06-17	Diego Elio Pettenò	Fix build with GCC 4.6 series.	commit \| commitdiff \| tree
2011-06-17	Dan Carpenter	overflow: cut down on false positives Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-06-13	Dan Carpenter	smatch_data: update for 3.0 kernel Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-06-13	Dan Carpenter	gen_no_return_funcs: always keep the default no return... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-06-13	Dan Carpenter	In a couple place the original checked for --spammy... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-06-09	Dan Carpenter	flow: handle known switch statements Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-06-09	Dan Carpenter	new return_negative_var: returning positive values... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-06-09	Dan Carpenter	new memset: check for memset(x, y, 0); typos Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-06-03	Dan Carpenter	Support __builtin_unreachable() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-01-26	Dan Carpenter	overflow: format_strings: put some verbose messages... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-01-18	Dan Carpenter	buf_size: put some guesses behind --spammy Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-01-11	Dan Carpenter	extra: handle count down for loops Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2011-01-11	Dan Carpenter	add RAW_ASSIGNMENT_HOOK Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-12-21	Dan Carpenter	Merge git://git.kernel.org/pub/scm/devel/sparse/chrisl...	commit \| commitdiff \| tree
2010-12-21	Dan Carpenter	signed: don't complain about putting 0xff into a signed... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-12-20	Dan Carpenter	locking: add _raw_spin_lock_nested() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-12-17	Dan Carpenter	introduce SELECT_HOOK Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-12-17	Dan Carpenter	new check_select: return ret < 0 ?: 0; Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-12-16	Dan Carpenter	new input_free_device: don't call this after input_unregis... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-12-16	Dan Carpenter	new check_container_of: container_of() doesn't return... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-12-16	Dan Carpenter	create check_list_local.h which is for untracked local... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-12-16	Dan Carpenter	locking: _atomic_dec_and_lock() is a spinlock() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-12-16	Dan Carpenter	files: cleanup open_file() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-12-16	Dan Carpenter	add default no_return_funcs if no project is specified Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-12-16	Dan Carpenter	update smatch_data/ for 2.6.37 Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-12-15	Dan Carpenter	new check_access_ok_math: potential integer overflows Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-11-16	Dan Carpenter	hooks: introduce ASM_HOOK Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-11-16	Dan Carpenter	temporary hack to solve crashing bug in fs/reiserfs... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-11-13	Dan Carpenter	locking: add __raw_spin_unlock_irq() function Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-11-12	Dan Carpenter	err_ptr_deref: fix assignments inside conditions Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-10-25	Dan Carpenter	locking: add arch_local_irq_save() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-10-05	Dan Carpenter	check_type: warn about kfree() vs free_netdev() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-10-05	Dan Carpenter	type: improve handling of array types Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-09-10	Dan Carpenter	extra: move some stuff into smatch_dinfo.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-09-10	Dan Carpenter	buf_size: oops... remove debug output! Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-09-10	Dan Carpenter	whitespace_only: don't error out handling .h files Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-09-10	Dan Carpenter	new get_user_overflow: check for integer overflows... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-09-10	Dan Carpenter	smatch_db: don't complain if the db doesn't exist Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-09-10	Dan Carpenter	buf_size: do cross function analysis Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-09-10	Dan Carpenter	new uncapped_alloc: print places where the user decides... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-09-10	Dan Carpenter	new smatch_db: use and sqlite database for cross... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-09-10	Dan Carpenter	param_mapper: update copyright Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-08-30	Dan Carpenter	smatch_scripts/gen_expects_err_ptr.sh Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-08-30	Dan Carpenter	smatch_data/kernel.array_bounds: array boundary data Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-08-30	Dan Carpenter	expects_err_ptr: make a list of functions which accept... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-08-30	Dan Carpenter	unwind: add more unwind functions Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-08-30	Dan Carpenter	update smatch_data/ for 2.6.36-rc2 (part 2) Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-08-30	Dan Carpenter	overflow: fixup cross function overflows Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-08-26	Dan Carpenter	remove dead no_le16 cruft Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-08-26	Dan Carpenter	unwind: add more unwind functions Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-08-24	Dan Carpenter	remove check_le16.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-08-24	Dan Carpenter	Update smatch_data to 2.6.36-rc2 [patch 1 of more] Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-08-24	Dan Carpenter	kernel: container_of() returns a non-NULL pointer Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-08-24	Dan Carpenter	Introduce add_macro_assign_hook() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-08-21	Dan Carpenter	fix out of memory handling Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-08-18	Dan Carpenter	New functions returns_unsigned() and returns_pointer() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-08-18	Dan Carpenter	new check_info_leak.c: places that pass un-zeroed... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-08-18	Dan Carpenter	new check_return_enomem: complain about returning... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-08-04	Dan Carpenter	new platform_device_put() vs platform_device_del() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-08-03	Dan Carpenter	unwind: literals higher than zero are not an error... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-08-03	Dan Carpenter	implied: only print the nr_children messages if there... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-08-03	Dan Carpenter	unwind: register unwind functions that unwind everything Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-08-03	Dan Carpenter	unwind: update equivalent states Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-08-02	Dan Carpenter	extra: clean up unused variables Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-08-02	Dan Carpenter	equiv: update validation test Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-08-02	Dan Carpenter	extra: handle WARN_ON(func(&set_this_pointer)); Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-08-02	Dan Carpenter	buf_size: I broke initializer handling by mistake Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-08-02	Dan Carpenter	oops. fix compile error. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-08-02	Dan Carpenter	buf_size: remove memset() and memmove() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-08-01	Dan Carpenter	implied_not_equal: handle literals Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-08-01	Dan Carpenter	resource: crashing bug on incorrect input. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-07-31	Dan Carpenter	buf_size: ignore dynamically sized arrays Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-07-31	Dan Carpenter	buf_size: add support for memdup() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-07-31	Dan Carpenter	buf_size: add support for strndup() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-07-31	Dan Carpenter	buf_size: use strcpy() to determine the size of the... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-07-31	Dan Carpenter	buf_size: use strncpy() and friends to set the buf... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-07-31	Dan Carpenter	buf_size: whitespace changes Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-07-31	Dan Carpenter	overflow: remove unused functions Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-07-31	Dan Carpenter	buf_size: use alloc_state_num() instead of custom version Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-07-31	Dan Carpenter	buf_size: remove unused definition Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-07-31	Dan Carpenter	overflow: make array size tracking into a library function Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-07-30	Dan Carpenter	unwind: add pci_iomap() and pci_iounmap() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-07-29	Dan Carpenter	new check_kmalloc_to_bugon: don't call bug_on() for... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-07-29	Dan Carpenter	new check_unwind: check that module_init function... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-07-21	Dan Carpenter	core: process inline statements Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-07-21	Dan Carpenter	flow: handle asm statements correctly Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom