Public Git Hosting - smatch.git/search

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
2018-05-14	Dan Carpenter	db/untracked_param: mark parameters untracked if we... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-05-14	Dan Carpenter	flow: don't parse inline functions which aren't interesting Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-04-23	Dan Carpenter	db/constraints_required.schema: add missing semi-colon Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-04-20	Dan Carpenter	flow/expressions/function_hooks: re-fix is_assigned_call() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-04-20	Dan Carpenter	kernel: handle __read_once_size() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-04-20	Dan Carpenter	math: fix a get_value() bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-04-19	Dan Carpenter	expressions: make assign_expression() take an op argument Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-04-18	Dan Carpenter	spectre: warn about potential spectre vulnerabilities Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-04-18	Dan Carpenter	expressions: don't set the ->parent to a fake expression Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-04-17	Dan Carpenter	expressions: just allocate zero_expr() fresh every... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-04-16	Dan Carpenter	expression/smatch_expressions: move expr_set/get_parent... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-04-12	Dan Carpenter	or_vs_and: tidy up whitespace Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-04-12	Dan Carpenter	or_vs_and: min_t() uses the new min() code as well Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-04-11	Dan Carpenter	check_or_vs_and: ignore the kernel's min/max macros Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-04-11	Dan Carpenter	flow/math: handle __builtin_choose_expr() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-04-10	Dan Carpenter	validation/overflow: change "warn:" to "error:" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-04-10	Dan Carpenter	about_fn_ptr_arg: don't get into a recursive loop Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-04-09	Dan Carpenter	helper: add get_last_statement_from_expression_stmt... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-04-09	Dan Carpenter	mem_tracker: add a --mem option to debug memory use... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-04-09	Dan Carpenter	expressions: remove some unnecessary gotos Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-04-09	Dan Carpenter	helper: improve is_error_return(). In the kernel all... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-04-09	Dan Carpenter	smatch_data/smatch.common_functions: add some common... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-04-09	Dan Carpenter	smatch_data/kernel.ignored_macros: add AA_BUG() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-04-09	Dan Carpenter	smatch_data/kernel.ignore_uninitialized params: add... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-04-09	Dan Carpenter	smatch_data/kernel.ignore_side_effects add recent macros Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-04-09	Dan Carpenter	comparison: handle expression statements better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-04-09	Dan Carpenter	comparison: remove some debug code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-04-09	Dan Carpenter	comparison: introduce impossibly_high_comparison()... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-04-05	Dan Carpenter	ignore: fix && vs \|\| typo Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-29	Dan Carpenter	index_overflow: almost a re-write Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-26	Dan Carpenter	implied: improve handling of assignments in arguments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-26	Dan Carpenter	kernel_printf: don't warn about void pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-26	Dan Carpenter	cheak_leaks: handle returning conditionals Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-26	Dan Carpenter	math: introduce a new cache of recently used constants Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-26	Dan Carpenter	math: handle __builtin_constant_p() properly Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-26	Dan Carpenter	math: allocated some permanent range lists in rl_zero... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-26	Dan Carpenter	conditions: Fix parsing foo = ({ ... label: __ret; }) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-14	Dan Carpenter	function_hooks: don't be too ambitious faking parameter... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-12	Dan Carpenter	ranges/ptrlist: solve a leak with a big hack (second... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-12	Dan Carpenter	allocate: use unsigned long to record allocations Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-07	Dan Carpenter	deref_check: fix a small leak Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-07	Dan Carpenter	hooks: introduce FUNCTION_CALL_HOOK_BEFORE Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-07	Dan Carpenter	user_data: reading from an array doesn't necessarily... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-07	Dan Carpenter	implied: introduce impossible_assumption() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-07	Dan Carpenter	buf_size: don't save unnecessary states Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-07	Dan Carpenter	mtag: push all my changes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-07	Dan Carpenter	ranges: fix a leak Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-07	Dan Carpenter	debug: add __smatch_state_count() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-06	Dan Carpenter	modification_hooks: don't save the expressions outside... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom