Public Git Hosting - smatch.git/search

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-24	Aaro Koskinen	build: allow use of PKG_CONFIG to override pkg-config 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-16	Silvan Jegen	Documentation fixes 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	Rasmus Villemoes	check_kernel_printf.c: Allow const char[] format arguments	commit \| commitdiff \| tree
2015-02-12	Rasmus Villemoes	check_kernel_printf.c: Handle 'fmt ? : "default"'	commit \| commitdiff \| tree
2015-02-12	Rasmus Villemoes	check_kernel_printf.c: Simplify recursive calling 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
2015-02-12	Dan Carpenter	kerne_printf: '%pb' is valid Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-02-11	Rasmus Villemoes	check_kernel_printf.c: Fix braino	commit \| commitdiff \| tree
2015-02-11	Rasmus Villemoes	check_kernel_printf.c: Strip parentheses	commit \| commitdiff \| tree
2015-02-11	Rasmus Villemoes	check_kernel_printf.c: Handle conditionals	commit \| commitdiff \| tree
2015-02-11	Rasmus Villemoes	smatch: Check the kernel's %p format extensions	commit \| commitdiff \| tree
2015-02-11	Rasmus Villemoes	smatch: Add --enable option	commit \| commitdiff \| tree
2015-02-11	Rasmus Villemoes	smatch: Implement --show-checks	commit \| commitdiff \| tree
2015-02-11	Rasmus Villemoes	smatch: Add dummy element to reg_funcs	commit \| commitdiff \| tree
2015-02-11	Luc Van Oostenryck	Avoid reuse of string buffer when concatening adjacent...	commit \| commitdiff \| tree
2015-02-11	Dan Carpenter	wrong_size_arg: warn about "if (memcmp(foo, bar, sizeof... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-30	Dan Carpenter	struct_assignment: remove a blank line Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-30	Dan Carpenter	sval: handle LEFTSHIFTs in sval_binop_overflows() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-30	Dan Carpenter	sval: cast the result in sval_binop() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-30	Dan Carpenter	type_val: update to handle PARAM_SET from the db Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-30	Dan Carpenter	type_val: ignore kmalloc() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-30	Dan Carpenter	type_val: ignore all the "for_each" macros Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-30	Dan Carpenter	user_data2: remove some debug code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-29	Dan Carpenter	helper: introduce invert_op() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-22	Dan Carpenter	ranges: break the range list parsing into a separate... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-22	Dan Carpenter	ranges: prepare to change a string to an estate instead... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-22	Dan Carpenter	modification_hooks: add PARAM_SET Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-21	Dan Carpenter	param_cleared: clearing a member is not clearing a... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-21	Dan Carpenter	type_val: ignore fake member assignments from uncasted... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-19	Dan Carpenter	type_value: list_entry is safe as well Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-19	Dan Carpenter	db: use saved return estate instead of searching the db Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-19	Dan Carpenter	debug: introduce __smatch_known() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-19	Dan Carpenter	db, extra: use PARAM_SET if the parameter is totally... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-15	Dan Carpenter	frees_param: modify means it's not freed anymore Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-15	Dan Carpenter	slist: fix "stack not empty" errors Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-12	Dan Carpenter	silence: add __read_once_size() to kernel.silenced_functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-09	Dan Carpenter	comparison: handle preops like "if (++a == b)" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-09	Dan Carpenter	flow: don't inline functions which are over 20 lines... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-09	Dan Carpenter	function_ptrs: handle SYN_NODE Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-09	Dan Carpenter	helper: improve get_member_name() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-09	Dan Carpenter	user_data2: start re-write of user_data (not used yet) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-09	Dan Carpenter	math: introduce custom_get_absolute_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-09	Dan Carpenter	db: improve mem-db debugging Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-09	Dan Carpenter	db: member_info callback should pass the sm_state instead... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-09	Dan Carpenter	smatch.h: silence some compile warnings Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-09	Dan Carpenter	free: bring back the double free warnings Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-09	Dan Carpenter	extra, filter: FILTER_VALUE is not a modification action Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-09	Dan Carpenter	param_filter: total re-write with bugfixes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-09	Dan Carpenter	extra: improve parent_is_null_var_sym() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-09	Dan Carpenter	db, function_hooks: cull impossible paths on function... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-09	Dan Carpenter	extra: handle code like foo = &bar->x.y.z; foo->a = 1; Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-01-09	Dan Carpenter	hooks: allocating 1 too much Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom