Public Git Hosting - smatch.git/search

2017-05-08	Dan Carpenter	user_data2: tag all union members as untrusted Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-08	Dan Carpenter	user_data2: if users can only specify a single value... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-08	Dan Carpenter	extra: use long to short mappings for PARAM_LIMIT and... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-08	Dan Carpenter	user_data2: handle "if (untrusted != trusted) {" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-08	Dan Carpenter	buf_comparison: clear array <-> size links better on... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-08	Dan Carpenter	buf_comparison: record if we pass an ARRAY_SIZE to... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-08	Dan Carpenter	return_to_param (mappings): map regular assignments... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-04	Dan Carpenter	user_data2: handle inlines better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-04	Dan Carpenter	math: prefer real absolutes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-04	Dan Carpenter	modification_hooks: use long to short mappings Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-04	Dan Carpenter	return_to_param: handle "return get_foo(bar);" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-02	Dan Carpenter	expression: fix expr_get_parent_stmt() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-02	Dan Carpenter	function_hooks: only add comparisons when needed Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-27	Dan Carpenter	flow: fix some parent transition fallout Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-27	Dan Carpenter	flow: set parent statements Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-27	Dan Carpenter	core: add expr_get/set_parent_stmt() accessor functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-27	Dan Carpenter	flow: create an accessor method expr_get_parent_expr() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-27	Dan Carpenter	flow: rename set_parent_stmt() => stmt_set_parent_stmt() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-27	Dan Carpenter	flow: rename set_parent_expr() => expr_set_parent_expr() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-26	Dan Carpenter	return_to_param: Use the DB return strings like "[... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-21	Dan Carpenter	smdb.py: translate more parameter names Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-21	Dan Carpenter	smdb.py: guess the parameter names even if the file... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-21	Dan Carpenter	smdb: don't crash if the parameter names aren't known Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-20	Dan Carpenter	flow: fix fake env Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-20	Dan Carpenter	balanced: delete this check Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-20	Dan Carpenter	flow: add init_fake_env()/end_fake_env() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-19	Dan Carpenter	stored_conditions: store as expression pointers instead... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-19	Dan Carpenter	flow, db: fix how inline function assignments are handled Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-12	Dan Carpenter	flow: remove some buggy unused code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-12	Dan Carpenter	flow: fix initialization of nested structs Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-12	Dan Carpenter	db: build an index on the parameter names Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-12	Dan Carpenter	math: improve MOD handling Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-12	Dmitry Monakhov	test_kernel.sh: add config options Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-12	Dmitry Monakhov	Makefile: Install scripts to /usr/share/smatch/smatch_scripts Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-12	Dmitry Monakhov	Makefile: make install prefix configurable Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-11	Dan Carpenter	parameter_names: store parameter names in the DB Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-11	Dan Carpenter	smdb.py: reformat call_info output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-11	Dan Carpenter	Makefile: use quiet link to link smatch Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-11	Dan Carpenter	states: fix handling switches inside conditions (fake_cur_stree) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-11	Dan Carpenter	states: split update_fake_stree_with_merged() and add... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-11	Dan Carpenter	type_val: small tweak for arrays and complicated lvalues Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-11	Dan Carpenter	extra: handle indirection like "p = &foo; *p = 42;" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-29	Dan Carpenter	extra: handle MOD conditions like "if (a % 4) {" better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-29	Dan Carpenter	modification_hooks: remove unused indirect modification... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-17	Dan Carpenter	validation/skb3: delete some accidental debug code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-16	Dan Carpenter	user_data2: don't set parameters to user_data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-16	Dan Carpenter	user_data2: handle skb->data math a little better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-16	Dan Carpenter	user_data2: re-work handling of skb->data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-15	Dan Carpenter	parse_call_math: work around for loops Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-15	Dan Carpenter	leaks: don't complain if we overwrite NULL pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-15	Dan Carpenter	free: ignore impossible code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-15	Dan Carpenter	shift_to_zero: make the error message more informative Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-15	Dan Carpenter	test_bit: add test_and_clear_bit() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-15	Dan Carpenter	smdb.py: print the return_implies value Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-15	Dan Carpenter	db/fixup_kernel.sh: ignore do_loop_readv_writev() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-15	Dan Carpenter	extra: set hard max if a function is called with a... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-15	Dan Carpenter	extra: fix handling of known conditions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-15	Dan Carpenter	param_limit: don't set some unchanged limits Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-15	Dan Carpenter	db: prevent slow downs splitting returns apart Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-15	Dan Carpenter	db: set parse_error if the SQL fails Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-02-16	Dan Carpenter	param_set: handle if the parent was set Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-02-10	Dan Carpenter	buf_size: fix type_bytes() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-02-10	Dan Carpenter	db: filter pointer calls by function signatures Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-27	Dan Carpenter	implied: revert "tiny speed up" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-27	Dan Carpenter	assign_vs_compare: warn about "if (foo = &bar) " Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-27	Dan Carpenter	type: fix type_bits() for arrays Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-27	Dan Carpenter	shift_to_zero: do a small clean up Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-27	Dan Carpenter	smatch.c: remove a blank line Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-27	Dan Carpenter	db: split return states by null vs non-null parameter Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-27	Dan Carpenter	extra: filter PARAM_VALUEs with both extra and real_absolute Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-27	Dan Carpenter	math: handle -foo better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-27	Dan Carpenter	helper: introduce get struct and member Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-27	Dan Carpenter	implied: tiny speed up Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-27	Dan Carpenter	implied: small cleanup Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-27	Dan Carpenter	ranges: handle bitwise AND operations better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-27	Dan Carpenter	real_absolute: introduce get_real_absolute_var_sym() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-27	Dan Carpenter	avl: add a short cut for when there are no states Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-27	Dan Carpenter	type_val: handle \|= type assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-23	Dan Carpenter	db: rename "function_type_info" table to "function_type" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-20	Dan Carpenter	user_data2: if a user_data is equal to non-user data... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-20	Dan Carpenter	pre-process: try find any include that looks like it... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-20	Dan Carpenter	comparison: remove some local_debug information Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-20	Dan Carpenter	db/fixup_kernel.sh: write to the temporary DB instead... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-20	Dan Carpenter	extra: fix type issue handling ++= and --= operations Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-20	Dan Carpenter	math: remove uncommitted function call Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-20	Dan Carpenter	math: fix handling of sizeof() __le16 types Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-20	Dan Carpenter	math: handle real_absolute variables more accurately Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-20	Dan Carpenter	real_absolute: ignore iterator pre statements Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-20	Dan Carpenter	helper: In expr_to_str() remove extra parenthesis around... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-20	Dan Carpenter	db: introduce sql_insert_data_info_var_sym() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-20	Dan Carpenter	db: use "extern" instead of the file name for globals... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-20	Dan Carpenter	sparse: introduce parse_error variable Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-20	Dan Carpenter	user_data2: handle functions that merely return passed... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-19	Dan Carpenter	hooks: introduce ASSIGNMENT_HOOK_AFTER Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-19	Dan Carpenter	db: give up handling function pointers if there are... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-18	Dan Carpenter	user_data2: remove some debug printfs Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-18	Dan Carpenter	user_data2: don't set the function itself to user_data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-18	Dan Carpenter	user_data2: improve handling when we return user data... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-17	Dan Carpenter	function_hooks: don't mark it as impossible if a function... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-14	Dan Carpenter	comparison: modify the links at at start of an assignment Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom