Public Git Hosting - smatch.git/search

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
2016-07-16	Dan Carpenter	user_data: short circuit a bunch of code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-16	Dan Carpenter	dma_mapping_error: add pci_dma_mapping_error() to this... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-16	Dan Carpenter	continue_vs_break: add it checklist.h Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-16	Dan Carpenter	smatch_address: don't crash on invalid code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-16	Dan Carpenter	new continue_vs_break: complain if continue is used... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-16	Dan Carpenter	smatch.h: reserve some db types for later Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-16	Dan Carpenter	smatch.h: shuffle some declarations around Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-16	Dan Carpenter	smatch.h: silence a compile warning Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-16	Dan Carpenter	capped: set it to uncapped if it's modified Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-16	Dan Carpenter	db/fixup_kernel.sh: work around for __to_fd() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-16	Dan Carpenter	db/fixup_kernel.sh: work around for gfs2_ea_find() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-16	Dan Carpenter	db/kernel.return_fixes: specify some functions that... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
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
next

Static analysis for C

RSS Atom