Public Git Hosting - smatch.git/search

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
2018-03-06	Dan Carpenter	var_sym: tweak expr_to_vsl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-06	Dan Carpenter	symbol.h: let is_ptr_type() take NULL pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-06	Dan Carpenter	return_to_param: fix a crashing bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-06	Dan Carpenter	struct_assignment/assigned_expression: save some more... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-06	Dan Carpenter	expressions: free allocated expressions after the end... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-05	Dan Carpenter	rosenberg: check the correct alignment Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-01	Dan Carpenter	Merge git://git.kernel.org/pub/scm/devel/sparse/sparse... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-27	Dan Carpenter	mtag: fix build error Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-22	Dan Carpenter	helper: fix segfault parsing invalid code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-21	Dan Carpenter	type_val: dev_get_drvdata() doesn't set the types Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-21	Dan Carpenter	or_vs_and: white space cleanup Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-21	Dan Carpenter	conditions: pass SELECT_HOOK for select assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-21	Dan Carpenter	estate: white space clean up Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-21	Dan Carpenter	constraints: allow binop constraints Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-21	Dan Carpenter	smatch_comparison: fix a crashing bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-21	Dan Carpenter	check_kernel: handle fls() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-21	Dan Carpenter	extra: tight parameter values a bit Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-21	Dan Carpenter	extra: handle "if (foo & 0x1) {" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-21	Dan Carpenter	extra: don't set true/false states if it's the same... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-21	Dan Carpenter	implied: use assume() even if there are no implications Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-21	Dan Carpenter	math: silence hard max false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-21	Dan Carpenter	slist: don't pass stuff to pre_merge_hooks that isn... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-21	Dan Carpenter	mtag: kill an endless loop in up coming code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-21	Dan Carpenter	call_math: initialize some strings Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-21	Dan Carpenter	fn_arg_link: fix an endless loop Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-20	Dan Carpenter	db: fix a segfault parsing invalid code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-19	Dan Carpenter	comparison: improve handling of "if (foo + 1 > limit) " Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-16	Dan Carpenter	db/comparison: Use mask information to get comparisons Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-16	Dan Carpenter	comparison: handle __smatch_compare(foo, bar - 1) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom