Public Git Hosting - smatch.git/search

2016-07-16	Dan Carpenter	implied: add more information to the debug output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-16	Dan Carpenter	debug: print if you give a bad check name to __smatch_states() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-16	Dan Carpenter	smatch_data/wine: update wine data files Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-16	Dan Carpenter	extra: add more parameter dereferences Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-16	Dan Carpenter	math: don't crash on invalid code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-16	Dan Carpenter	user_data2: skb->data is not user data, skb->data[0] is Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-16	Dan Carpenter	type_value: it doesn't make sense to talk about the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-16	Dan Carpenter	extra: improve how "if (foo & ~0xF)" is handled Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-16	Dan Carpenter	math: ignore byte swaps Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-16	Dan Carpenter	flow: handle while (42) { ... } loops better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-16	Dan Carpenter	comparison,function_hooks: remove impossible paths... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-16	Dan Carpenter	param_compare_limit: like param_limit but for comparisons Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-15	Dan Carpenter	comparison: add a FIXME regarding a bug I noticed Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-15	Dan Carpenter	comparison: load/use return comparisons in the cross... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-15	Dan Carpenter	comparison: load struct member info into the caller_info... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-15	Dan Carpenter	comparison: load the correct comparison information... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-12	Dan Carpenter	flow: don't call scope hooks until after the END_FUNC_HOOKs Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-12	Dan Carpenter	modification_hooks: going out of scope is not a modification Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-12	Dan Carpenter	db/fixup_kernel.sh: update get_user_pages() to match... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-11	Dan Carpenter	function_hooks: pull is_impossible_data() into its... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-11	Dan Carpenter	comparison: cleanup handle_comparison() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-11	Dan Carpenter	comparison: export some functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-09	Dan Carpenter	states: nullify_path() should do free the fake_cur_stree Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-08	Dan Carpenter	db: handle comparisons that we know are true better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-08	Dan Carpenter	db: mark some true false paths impossible based on... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-08	Dan Carpenter	ranges, db: if we can't filter by comparison then use... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-08	Dan Carpenter	db: handle nested calls better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-04	Dan Carpenter	extra: re-write handle_AND_condition() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-01	Dan Carpenter	implied: handle impossible paths from complicated switch... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-01	Dan Carpenter	implied: get rid of the ->implied member Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-01	Dan Carpenter	implied: get rid of a temporary variable Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-01	Dan Carpenter	smatch_data/wine.no_return_funcs: add more functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-01	Dan Carpenter	smatch_scripts/gen_no_return_funcs: fix this for other... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-01	Dan Carpenter	pre-process: make -nostdinc work again Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-30	Dan Carpenter	check_wine: make report(R_FATAL, ...) a nullify the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-30	Dan Carpenter	validation/sm_WtoA: add single quotes in output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-30	Dan Carpenter	smatch_scripts: update the gen_* scripts to take a... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-30	Dan Carpenter	parse: ignore _Pragma() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-30	Dan Carpenter	smatch_data/wine.ignored_macros: add ok() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-30	Dan Carpenter	smatch_data/wine.no_return_funcs: update the list Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-30	Dan Carpenter	sparse: add /usr/include/x86_64-linux-gnu/ include... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-30	Dan Carpenter	wine_WtoA: add singled quotes in the output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-25	Dan Carpenter	db: remove PRAGMA synchronous = OFF Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-24	Dan Carpenter	avl: make get_stree_id() return -1 if the stree pointer... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-24	Dan Carpenter	implied: handle ->implied states differently Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-24	Dan Carpenter	slist, implied: preserve the entire cur_stree in the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-24	Dan Carpenter	implied: fix a bug where we imply the wrong thing Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-24	Dan Carpenter	implied: remove an indent level Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-24	Dan Carpenter	implied: change debug output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-17	Dan Carpenter	extra: ignore truncated limits Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-15	Dan Carpenter	flow: handle asm gotos Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-15	Dan Carpenter	db: split on boolean parameter Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-15	Dan Carpenter	struct_assignment: handle pointers better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-15	Dan Carpenter	function_hooks: hack around invalid input from the DB Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-15	Dan Carpenter	function_hooks: fix the previous range hooks fix again Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-14	Dan Carpenter	flow: set ->parent for expression statements Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-14	Dan Carpenter	helper, untracked_param: move the int_stack to smatch_helper.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-14	Dan Carpenter	ranges: fix casting to bool Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-14	Dan Carpenter	flow: set position at the start of the function correctly Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-14	Dan Carpenter	function_hooks: fix a typo in debug output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-14	Dan Carpenter	implied: tweak timeout in separate_and_filter Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-14	Dan Carpenter	function_hooks: fix a type issue (affects ranged function... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-14	Dan Carpenter	function_hooks: fix db and ranged_functions integration... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-13	Dan Carpenter	db/kernel.return_fixes: hack around down_interruptible() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-13	Dan Carpenter	db/kernel.return_fixes: add scnprintf() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-13	Dan Carpenter	function_hooks: fix locking false positives when you... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-13	Dan Carpenter	extra: fix memset() handling Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-11	Dan Carpenter	implied: delete unused function sm_state_in_slist() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-11	Dan Carpenter	ptrlist: use after free in last_ptr_list() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-11	Dan Carpenter	flow: type issue handling switch statements Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-11	Dan Carpenter	ranges: fix type issue in remove_range() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-11	Dan Carpenter	conditions: silence valgrind warning Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-06	Dan Carpenter	flow: set final_pass if we have to bail on a function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-02	Dan Carpenter	extra: export get_other_name_sym() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-02	Dan Carpenter	impossible: add is_impossible_path() to smatch.h Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-02	Dan Carpenter	db: don't crash generating SQL for invalid code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-02	Dan Carpenter	extra: fix bug handling untracked pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-02	Dan Carpenter	struct_assignment: ignore certain types of assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-02	Dan Carpenter	extra: deferences in fake assignments don't count Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-02	Dan Carpenter	extra: handle fake assignments faster Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-01	Dan Carpenter	implied: improve overwrite_states_using_pool() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-01	Dan Carpenter	implied: add a comment explaining how implications... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-01	Dan Carpenter	function_hooks: check PARAM_LIMIT implications all... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
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
next

Static analysis for C

RSS Atom