Public Git Hosting - smatch.git/search

2015-06-09	Dan Carpenter	function_hooks: fix validation/sm_compare15.c handling Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-06-07	Dan Carpenter	locking: add new down_timeout() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-06-07	Dan Carpenter	smatch_address: fix compile Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-06-07	Dan Carpenter	fixup_kernel.sh: ignore some __vfs_write() calls Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-06-07	Dan Carpenter	fixup_kernel: update types Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-05-26	Dan Carpenter	debug: improve __smatch_states() output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-05-22	Dan Carpenter	flow: ignore parenthesis in prev_expression_is_getting_address() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-05-20	Dan Carpenter	unreachable: ignore netdev_for_each_lower_dev() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-05-18	Dan Carpenter	flow: cleanup prev_expression_is_getting_address()... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-05-15	Dan Carpenter	flow: "&foo->bar" is not a dereference Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-05-15	Dan Carpenter	smatch_address: separate things out into .bss and ... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-05-13	Dan Carpenter	new check_test_bit: check for test_bit(BIT(0), &foo) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-05-04	Dan Carpenter	type: speed up get_type() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-05-04	Dan Carpenter	type: improve get_binop_type() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-05-01	Dan Carpenter	flow: add a new expr->parent struct member Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-04-27	Dan Carpenter	fixup_kernel: hard code __spi_sync() returns. Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-04-27	Dan Carpenter	fixup_kernel: kmalloc() can allocate more data. Let... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-04-24	Dan Carpenter	smatch_address: sort pointers into different ranges Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-04-23	Dan Carpenter	extra: remove some unused functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-04-23	Dan Carpenter	smatch.h: add the comparison hook Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-04-22	Dan Carpenter	type_to_str: fix a crashing bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-04-13	Dan Carpenter	ignore_side_effects: get_child_rcu() double evaluates... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-04-09	Dan Carpenter	implied: use comparison information for implications Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-04-09	Dan Carpenter	smatch.h: move stree_stack declaration from smatch_slist... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-04-07	Dan Carpenter	rosenberg: add __builtin_memset/memcpy() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-30	Dan Carpenter	user_data2: handle returned struct members Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-30	Dan Carpenter	comparison: update a comment Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-30	Dan Carpenter	smdb.py: update to reflect LIMIT/FILTER changes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-30	Dan Carpenter	unwind: add some null checks Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-30	Dan Carpenter	type: include smatch_slist.h to prevent a segfault Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-30	Dan Carpenter	extra: don't set states to unknown at the beginning... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-30	Dan Carpenter	extra: don't set true false states if they are the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-30	Dan Carpenter	function_hooks: add a hack around in compare_db_return_state... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-30	Dan Carpenter	list: add a comment about register_implications Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-30	Dan Carpenter	param_limit: handle struct members Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-30	Dan Carpenter	states: white space fix Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-30	Dan Carpenter	conditions: ignore known/implied conditions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-30	Dan Carpenter	strings: record string assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-30	Dan Carpenter	struct_assignment: save a lot more information Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-30	Dan Carpenter	param_limit/filter: fix a type bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-26	Dan Carpenter	comparison: handle canonical for loops with variable... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-26	Dan Carpenter	comparison: unsigned can not be less than zero Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-26	Dan Carpenter	flow: set __cur_stmt and __prev_stmt inside for loops Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-26	Dan Carpenter	comparison: merging equivalent states is not undefined Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-26	Dan Carpenter	comparison: fix an indent Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-20	Dan Carpenter	function_hooks: fix up db_compare_callback() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-20	Dan Carpenter	function_hooks, debug: print impossible returns if... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-20	Dan Carpenter	helper: don't strip casting in get_array_offset() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-20	Dan Carpenter	links: export merge_link_states() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-20	Dan Carpenter	helper: make expr_to_str() print forced casts Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-20	Dan Carpenter	type: make type_to_str() return a sname() buffer Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-20	Dan Carpenter	modification_hooks: set a variable as modified when... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-20	Dan Carpenter	user_data2: tag it if a function sets parameters to... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-20	Dan Carpenter	stack: cleanup a function prototype Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-20	Dan Carpenter	deref_check: ignore arrays Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-18	Dan Carpenter	type: make sval_type_max() default to "long long" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-18	Dan Carpenter	type: don't return SYM_NODE types from get_real_base_type() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-15	Dan Carpenter	side_effects: the iterate_all_kinds() macro has side... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-15	Dan Carpenter	unreachable: don't complain about iterate_all_kinds() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-13	Dan Carpenter	flow: fix "foo += !bar;" assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-11	Dan Carpenter	lib: handle -funsigned-char option Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-10	Dan Carpenter	kernel.ignore_side_effects: add some macros Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-10	Dan Carpenter	indenting: allow "break; case XXX:" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-05	Dan Carpenter	user_data2: mark sscanf() output as user data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-05	Dan Carpenter	math, rl: fix handing division involving negative numbers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-05	Dan Carpenter	sval: fix sval_binop_overflows() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-05	Dan Carpenter	precedence: complain about "foo << bar - baz" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-04	Dan Carpenter	flow: handle struct initialization better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-03	Dan Carpenter	estate: add a NULL check in estates_equiv()	commit \| commitdiff \| tree
2015-03-03	Dan Carpenter	param_used: store when a parameter is used so we don... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-02	Dan Carpenter	extra: ignore more __in_fake_assign data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-02	Dan Carpenter	comparison: fix a crashing bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-03-02	Dan Carpenter	type: add an expr_signed() function that matches expr_unsigned() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-26	Dan Carpenter	smdb.py: add functions to show functions implementing... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-26	Dan Carpenter	extra: handle temporary shorthand pointers better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-26	Dan Carpenter	dereferences_param: look for pointers used as an array Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-26	Dan Carpenter	check_indenting: warn about missing curly braces and... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-24	Dan Carpenter	param_cleared: add a comment Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-24	Dan Carpenter	validation: correct some output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-23	Dan Carpenter	db: build indexes faster Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-23	Dan Carpenter	slist: fix compile breakage Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-23	Dan Carpenter	kernel_printf: silence some false positives using smatch_str... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-23	Dan Carpenter	strings: record which strings are being used Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-19	Dan Carpenter	user_data2: turn on skb->data tagging Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-19	Dan Carpenter	db: rename FILTER_VALUE, LIMITED_VALUE, and ADDED_VALUE Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-19	Dan Carpenter	kernel_printf: silence some "struct sockaddr " false... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-19	Dan Carpenter	type: add unions to type_to_str() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-18	Dan Carpenter	type_value: speed up loading the database Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-18	Dan Carpenter	new return_cast: complain about return -EINVAL in... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-17	Dan Carpenter	format_string: delete this because check_kernel_printf... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-17	Dan Carpenter	function_hooks: add some debug output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-17	Dan Carpenter	extra: cleanup db_param_add_set() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-17	Dan Carpenter	extra: separate PARAM_LIMIT and PARAM_FILTER Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-17	Dan Carpenter	function_hooks: don't take a shortcut for "needless... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-17	Dan Carpenter	helper: introduce alloc_state_str() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-17	Dan Carpenter	math: handle "if (likely(1)) {" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-17	Dan Carpenter	math: fix/cleanup do_comparison() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-17	Dan Carpenter	capped: don't record single values as capped in the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-17	Dan Carpenter	db: export get_static_filter() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-17	Dan Carpenter	user_data2: wrong parameter tagged as user data in... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom