Public Git Hosting - smatch.git/search

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
2015-02-17	Dan Carpenter	rosenberg: delete some code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-17	Dan Carpenter	rosenberg: strip away some casting (eliminates a false... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-17	Dan Carpenter	rosenberg: don't save unneeded states Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-17	Dan Carpenter	buf_size: don't save useless information in the database Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-17	Dan Carpenter	struct_assignment: ignore more fake assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-17	Dan Carpenter	slist: fix debugging output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-16	Dan Carpenter	param_cleared, rosenberg: add underscored memset/cpy... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-16	Dan Carpenter	param_filter/set: don't record fake assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-16	Dan Carpenter	slist, debugging: don't print ->possible list if there... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-16	Dan Carpenter	type_val: add more stuff to ignore Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-16	Dan Carpenter	db/reload_partial.sh: change database info for one... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-13	Dan Carpenter	kernel_printf: put lots of single quotes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-13	Dan Carpenter	Merge branch 'devel3' Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-12	Dan Carpenter	check_kernel_printf.c: Simplify recursive calling Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-12	Dan Carpenter	kernel_printf: allow '\b' if it's the first character... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-12	Dan Carpenter	validation/sm_rosenberg.c: don't pass an uninitialized... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-12	Dan Carpenter	kernel_printf: add some more quotes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-12	Dan Carpenter	kernel_printf: move a warning under the --spammy flag Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-12	Dan Carpenter	kernel_printf: add some quotes around the function... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom