Public Git Hosting - smatch.git/search

2018-07-26	Dan Carpenter	mtag: make get_mtag_offset() give both an mtag and... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-26	Dan Carpenter	mtag/math/extra: start using mtags as pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-26	Dan Carpenter	mtag: make the name parameter in expr_to_mtag_name_offset... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-26	Dan Carpenter	mtag: mask out the low bits Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-26	Dan Carpenter	mtag: turn off mtag stuff for 32 bit builds Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-26	Dan Carpenter	container_of: cleanup set_param_value() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-26	Dan Carpenter	container_of/mtag: fix handling of passed values (as... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-26	Dan Carpenter	validation: add some mtag tests Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-26	Dan Carpenter	container_of/mtag: use container_of information for... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-25	Dan Carpenter	container_of: re-write code to record caller_info containers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-25	Dan Carpenter	ranges: allow svals to be printed in hex Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-25	Dan Carpenter	ranges: fix parsing of ulong_max and ptr_max (not currently... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-25	Dan Carpenter	container_of: flip the param and the value around Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-25	Dan Carpenter	address: fix add_offset_to_pointer() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	type: introduce get_final_type() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	sval: handle pointer math better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	type: introduce get_promoted_type() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	comparison: export filter_comparison() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	smdb.py: push all my changes to this file Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	db/kernel.return_fixes misc updates Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	conditions: don't parse NULLs Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	db/fixup_kernel.sh: delete '(union anonymous)->__val... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	flow: print slow to parse functions when the --time... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	extra: introduce value_ptr_rl Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	db: add some more schemas Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	db/reload_partial.sh: fix for call_implies Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	db: hook up call_implies infrastructure Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	sval: fix sval_is_a_min/max() for smaller types Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	sval: introduce sval_is_ptr() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	db: Use extra sm->possible to decide if splitting the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	extra: introduce get_extra_sm_state() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	conditions: set the parent expressions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	implied: set in_fake_env when we do an assume() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	slist: do a small clean up Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	stored_conditions: store more conditions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	struct_assignment: handle memcpy for pointer math better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-19	Dan Carpenter	spectre: silence some if (array[user_controlled_offset... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-19	Dan Carpenter	spectre: change output format Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-19	Dan Carpenter	spectre: remove is_read/write() checks Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-06	Dan Carpenter	db: fix get_db_state_count() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-06	Dan Carpenter	helper: clean up get_complication_score() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-06	Dan Carpenter	helper: sizeof() is not complicated Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-06	Dan Carpenter	conditions: split the zero Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-06	Dan Carpenter	conditions: delete unused function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-05	Norbert Manthey	spectre: allow to flag all occurrences Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-03	Dan Carpenter	check_user_data: mark kvm_register_read() as returning... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-28	Dan Carpenter	nospec: if it's called with trusted data that's the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-28	Dan Carpenter	user_data: don't pass *$ as user data if the struct... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-28	Dan Carpenter	check_user_data: some user data was lost at the call... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-25	Dan Carpenter	db: fix build breakage by adding the type_info schema Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-25	Dan Carpenter	db: rename call_implies to return_implies Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-25	Dan Carpenter	debug: improve buf size debugging Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-22	Dan Carpenter	check_signed: silence some false positives copying... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-22	Dan Carpenter	check_shift_to_zero: silence some false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-22	Dan Carpenter	check_sizeof: fix a typo in the warning Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-22	Dan Carpenter	buf_size: fix recording global sizes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-22	Dan Carpenter	buf_comparison: don't save links to literal sizes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-22	Dan Carpenter	comparison: add some debug output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-22	Dan Carpenter	db: don't split NULL and non-NULL unnecessarily Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-22	Dan Carpenter	db: fix a NULL dereference Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-22	Dan Carpenter	db: set the CACHE_PAGES size Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-22	Dan Carpenter	db: introduce the cache_db Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-22	Dan Carpenter	db: clean up the code and export some more functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-22	Dan Carpenter	extra: use PARAM_LIMIT to limit binops Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-22	Dan Carpenter	flow: nest some inline statements Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-22	Dan Carpenter	modification_hooks: don't allow multiple modification... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-21	Dan Carpenter	comparison: don't save comparisons to oneself Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-18	Dan Carpenter	comparison: add some parenthesis Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-18	Dan Carpenter	validation: fix up some failures Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-14	Dan Carpenter	comparison: fix filter_by_comparison == for ranges Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-14	Dan Carpenter	extra: just set sval assignments directly Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-13	Dan Carpenter	check_spectre: ignore masked off data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-13	Dan Carpenter	spectre: use the new is_user_rl() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-13	Dan Carpenter	user_data: silence some more ntohl(foo[i]); false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-13	Dan Carpenter	user_data: silence some sscanf() false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-13	Dan Carpenter	user_data: introduce is_user_data() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-13	Dan Carpenter	user_data: cleanup get_user_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-07	Dan Carpenter	comparison: fix a NULL dereference Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-07	Dan Carpenter	comparison: fix validation tests and add a new test Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-06	Dan Carpenter	extra: remove an unneeded __set_sm() in db_param_limit_filter Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-06	Dan Carpenter	helper: strip out the byte swaps in strip_expr() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-06	Dan Carpenter	validation/sm_locking3: fix function declarations Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-06	Dan Carpenter	unknown_value: clear the ->parent pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-06	Dan Carpenter	ranges: improve str_to_comparison_arg_helper() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-06	Dan Carpenter	comparison: use smatch_extra data in get_comparison() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-06	Dan Carpenter	comparison: improve handling of "if (++j == limit)" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-06	Dan Carpenter	comparison: handle j++ var sym lists better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-06-06	Dan Carpenter	equiv: type and implication fixes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-05-30	Dan Carpenter	ranges: fix == and != comparisons... (0_0) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-05-25	Dan Carpenter	return_to_param: fix parsing calls Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-05-23	Dan Carpenter	validation: update tests Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-05-15	Dan Carpenter	db: make call_implies rows unique Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-05-14	Dan Carpenter	flow: remove the call_split_expr() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-05-14	Dan Carpenter	extra: handle comparisons to expression statements Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-05-14	Dan Carpenter	db/fill_db_caller_info.pl: don't perma-ban functions... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-05-14	Dan Carpenter	db/fixup_kernel.sh: commit all my stuff Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-05-14	Dan Carpenter	function_ptrs: record local pointer scope correctly Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-05-14	Dan Carpenter	real_absolute: don't save single value assigns Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-05-14	Dan Carpenter	sval: fix a bug in sval_too_low() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-05-14	Dan Carpenter	db: introduce db_ignore_states() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom