Public Git Hosting - smatch.git/search

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
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
next

Static analysis for C

RSS Atom