Public Git Hosting - smatch.git/search

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
2017-01-13	Dan Carpenter	db: cleanup get_row_count() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-12	Dan Carpenter	implied: rename a function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-12	Dan Carpenter	estate: add an estate_is_empty() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-12	Dan Carpenter	db/kernel.no_inline: don't parse the bite swap functions... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-12	Dan Carpenter	kernel: parse ATOMIC_SET() manually Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-12	Dan Carpenter	db/kernel.return_fixes: add some more fixes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-12	Dan Carpenter	db/fixup_kernel.sh: handle __kernel_write() a bit better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-12	Dan Carpenter	vim_db: handle older versions of vim Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-12	Dan Carpenter	db/fixup_kernel: handle __builtin_bswap64() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-10	Dan Carpenter	function_hooks: change order of how db verse implied... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-10	Dan Carpenter	param_limit: don't insert empty states into the db Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-10	Dan Carpenter	ranges: use a hack around so when merging ranges of... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-10	Dan Carpenter	type_val: fix a memory leak Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-10	Dan Carpenter	function_hooks, db: handle PARAM_LIMIT for struct members Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-10	Dan Carpenter	implied: fix a bug handling parameter implications Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-10	Dan Carpenter	implied: add more debug information Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-05	Dan Carpenter	db: sort return_states by file Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-04	Dan Carpenter	flow: tiny cleanup handling assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-04	Dan Carpenter	flow: remove an unneeded condition Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-01-04	Dan Carpenter	flow: rename a variable "tmp" -> "right" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-12-15	Dan Carpenter	kernel.ignored_macros: add LASSERT() from lustre Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-12-13	Dan Carpenter	function_hooks, db: use INTERNAL as the marker for... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-12-13	Dan Carpenter	db: handle function pointers better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-12-12	Rasmus Villemoes	check_kernel_printf.c: %pj ended up being %pG Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-12-12	Rasmus Villemoes	check_kernel_printf.c: handle new definition of KERN_CONT Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-12-12	Rasmus Villemoes	check_kernel_printf: check that %pg gets a block_device Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-11-30	Dan Carpenter	user_data2: math: function calls should be handled... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-11-30	Dan Carpenter	math: fix a type issue with MOD Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-11-28	Dan Carpenter	untracked_param: functions that are too hairy are untrackable Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-11-25	Dan Carpenter	address: simplify is_non_null_array() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-11-25	Dan Carpenter	type_val: use the correct type in get_db_type_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-11-25	Dan Carpenter	implied: fix a bug with borrowed implications Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-11-09	Dan Carpenter	flow: handled declared labels better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-11-09	Dan Carpenter	ranges: read u64max correctly Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-18	Dan Carpenter	smatch: remove tests to see if an array is NULL Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-18	Dan Carpenter	extra: handle "if (a + b < a) { " Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-18	Dan Carpenter	slist: Silence a smatch warning Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-18	Dan Carpenter	debug: add the __smatch_absolute() hook Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-18	Dan Carpenter	buf_size: Using plain integer as NULL pointer Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-18	Dan Carpenter	db: Using plain integer as NULL pointer Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-18	Dan Carpenter	ast-model: Using plain integer as NULL pointer Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-16	Dan Carpenter	debug: add a __smatch_absolute() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom