Public Git Hosting - smatch.git/search

2013-12-20	Dan Carpenter	extra: assume indexes are in bounds Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-19	Dan Carpenter	flow: fix struct initialization bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-19	Dan Carpenter	new check_array_condition.c: arrays can't be NULL Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-19	Dan Carpenter	buf_size: store ranges in the database instead of single... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-19	Dan Carpenter	strlen: remove some blank lines Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-19	Dan Carpenter	unreachable code: don't warn about unreachable break... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-19	Dan Carpenter	unreachable code: don't warn about empty statements Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-19	Dan Carpenter	debug: introduce __smatch_buf_size_rl() which is more... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-19	Dan Carpenter	debug: add __smatch_member_name() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-19	Dan Carpenter	kernel, db: add hweight() functions to the database Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-19	Dan Carpenter	kernel, db: consider x = htonl(10) and x = 10 equivalent. Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-19	Dan Carpenter	introduce: smatch_data/kernel.no_inline_functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-18	Dan Carpenter	new add smatch_data/kernel.silenced_functions to... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-17	Dan Carpenter	common_functions.c: handle strlen() and strnlen() better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-17	Dan Carpenter	access_ok_math: restrict this check to --spammy output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-17	Dan Carpenter	new check_cast_assign.c: check casting a smaller... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-13	Dan Carpenter	check_debug: fix crashing bug on printing non-existant... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-11	Dan Carpenter	buf_size: buffer allocations in the same file are not... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-11	Dan Carpenter	buf_size: ignore unknown array sizes better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-11	Dan Carpenter	strlen: record string lengths across function calls Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-06	Dan Carpenter	strlen: record assigned strings Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-06	Dan Carpenter	strlen: add a comment and rename some things Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-06	Dan Carpenter	strlen: handle string literals Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-06	Dan Carpenter	debug: introduce __smatch_strlen() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-06	Dan Carpenter	strlen: introduce get_implied_strlen() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-06	Dan Carpenter	math: revert accidentally committed code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-06	Dan Carpenter	buf_size: read a range_list from the database Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-06	Dan Carpenter	buf_size: store type_size in two tables the same as... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-06	Dan Carpenter	buf_size: make size_from_db() work again Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-06	Dan Carpenter	buf_size, strlen: separate buf_size and strlen into... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-06	Dan Carpenter	overflow: use fuzzy_max to warn about array overflows Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-06	Dan Carpenter	math: fix get_fuzzy_min/max() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-06	Dan Carpenter	buf_size: represent buffer size as a range list instead... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-11-29	Dan Carpenter	buf_size: handle places that dynamically alocate sometimes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-11-29	Dan Carpenter	flow: introduce __in_function_def Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-11-29	Dan Carpenter	extra, math: rework how fuzzy max is handled Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-11-29	Dan Carpenter	buf_size: handle devm_kmalloc() allocations. Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-11-28	Dan Carpenter	kernel.ignored_macros: add RT_ASSERT and SKD_ASSERT Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-11-28	Dan Carpenter	smdb: improve "where" output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-11-28	Dan Carpenter	ranges: introduce rl_has_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-11-28	Dan Carpenter	helper: work around crashing bug in get_member_name() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-11-28	Dan Carpenter	local_values: pull code in one indent Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-11-22	Dan Carpenter	check_signed: ignore things with negative number of... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-11-22	Dan Carpenter	flow: ignore structs and unions in set_unset_to_zero... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-11-22	Dan Carpenter	modification_hooks: delete a blank line Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-11-22	Dan Carpenter	recurse: introduce has_inc_dec() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-11-22	Dan Carpenter	type_val: fix a build warning Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-11-22	Dan Carpenter	type_val: actually run the code... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-11-22	Dan Carpenter	smatch: a couple crashing bugs on invalid code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-11-21	Dan Carpenter	allow char to be unsigned Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-11-21	Dan Carpenter	helper: improve is_error_return() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-11-21	Dan Carpenter	type_val: introduce storing struct member limits Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-11-21	Dan Carpenter	data_source: load where data comes from into the database Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-11-21	Dan Carpenter	.gitignore: ignore bak.smatch Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-11-21	Dan Carpenter	db: fixup_kernel.sh: say that we only have 64 CPUs Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-11-21	Dan Carpenter	db: preserve unmerged states in the ->possible better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-11-21	Dan Carpenter	db: group function pointer return states together Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-11-21	Dan Carpenter	db: order the return_states Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-11-20	Dan Carpenter	db: fixup_kernel.sh: ignore timer_list functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-11-20	Dan Carpenter	db: fixup_kernel.sh: remove some USER_DATA calls Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-11-20	Dan Carpenter	db: improve database debugging Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-11-14	Dan Carpenter	smatch.h: shift some struct members around Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-10-25	Dan Carpenter	flow: clear_buffer: revert part of commit that uses... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-10-11	Dan Carpenter	flow: re-write how struct members are initialized Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-10-11	Dan Carpenter	smatch_clear_buffer: memcpy() should set the destination... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-10-11	Dan Carpenter	smatch_clear_buffer: make a function static Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-10-11	Dan Carpenter	smatch_data/kernel.clears_argument: remove memset() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-10-08	Dan Carpenter	flow: introduce outside_of_function() to fix global... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-09-17	Dan Carpenter	db: kernel: ignore i40e_dbg_netdev_ops_write() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-09-16	Dan Carpenter	flow: set members to zero by default Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-09-16	Dan Carpenter	db, extra, user_data: handle: *x = 1; return x;" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-09-16	Dan Carpenter	user_data: remove kmemdup_user() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-09-16	Dan Carpenter	user_data: make a function static Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-09-16	Dan Carpenter	container_of: people checking the return value of nla_data... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-09-12	Dan Carpenter	helper: fix crashing bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-09-10	Dan Carpenter	user_data: make a function static Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-09-05	Dan Carpenter	math: export get_const_value() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-09-05	Dan Carpenter	math: handle bitwise OR Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-09-05	Dan Carpenter	math: handle LEFT_SHIFT (a << b) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-09-05	Dan Carpenter	math: remove an impossible condition Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-09-04	Dan Carpenter	Fix --no-data so it doesn't spew database errors Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-08-15	Dan Carpenter	extra: fix a crash parsing invalid code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-08-15	Dan Carpenter	sizeof: fix typo in error message Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-08-15	Dan Carpenter	sizeof: complain if code does sizeof(4) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-08-15	Dan Carpenter	type: let get_real_base_type() take NULL parameters Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-07-18	Dan Carpenter	db: rename add_returned_state_callback() => add_split_return... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-07-16	Dan Carpenter	rosenberg info leaks: check __copy_to_user() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-07-16	Dan Carpenter	rosenberg info leaks: use PARAM_CLEARED data from the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-07-16	Dan Carpenter	rosenberg info leaks: use stripped data from copy_to_user() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-07-16	Dan Carpenter	rosenberg info leaks: make check_members_initialized... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-07-16	Dan Carpenter	extra: handle "if (a & 0x1)" conditions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-07-16	Dan Carpenter	flow: fake assigns better for nested structs and array... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-07-16	Dan Carpenter	helper: get_member_name() could store unions (sort of) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-07-15	Dan Carpenter	user_data: fix crashing bug... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-07-15	Dan Carpenter	math: improve how casts are handled Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-07-15	Dan Carpenter	math: introduce get_absolute_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-07-15	Dan Carpenter	math: improve how bitwise ANDs are handled Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-07-15	Dan Carpenter	kernel data/: update to recent linux-next (3.11-rc1... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-07-15	Dan Carpenter	db: declare strnlen() as returning "0-s32max[<=p1]" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-07-15	Dan Carpenter	user_data: export is_user_macro() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom