Public Git Hosting - smatch.git/search

2016-05-31	Dan Carpenter	function_hooks: integrate call_implies hooks with the db Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-30	Dan Carpenter	slist: mangle the line number of merged states Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-30	Dan Carpenter	sizeof_param: remove read_rom() from checked functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-30	Dan Carpenter	create_db: delete some duplicate entrees from function_ptr Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-30	Dan Carpenter	real_absolute: don't store whole ranges for no reason Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-30	Dan Carpenter	struct_assignment: pull split_fake_expr() into its... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-30	Dan Carpenter	db: limit the amount of data in type_value Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-30	Dan Carpenter	extra: handle if (IS_ERR(foo[bar])) { ... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-30	Dan Carpenter	db: introduce get_param_name_var_sym() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-30	Dan Carpenter	implied: handle chunks in switch statements like switch... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-30	Dan Carpenter	extra: don't mark all arrays as dereferenced Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-30	Dan Carpenter	helper: create an alloc_state_expr() helper function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-30	Dan Carpenter	whitespace: remove some blank lines Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-24	Dan Carpenter	extra: remove unused function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-24	Dan Carpenter	locking: add more impossible handling Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-24	Dan Carpenter	db: remove some extra semi-colons Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-24	Dan Carpenter	ranges: remove an unneeded initializer Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-24	Dan Carpenter	returns: provide a split out list of all the return... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-24	Dan Carpenter	returns: add get_all_returns_states() functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-24	Dan Carpenter	move freeing to AFTER_FUNC_HOOK Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-24	Dan Carpenter	db: constify some pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-24	Dan Carpenter	extra: add missing include Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-24	Dan Carpenter	extra: don't overwrite non-null pointers because of... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-24	Dan Carpenter	extra: fix handling of "if (foo & 0x3210) {" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-04	Dan Carpenter	param_set: introduce param_was_set_var_sym() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-27	Dan Carpenter	impossible: handle switch statements Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-27	Dan Carpenter	impossible: don't overwrite the impossible state by... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-27	Dan Carpenter	implied: handle implications for if (({whatever; foo... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-26	Dan Carpenter	slist: create is_leaf() function which is the opposite... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-25	Dan Carpenter	ranges: use signed type for negative ints less than... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-22	Dan Carpenter	db/kernel.return_fixes regmap_bulk_read() returns negatives... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-22	Dan Carpenter	ranges: fix a bug in rl_invert() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-22	Dan Carpenter	sval, type: make some functions inline Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-20	Dan Carpenter	implied: fix an old implication bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-20	Dan Carpenter	implied: remove unused add_pool() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-20	Dan Carpenter	implied: pass sm_states instead of pools Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-19	Dan Carpenter	implied: fix a type bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-19	Dan Carpenter	implied: update some debug output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-19	Dan Carpenter	implied: create fake implication history Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-15	Dan Carpenter	states: tweak debug output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-15	Dan Carpenter	states: print debug output in __set_true_false_sm() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-15	Dan Carpenter	implied: overwrite smatch_extra using implied states... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-14	Dan Carpenter	ranges, extra: move and export split_comparison_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-14	Dan Carpenter	slist: remove unused __set_true_false_if_not_already_set() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-14	Dan Carpenter	db: make a file kernel.return_fixes for updating return... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-14	Dan Carpenter	flow: merge multiple case statements in a row together Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-14	Dan Carpenter	helper: use . instead of -> for more variables Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-14	Dan Carpenter	param_set: remove an unnneeded variable Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-14	Dan Carpenter	extra: p++ should clear the states for *p or p->foo Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-14	Dan Carpenter	math: handle __builtin_types_compatible_p() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-12	Dan Carpenter	flow: split case statement handling into its own function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-12	Dan Carpenter	implied: replace __get_implied_values() with get_absolute_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-12	Dan Carpenter	flow: fix bug i just introduced with known switch statements Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-12	Dan Carpenter	debug: print the max size for __smatch_buf_size() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-12	Dan Carpenter	debug: include ->possible and absolute in __smatch_about... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-12	Dan Carpenter	implied: remove unnecessary initialization Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-12	Dan Carpenter	param_cleared: strip away casting Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-12	Dan Carpenter	ranges: make filter_top_rl() take a range_list filter... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-12	Dan Carpenter	flow: shuffle case statement handling around Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-12	Dan Carpenter	implied: split the __implied_case_stree() into two... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-12	Dan Carpenter	extra: white space cleanup Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-12	Dan Carpenter	imaginary_absolute: it's like smatch_extra.c for impossible... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-11	Dan Carpenter	implied: remove some duplicate lines Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-11	Dan Carpenter	extra: remove an obsolete comment Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-11	Dan Carpenter	extra: split handle_comparison() into two functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-11	Dan Carpenter	db: ignore unreachable returns Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-11	Dan Carpenter	db: split returns in to NULL and non-NULL Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-11	Dan Carpenter	db: remove pointless return Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-06	Dan Carpenter	db: small cleanup Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-06	Dan Carpenter	hooks: rename CALL_HOOK_AFTER to CALL_HOOK_AFTER_DB... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-06	Dan Carpenter	untracked_param: handle inline calls better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-06	Dan Carpenter	flow: doen't reset loop_count for inline functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-05	Dan Carpenter	implied: use the correct type for conditions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-05	Dan Carpenter	scope: delete out of scope variables Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-24	Dan Carpenter	validation/sm_chunk2.c: update validation test Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-24	Dan Carpenter	db: revert a "speedup" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-24	Dan Carpenter	real_absolute: turn this code on Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-24	Dan Carpenter	err_ptr_deref: complain about dereferences inside a... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-24	Dan Carpenter	return_efault: complain about "return copy_from_user();" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-24	Dan Carpenter	buf_size: save size of fixed arrays that are returned Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-23	Dan Carpenter	modification_hooks: remove an unneeded variable Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-23	Dan Carpenter	slist: make merge_states() static Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-23	Dan Carpenter	states: make debug output more consistent Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-23	Dan Carpenter	hooks: put each type of hook into it's own array Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-23	Dan Carpenter	.gitignore: add .gdb_history Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-23	Dan Carpenter	stored_conditions: white space changes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-23	Dan Carpenter	math: prefer real_absolute_value to the db value Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-23	Dan Carpenter	implied: remove a blank line Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-23	Dan Carpenter	conditions: bug in condition assignments like foo ... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-23	Dan Carpenter	impossible: handle assignment conditions better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-23	Dan Carpenter	string_condition: don't complain about TRACE_EVENT Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-23	Dan Carpenter	function_hooks: handle returs that don't set a state Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-23	Dan Carpenter	db: don't use split_success_fail if it doesn't return... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-21	Dan Carpenter	db: fix bug in print_struct_members Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-21	Dan Carpenter	db: for impossible returns just do the simplest thing Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-21	Dan Carpenter	extra: use real_absolute values Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-21	Dan Carpenter	extra: improve array handling Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-21	Dan Carpenter	smatch: add a --time option to print how long smatch... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-21	Dan Carpenter	flow: handle "*p++ = foo" better. Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-21	Dan Carpenter	flow: fix inside_loop() with inline functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom