Public Git Hosting - smatch.git/search

2021-02-03	Dan Carpenter	db: fix how &foo->lock states are inserted into the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-01-27	Dan Carpenter	function_hooks/check_unwind: add param_key_hooks Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-01-25	Dan Carpenter	extra: fix how hard max values are propagated Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-01-25	Dan Carpenter	helper: error pointers are gone Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-01-25	Dan Carpenter	extra/function_hooks: handle fake function calls in... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-01-25	Dan Carpenter	extra: fix test for take assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-01-21	Dan Carpenter	states: fix a use after free Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-01-21	Dan Carpenter	Merge git://git.kernel.org/pub/scm/devel/sparse/sparse... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-01-19	Dan Carpenter	states: fix get_state_expr() uses of fake_parent Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-01-19	Dan Carpenter	flow: don't fake a parameter assignment outside of... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-01-18	Dan Carpenter	check_list: add a comment about ordering Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-01-18	Dan Carpenter	kpatch: white space cleanup Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-01-18	Dan Carpenter	scripts/trace_params.pl: fix regex Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-01-13	Dan Carpenter	comparison: call simplify_binops() in get_comparison_helper() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-01-13	Dan Carpenter	comparison: fix how addresses are handled Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-01-13	Dan Carpenter	comparison: fix a bug in get_comparison_helper() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-01-13	Dan Carpenter	constraints_required: ignore fake assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-01-13	Dan Carpenter	debug: re-work how debugging implications works Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-01-13	Dan Carpenter	debug: add __smatch_timer_start/stop() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-01-13	Dan Carpenter	flow: add --time-stmt option Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-01-13	Dan Carpenter	debug: add __smatch_debug_var() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-01-13	Dan Carpenter	param_set: addresses can't be set Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-01-13	Dan Carpenter	capped: addresses can't be capped Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-01-11	Dan Carpenter	param_key: fix where assignments are handled Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-01-08	Dan Carpenter	debug: change how __smatch_debug_check() works Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-01-08	Dan Carpenter	param_set: handle NULL and POISON assignments better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-01-07	Dan Carpenter	extra: handle canonical for loops with unknown ends... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-01-06	Dan Carpenter	extra/ranges: introduce is_noderef_ptr() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-01-06	Dan Carpenter	param_set: merge some some conditions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2021-01-06	Dan Carpenter	param_set: don't print useless information Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-12-19	Dan Carpenter	missing_error_code: introduce new check Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-12-19	Dan Carpenter	locking: fix restore in cross function code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-12-18	Dan Carpenter	param_compare_limit: don't print impossible comparisons Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-12-18	Dan Carpenter	scripts/kpatch: view the smatch warnings in the commit... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-12-18	Dan Carpenter	scripts/kpatch: put a commented out diff into the commit... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-12-18	Dan Carpenter	scripts/kpatch: change the git log format Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-12-18	Dan Carpenter	kpatch: don't hard code my name as the s-o-by Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-12-17	Dan Carpenter	flow: export is_last_stmt() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-12-16	Dan Carpenter	modification_hooks: handle addresses better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-12-16	Dan Carpenter	param_key: allow get_name_sym_from_key() to take a... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-12-16	Dan Carpenter	math: INT_MAX is never a hard max Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-12-16	Dan Carpenter	param_key: fix some address handling Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-12-16	Dan Carpenter	param_set: fix param_was_set() for addresses Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-12-16	Dan Carpenter	param_set: don't record so much data in the DB Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
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
next

Static analysis for C

RSS Atom