Public Git Hosting - smatch.git/search

2016-03-24	Dan Carpenter	return_efault: complain about "return copy_from_user();" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-24	Dan Carpenter	buf_size: save size of fixed arrays that are returned Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-23	Dan Carpenter	modification_hooks: remove an unneeded variable Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-23	Dan Carpenter	slist: make merge_states() static Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-23	Dan Carpenter	states: make debug output more consistent Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-23	Dan Carpenter	hooks: put each type of hook into it's own array Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-23	Dan Carpenter	.gitignore: add .gdb_history Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-23	Dan Carpenter	stored_conditions: white space changes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-23	Dan Carpenter	math: prefer real_absolute_value to the db value Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-23	Dan Carpenter	implied: remove a blank line Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-23	Dan Carpenter	conditions: bug in condition assignments like foo ... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-23	Dan Carpenter	impossible: handle assignment conditions better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-23	Dan Carpenter	string_condition: don't complain about TRACE_EVENT Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-23	Dan Carpenter	function_hooks: handle returs that don't set a state Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-23	Dan Carpenter	db: don't use split_success_fail if it doesn't return... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-21	Dan Carpenter	db: fix bug in print_struct_members Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-21	Dan Carpenter	db: for impossible returns just do the simplest thing Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-21	Dan Carpenter	extra: use real_absolute values Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-21	Dan Carpenter	extra: improve array handling Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-21	Dan Carpenter	smatch: add a --time option to print how long smatch... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-21	Dan Carpenter	flow: handle "*p++ = foo" better. Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-21	Dan Carpenter	flow: fix inside_loop() with inline functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-17	Dan Carpenter	param_set: handle array assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-15	Dan Carpenter	implied: remove buggy code for working around the old... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-15	Dan Carpenter	db/fixup_kernel.sh: add kmalloc_order_trace() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-15	Dan Carpenter	db/fixup_kernel.sh: ignore a lot of PCI errors Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-10	Dan Carpenter	data/kernel.clears_argument: add copy_user_generic() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-10	Dan Carpenter	db: split positive from negative returns Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-10	Dan Carpenter	expressions: introduce compare_expression() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-10	Dan Carpenter	implied: introduce assume(condition) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-10	Dan Carpenter	db: handle parameter function pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
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
next

Static analysis for C

RSS Atom