Public Git Hosting - smatch.git/search

2016-02-10	Dan Carpenter	validation: update sm_array_overflow.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-09	Dan Carpenter	memcpy_overflow: ignore some struct types which cause... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-09	Dan Carpenter	memcpy_overflow: handle variable length structs correctly Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-09	Dan Carpenter	implied: use implications from function conditions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-09	Dan Carpenter	function_hooks: don't parse comparison conditions twice Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-09	Dan Carpenter	conditions: set the parent expression when parsing... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-09	Dan Carpenter	flow: rename set_parent() to set_parent_expr() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-09	Dan Carpenter	precedence: fix some false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-09	Dan Carpenter	kernel_printf: ignore %pg which are block pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-09	Dan Carpenter	indenting: ignore pre and post statements Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-09	Dan Carpenter	comparison: fix fallout from algebra change Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-09	Dan Carpenter	comparison: don't re-implement expr_to_chunk_sym_vsl... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-09	Dan Carpenter	helper: a number is not a chunk in expr_to_chunk() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-09	Dan Carpenter	function_hooks: don't process condition functions twice Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-09	Dan Carpenter	conditions: introduce the big_condition_stack Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-09	Dan Carpenter	function_hooks: reset states to original state between... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-09	Dan Carpenter	function_hooks: return earlier on culled paths Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-05	Dan Carpenter	memcpy_overflow: silence false positive when destination... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-05	Dan Carpenter	memcpy_overflow: improve struct member boundary calculation... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-05	Dan Carpenter	memcpy_overflow: fall back to type size to calculate... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-05	Dan Carpenter	modification_hooks: fix fall out from recent changes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-04	Dan Carpenter	memcpy_overflow: ignore 1 element arrays Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-04	Dan Carpenter	memcpy_overflow: handle array members better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-04	Dan Carpenter	index_overflow: silence false positives with --spammy... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-03	Dan Carpenter	Makefile: turn on -Wno-switch Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-03	Dan Carpenter	extra: return a bit quicker if there are no true and... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-03	Dan Carpenter	extra: simplify the code in handle_comparison() a bit Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-03	Dan Carpenter	extra: handle if (offset + bytes > size) comparisons... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-03	Dan Carpenter	comparison: make modifications clear the comparisons... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-03	Dan Carpenter	modification_hooks: introduce add_modification_hook_late() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-03	Dan Carpenter	comparison: do algebra on "foo + bar > baz" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-03	Dan Carpenter	index_overflow: silence some warnings when --spammy... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-02	Dan Carpenter	comparison: split __comparison_match_condition() up... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-02	Dan Carpenter	comparison: store parameter comparisons in the database Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-02	Dan Carpenter	buf_size: add some more allocation functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-02	Dan Carpenter	memcpy_overflow: fix build error Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-02	Dan Carpenter	buf_size: add alloc_pages() and friends Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-02	Dan Carpenter	buf_size: handle getting address of arrays Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-02	Dan Carpenter	memcpy_overflow: silence a bunch of false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-02	Dan Carpenter	memcpy_overflow: rename 'data' to 'limit' Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-02	Dan Carpenter	memcpy_overflow: use range list from check_user_data2 Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-02	Dan Carpenter	testing_index_after_use: rename check_overflow to testing_in... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-02	Dan Carpenter	overflow, allocating_enough_data: split check_overflow... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-02	Dan Carpenter	overflow, snprintf_overflow: split out snprintf checking Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-02	Dan Carpenter	overflow, sprintf_overflow: split out sprintf checking Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-02	Dan Carpenter	overflow, strcpy_overflow: split strcpy overflows into... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-02	Dan Carpenter	check_overflow: delete some dead code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-02	Dan Carpenter	overflow, memcpy_overflow: split check_overflow.c into... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-02	Dan Carpenter	index_overflow: delete some dead code, reverse some... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-02	Dan Carpenter	overflow, index_overflow: start splitting up check_overflow.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-01	Dan Carpenter	symbol: improve sizeof() for packed structs Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-01-28	Dan Carpenter	buf_size: record variable size buffers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-01-27	Dan Carpenter	address: take alignment into consideration and export... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-01-23	Dan Carpenter	slist: make __merge_slist() allocate less memory Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-01-19	Dan Carpenter	comparison: fix build error Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-01-15	Dan Carpenter	math: try harder in var_to_absolute_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-01-15	Dan Carpenter	user_data2: introduce get_user_rl_var_sym() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-01-15	Dan Carpenter	user_data2: white space stuff Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-01-15	Dan Carpenter	string_list: silence a GCC warning Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-01-15	Dan Carpenter	kernel_printf: we changed %pg to %pj Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-01-15	Dan Carpenter	capped: multiplications can be capped Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-01-15	Dan Carpenter	capped: white space change Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-01-15	Dan Carpenter	capped: fix return implies capped Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-01-15	Dan Carpenter	capped: better handle on unmatched state Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-01-15	Dan Carpenter	extra: handle returned struct members Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-01-13	Dan Carpenter	db: make get_param_name() check for NULL sm->sym pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-01-13	Dan Carpenter	user_data2: simple_strtoul() is user data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-01-13	Dan Carpenter	user_data2: always set *foo to user data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-01-13	Dan Carpenter	user_data2: use fake assignments instead of duplicating... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-01-13	Dan Carpenter	user_data2: handle arrays better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-01-06	Dan Carpenter	new vim_smdb: a script for looking up caller information... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-01-04	Dan Carpenter	buf_size: fix compile on older GCCs Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-22	Dan Carpenter	math: use real_absolute for custom math handling (user_data) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-22	Dan Carpenter	debug: add __smatch_real_absolute() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-21	Dan Carpenter	smdb.py: add trace_param feature Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-21	Dan Carpenter	smdb.py: add CULL_PATH type Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-21	Dan Carpenter	smdb.py: add call_tree to help output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-21	Dan Carpenter	data_source: don't print wrong sources Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-17	Dan Carpenter	data_source: follow parameters better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-17	Dan Carpenter	estate: clear unset struct members in clone_dinfo_perm() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-17	Dan Carpenter	flow: fix some issues with too hairy functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-17	Dan Carpenter	struct_assignment: handle sscanf Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-04	Dan Carpenter	ranges: export sval_fls_mask() and fls_mask() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-04	Dan Carpenter	implied: remove left_right variable Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-03	Dan Carpenter	implied: do type promotion earlier Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-02	Dan Carpenter	implied: rename "ranges" to "rl" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-02	Dan Carpenter	implied: rename "vals" to "rl" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-02	Dan Carpenter	implied: rename lr to left_right Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-02	Dan Carpenter	implied: use "sm" as the default name for sm_states Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-01	Dan Carpenter	implied: remove the --no-implied option Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-01	Dan Carpenter	flow: commit the rest of the ranged case patch Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-01	Dan Carpenter	smatch: remove --known_conditions option Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-01	Dan Carpenter	msg: print sm_msg() if local_debug is on Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-01	Dan Carpenter	comparison: fix an implication bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-11-30	Dan Carpenter	flow: handle ranged case statements Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-11-30	Dan Carpenter	function_hooks: impossible: don't set both sides to... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-11-27	Dan Carpenter	unreachable: ignore a couple new macros Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-11-24	Dan Carpenter	string_list: accept const strings and NULL pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-11-19	Dan Carpenter	validation: update some tests Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-11-19	Dan Carpenter	comparison: remove bogus NULL check Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom