Public Git Hosting - smatch.git/search

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
2013-07-15	Dan Carpenter	user_data: mark ntohl() data as user_data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-07-15	Dan Carpenter	user_data: improve tracking set vs passed in user data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-07-10	Dan Carpenter	implied: remove some unused code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-07-08	Dan Carpenter	check_overflow: silence some "not allocating enough... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-07-06	Dan Carpenter	comparison: white space cleanup Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-07-06	Dan Carpenter	extra: handle binop comparisons better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-07-05	Dan Carpenter	db/fixup_kernel.sh: filter ->read/write() functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-07-05	Dan Carpenter	function_ptr: handle scope of function pointers better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-07-04	Dan Carpenter	smatch: add --debug=check_name option to debug only... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-07-03	Dan Carpenter	comparison: fix breakage caused by moving to var_sym_lists Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-07-03	Dan Carpenter	comparison: cleanup first_sym() and rename to vsl_to_sym() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-07-03	Dan Carpenter	comparison: cleanup: get rid of sym pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-07-02	Dan Carpenter	comparison: track modifications better using var_sym_lists	commit \| commitdiff \| tree
2013-07-02	Dan Carpenter	var_sym: introduce some helper functions for handling... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-29	Dan Carpenter	debug: add __smatch_states("register_comparison") Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-29	Dan Carpenter	debug: update debug to handle the new comparison features Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-29	Dan Carpenter	comparison: inherit links when the comparison is set... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-29	Dan Carpenter	comparison: partially fix how links are updated Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-28	Dan Carpenter	db: track some more ==p1 return values Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-28	Dan Carpenter	comparison: save correct link name Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-28	Dan Carpenter	helper: export append() function (it's the same as... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-28	Dan Carpenter	comparison: fix bug handling min_t() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-28	Dan Carpenter	comparison: ignore assigns like += or /= for now Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-28	Dan Carpenter	ranges: problems parsing "s32min-(-1)[<=p2]" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-28	Dan Carpenter	comparison: comparisons with 3 variables: "a > b + c" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-27	Dan Carpenter	comparison: if "a < b" and "b < c" then "a < c" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom