Public Git Hosting - smatch.git/search

2020-12-16	Dan Carpenter	points_to_user_data: Make copy_from_user() set point... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-12-16	Dan Carpenter	states: use the state from the fake assignment Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-12-16	Dan Carpenter	function_hooks: set implied states earlier Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-12-16	Dan Carpenter	dereferences_param: don't record addresses dereferences Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-12-15	Dan Carpenter	deref: fix inverted tests Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-12-14	Dan Carpenter	check_deref: silence false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-12-14	Dan Carpenter	deref: delete all --spammy information Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-12-14	Dan Carpenter	param_to_mtag_data: don't record fake assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-12-07	Dan Carpenter	readl_infinite_loops: delete this check Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-12-01	Dan Carpenter	implied: fix reversed debug output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-11-19	Dan Carpenter	extra: fix some error pointer handling Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-11-19	Dan Carpenter	extra: don't save needless DB records when we return... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-11-19	Dan Carpenter	extra: introduce parent_is_error_or_null_var_sym() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-11-19	Dan Carpenter	function_hooks/unwind: introduce return_implies_exact() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-11-19	Dan Carpenter	unwind: simplify the way returns are categorized Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-11-19	Dan Carpenter	unwind: commit missing parts from the ignore path patch Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-11-19	Dan Carpenter	unwind: paths where the parent is gone are counted... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-11-19	Dan Carpenter	unwind: ignore paths were devm_add_action_or_reset... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-11-19	Dan Carpenter	unwind: remove pci_iomap() functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-11-19	Dan Carpenter	annotate: fix how snprintf() is handled Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-11-19	Dan Carpenter	assigned_expr: introduce get_assigned_expr_recurse() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-11-19	Dan Carpenter	comparison: don't store pointless fake assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-11-19	Dan Carpenter	comparison: remove any "+- 0" operations Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-11-17	Dan Carpenter	extra: check the original state first for fake parameter... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-11-17	Dan Carpenter	flow: do a fake cast for ARRAYS Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-11-17	Dan Carpenter	param_set: handle certain struct assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-11-17	Dan Carpenter	db: only do the return_info stuff if it's going to... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-11-17	Dan Carpenter	param_used: ignore some states used to fill the DB Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-11-17	Dan Carpenter	user_data: delete debug code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-11-13	Dan Carpenter	locking: save held locks in caller_info table Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-11-12	Dan Carpenter	db/insert_manual_states: don't insert duplicate states Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-11-12	Dan Carpenter	db/insert_manual_states: preserve the call_id Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-11-10	Dan Carpenter	parse_call_math: fix a segfault Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-11-02	Dan Carpenter	buf_size: fix what caller_info to pass and what is... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-11-02	Dan Carpenter	db/smdb: improve how searching for function pointers... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-11-02	Dan Carpenter	db: don't call call_info call backs unless it is an... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-11-02	Dan Carpenter	extra: do a small cleanup Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-11-02	Dan Carpenter	function_hooks: add helpers to register all the functions... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-11-02	Dan Carpenter	modification_hooks: potential speed up Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-11-02	Dan Carpenter	kernel,math: handle the __ffs() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-11-02	Dan Carpenter	kernel: ignore more mutex internals Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-11-02	Dan Carpenter	kernel: don't parse TRACE_EVENT() functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-11-02	Dan Carpenter	param_key: fix an ordering bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-11-02	Dan Carpenter	param_key: enable for non-kernel projects Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-10-28	Dan Carpenter	modification_hooks: speed up calling modification hooks Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-10-23	Dan Carpenter	signed: don't warn about u64 comparisons with ULONG_MAX Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-10-23	Dan Carpenter	flow: don't parse inlines again if they take a long... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-10-23	Dan Carpenter	param_limit: move registration before param_set Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-10-23	Dan Carpenter	states: introduce has_states() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-10-23	Dan Carpenter	math: don't use type_value for get_implied_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-10-23	Dan Carpenter	leaks: small white space cleanup Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-10-23	Dan Carpenter	math: remove a stray space character Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-10-23	Dan Carpenter	param_limit/filter/set: use param_key code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-10-23	Dan Carpenter	param_key: export some functions and introduce map_to_param() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-10-23	Dan Carpenter	smatch: save less stuff, run faster Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-10-23	Dan Carpenter	type_val: speed up type_val cache Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-10-23	Dan Carpenter	flow: clear out fake assignments after they're not... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-10-23	Dan Carpenter	math: store all constant EXPR_BINOP results Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-10-15	Dan Carpenter	db: handle extern inline functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-10-14	Dan Carpenter	deref: avoid the big_statement_stack Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-10-14	Dan Carpenter	param_used: always assume "$" and "*$" are used Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-10-13	Dan Carpenter	smatch: add a [smatch.check_name] to the output with... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-30	Dan Carpenter	smatch_scripts/new_bugs.pl: total re-write of the script... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-30	Dan Carpenter	db/create_db: don't use corrupted DB Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-29	Dan Carpenter	param_limit: use the shared copy of start states Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-29	Dan Carpenter	param_filter: delete unused code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-28	Dan Carpenter	flow: fake a parameter assignment for literals Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-25	Dan Carpenter	param_key: remove bogus consts Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-25	Dan Carpenter	param_key: don't export state_name_to_param_name() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-25	Dan Carpenter	capped: convert return info to modern code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-25	Dan Carpenter	assigned_expr: clean up old ancient code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-25	Dan Carpenter	locking: fix compile (broken by add_function_data()) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-25	Dan Carpenter	capped: change how binops are handled Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-25	Dan Carpenter	capped: change += assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-25	Dan Carpenter	kernel: add support for array_size() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-25	Dan Carpenter	kernel: fix implied_err_cast_return() return Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-25	Dan Carpenter	frees_param_strict: use get_param_key_from_sm() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-25	Dan Carpenter	atomic_inc_dec: add some more inc_dec functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-25	Dan Carpenter	implied: add a comment in possible_false_helper() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-25	Dan Carpenter	param_key: use get_name_sym_from_key() instead of return_sta... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-25	Dan Carpenter	flow: Use add_function_data() to clean up the code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-25	Dan Carpenter	db/param_key: move some key related functions from... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-22	Dan Carpenter	unwind: add some more functions that need to be freed Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-22	Dan Carpenter	math: improve AND handling Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-22	Dan Carpenter	function_ptrs: don't store nonsense fake pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-22	Dan Carpenter	unwind: handle freeing in other functions better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-22	Dan Carpenter	flow: introduce function data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-22	Dan Carpenter	param_key: preserve parameter assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-16	Dan Carpenter	check_unwind: remove request_resource() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-16	Dan Carpenter	db: fix db_incomplete Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-16	Dan Carpenter	unwind: fix a spelling mistake "ballance" --> "balance" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-16	Dan Carpenter	db: record if the DB is missing information Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-16	Dan Carpenter	unwind: fix request_resource() checking Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-16	Dan Carpenter	db: split ranged implication hooks Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-15	Dan Carpenter	param_key: introduce get_name_sym_from_key() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-15	Dan Carpenter	ranges: add is_err_or_null() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-15	Dan Carpenter	unwind: re-write the check Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-15	Dan Carpenter	param_key: move functions to new file Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-11	Dan Carpenter	helper: introduce get_param_key_from_var_sym() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-09-11	Dan Carpenter	return_to_param: delete debug code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom