Public Git Hosting - smatch.git/search

2016-04-20	Dan Carpenter	implied: remove unused add_pool() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-20	Dan Carpenter	implied: pass sm_states instead of pools Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-19	Dan Carpenter	implied: fix a type bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-19	Dan Carpenter	implied: update some debug output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-19	Dan Carpenter	implied: create fake implication history Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-15	Dan Carpenter	states: tweak debug output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-15	Dan Carpenter	states: print debug output in __set_true_false_sm() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-15	Dan Carpenter	implied: overwrite smatch_extra using implied states... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-14	Dan Carpenter	ranges, extra: move and export split_comparison_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-14	Dan Carpenter	slist: remove unused __set_true_false_if_not_already_set() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-14	Dan Carpenter	db: make a file kernel.return_fixes for updating return... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-14	Dan Carpenter	flow: merge multiple case statements in a row together Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-14	Dan Carpenter	helper: use . instead of -> for more variables Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-14	Dan Carpenter	param_set: remove an unnneeded variable Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-14	Dan Carpenter	extra: p++ should clear the states for *p or p->foo Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-14	Dan Carpenter	math: handle __builtin_types_compatible_p() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-12	Dan Carpenter	flow: split case statement handling into its own function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-12	Dan Carpenter	implied: replace __get_implied_values() with get_absolute_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-12	Dan Carpenter	flow: fix bug i just introduced with known switch statements Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-12	Dan Carpenter	debug: print the max size for __smatch_buf_size() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-12	Dan Carpenter	debug: include ->possible and absolute in __smatch_about... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-12	Dan Carpenter	implied: remove unnecessary initialization Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-12	Dan Carpenter	param_cleared: strip away casting Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-12	Dan Carpenter	ranges: make filter_top_rl() take a range_list filter... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-12	Dan Carpenter	flow: shuffle case statement handling around Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-12	Dan Carpenter	implied: split the __implied_case_stree() into two... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-12	Dan Carpenter	extra: white space cleanup Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-12	Dan Carpenter	imaginary_absolute: it's like smatch_extra.c for impossible... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-11	Dan Carpenter	implied: remove some duplicate lines Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-11	Dan Carpenter	extra: remove an obsolete comment Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-11	Dan Carpenter	extra: split handle_comparison() into two functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-11	Dan Carpenter	db: ignore unreachable returns Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-11	Dan Carpenter	db: split returns in to NULL and non-NULL Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-11	Dan Carpenter	db: remove pointless return Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-06	Dan Carpenter	db: small cleanup Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-06	Dan Carpenter	hooks: rename CALL_HOOK_AFTER to CALL_HOOK_AFTER_DB... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-06	Dan Carpenter	untracked_param: handle inline calls better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-06	Dan Carpenter	flow: doen't reset loop_count for inline functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-05	Dan Carpenter	implied: use the correct type for conditions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-05	Dan Carpenter	scope: delete out of scope variables Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-24	Dan Carpenter	validation/sm_chunk2.c: update validation test Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-24	Dan Carpenter	db: revert a "speedup" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-24	Dan Carpenter	real_absolute: turn this code on Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-03-24	Dan Carpenter	err_ptr_deref: complain about dereferences inside a... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
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
next

Static analysis for C

RSS Atom