Public Git Hosting - smatch.git/search

2016-03-07	Dan Carpenter	states: handle fake slist properly when we merge true... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-04	Dan Carpenter	validation: add a test for ranged case statements Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-04	Dan Carpenter	conditions: big fake state re-work Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-04	Dan Carpenter	avl: remove sign() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-04	Dan Carpenter	slist: introduce type_stree() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-04	Dan Carpenter	conditions: add a NULL check Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-04	Dan Carpenter	implied: revert not already set change Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-29	Dan Carpenter	extra: handle post op increment loops Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-26	Dan Carpenter	type: fix "strange non-value function or array" warnings Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-25	Dan Carpenter	leaks: don't reset states to themselves Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-23	Dan Carpenter	flow, conditions: handle label statements correctly Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-23	Dan Carpenter	db: fix a bug in splitting return states Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-19	Dan Carpenter	Revert "states: only set the fake_stree in set_state()" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-17	Dan Carpenter	locking: don't warn about impossible paths Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-17	Dan Carpenter	validation/sm_implied8.c: update test Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-17	Dan Carpenter	function_hooks: use __set_sm_cur_stree() in db_return_states... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-17	Dan Carpenter	states: only set the fake_stree in set_state() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-17	Dan Carpenter	implications: use stored_conditions the default fall... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-17	Dan Carpenter	implied: unbreak assign_ranged_functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-16	Dan Carpenter	states: delete an unused function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-16	Dan Carpenter	implied: fix PARAM_LIMIT implications again Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-16	Dan Carpenter	implied: fall out from fake_cur_stree changes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-15	Dan Carpenter	real_absolute: += and = are not the same Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-15	Dan Carpenter	states: __set_sm_cur_stree() should not change the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-15	Dan Carpenter	states: setting the true state doesn't set the cur_stree Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-11	Dan Carpenter	implied: fix a bug handling PARAM_LIMIT implications Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-11	Dan Carpenter	validation: add sm_impossible2.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-11	Dan Carpenter	struct_assignment: silence a GCC false positive Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-11	Dan Carpenter	validation/sm_implied10.c: update the test Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-11	Dan Carpenter	extra: fix values_fit_type() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-11	Dan Carpenter	Revert "slist: make __merge_slist() allocate less memory" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-11	Dan Carpenter	flow: silence a GCC false positive Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-11	Dan Carpenter	validation/sm_compare3.c: update the check Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-10	Dan Carpenter	validation: update sm_math1.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-10	Dan Carpenter	validation: update sm_overflow3.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-10	Dan Carpenter	validation/sm_inline3.c: remove accidental include Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-10	Dan Carpenter	validation: update a couple compare tests and make... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-02-10	Dan Carpenter	validation/sm_buf_size6: use correct element count Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
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
next

Static analysis for C

RSS Atom