Public Git Hosting - smatch.git/search

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
2013-06-27	Dan Carpenter	comparison: introduce var_sym_eq() helper function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-27	Dan Carpenter	comparison: code cleanups Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-27	Dan Carpenter	comparison: handle divide "a = b / 2" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-27	Dan Carpenter	comparison: stop caring so much about wrapping (it... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-27	Dan Carpenter	comparison: inherited comparisons were reversed Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-21	Dan Carpenter	math: stuff stored in the local variable table from... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-20	Dan Carpenter	db, smdb.py: add call_tree option Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-20	Dan Carpenter	overflow: use hard_max instead of fuzzy max Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-20	Dan Carpenter	math: fix get_fuzzy_max() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-19	Dan Carpenter	ranges: parse "0[<=p1]" correctly Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-19	Dan Carpenter	user_data: handle returned user data better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-19	Dan Carpenter	db: return_state_to_var_sym() sometimes prints garbage Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-19	Dan Carpenter	db: rename add_definition_db_callback() => select_caller_inf... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-19	Dan Carpenter	db: rename add_db_fn_call_callback() => select_call_implies_... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-19	Dan Carpenter	db: rename add_db_return_states_before() => select_return_st... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-19	Dan Carpenter	db: rename add_db_return_states_callback() => select_return_... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-19	Dan Carpenter	db: handle conditional returns better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-18	Dan Carpenter	db: use comparison in db to determine get_implied_rl(). Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-18	Dan Carpenter	db: drop unused return_values table Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-18	Dan Carpenter	flow, clear_buffer: fake assigns were executing unops... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-17	Dan Carpenter	user_data: handle modification better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-17	Dan Carpenter	user_data, db: improve how returned user data is handled Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-17	Dan Carpenter	db: introduce return_state_to_var_sym() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-17	Dan Carpenter	validation, check_user_data: add a validation test Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-17	Dan Carpenter	debug: introduce __smatch_state(check_name, state_name) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-17	Dan Carpenter	db, fixup_kernel.sh: ignore (struct irq_router)->set() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-17	Dan Carpenter	user_data: track things like get_user_data(&my_pointer); Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-17	Dan Carpenter	user_data: make cross function tracking more specific Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-17	Dan Carpenter	comparison: use comparison from database instead of... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-17	Dan Carpenter	buf_size: fix handling of declarations with named elements Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-14	Dan Carpenter	db, fixup_kernel.sh: ignore (struct irq_router)->get Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-06-14	Dan Carpenter	db: fixup_kernel.sh: add comparisons to rw_verify_area Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom