Public Git Hosting - smatch.git/search

2013-03-25	Dan Carpenter	overflow: silence kernel false positive about __per_cpu_offset Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-25	Dan Carpenter	kernel: recover module_init/exit() functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-25	Dan Carpenter	flow: pass the sym_list to the END_FILE_HOOK Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-25	Dan Carpenter	db: fixup_kernel.sh remove some more USER_DATA tags Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-25	Dan Carpenter	db: speedup fill_db_caller_info.pl Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-25	Dan Carpenter	extra: improve += and -= handling Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-25	Dan Carpenter	sval: introduce sval_is_negative_min() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-25	Dan Carpenter	sval: fix sval_binop_overflows() to accept different... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-25	Dan Carpenter	introduce smatch_annotate.c: annotate some common functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-25	Dan Carpenter	db: give up if there are over 1000 returned states Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-25	Dan Carpenter	db: fix slow down caused by recursive function calls Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-21	Dan Carpenter	buf_size: false positive from large "implied" implied... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-21	Dan Carpenter	helper: fix expr_to_str() for function calls Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-21	Dan Carpenter	db: remove more user data from start_xmit Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-21	Dan Carpenter	db: manually delete some USER_DATA markers from the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-18	Dan Carpenter	extra: move vanilla assigns into their own function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-15	Dan Carpenter	ranges: in cast_rl() sometimes it's better to just... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-15	Dan Carpenter	extra: type bug handling asm expressions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-15	Dan Carpenter	db: fix bug handling ':' character Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-15	Dan Carpenter	math: Use function call information Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-15	Dan Carpenter	flow: handle POST_OPs correctly Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-15	Dan Carpenter	buf_size: handle dma_alloc_attrs() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-15	Dan Carpenter	extra: type bug handling for loops Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-15	Dan Carpenter	math: fix a couple type bugs Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-15	Dan Carpenter	locking: fix build problem Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-15	Dan Carpenter	user_data: the pointer returned from container_of(... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-14	Dan Carpenter	db: update a debug message Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-14	Dan Carpenter	db: change the file searched for static functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-14	Dan Carpenter	flow: fix a debug statement Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-14	Dan Carpenter	flow: save and restore the big_expression_stack when... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-14	Dan Carpenter	conditions: fix small signedness bug in compares Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-12	Dan Carpenter	locking: ignore parenthesis Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-12	Dan Carpenter	stack: turn off by default, and less spammy always Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-12	Dan Carpenter	signed: don't warn about assignments to boolean Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-12	Dan Carpenter	local_values: not all the set values make it to the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-12	Dan Carpenter	sizeof_param: ignore strncat(a, b, sizeof(b)); Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-12	Dan Carpenter	kernel: handle __ftrace_bad_type() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-12	Dan Carpenter	kernel: handle find_next_bit() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-12	Dan Carpenter	db_info: save return values in in-memory database Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-08	Dan Carpenter	check_kernel: preserve ERR_PTR values passed to IS_ERR_OR_NULL() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-08	Dan Carpenter	check_kernel: rename nonnull to valid_ptr Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-08	Dan Carpenter	Revert "kernel: remove some unneeded code" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-08	Dan Carpenter	sizeof_param: fix false positives with strlcpy Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-07	Dan Carpenter	compare: handle some assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-06	Dan Carpenter	extra: shuffle match_assign a bit Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-06	Dan Carpenter	extra: only get the types one time in match_assign Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-06	Dan Carpenter	function_ptr: move get_fnptr_name() to smatch_function_ptr.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-06	Dan Carpenter	db: fixup_kernel.sh: discard caller_info from ->notifier_call Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-06	Dan Carpenter	db: fixup_kernel.sh: only track the main read/write... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-06	Dan Carpenter	user_data: track user data across assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-06	Dan Carpenter	smatch_capped: get_implied_max() does not implied capped Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-06	Dan Carpenter	buf_size: export get_real_array_size() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-06	Dan Carpenter	extra: handle MOD_ASSIGN better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-06	Dan Carpenter	db: don't print information caller information for... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-06	Dan Carpenter	function_ptrs: track parameters as well Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-06	Dan Carpenter	function_ptrs: separate into its own file Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-01	Dan Carpenter	data: add snprintf to kernel.sizeof_param.remove Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-28	Dan Carpenter	buf_size: fix a NULL dereference Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-28	Dan Carpenter	kernel: remove some unneeded code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-26	Dan Carpenter	buf_size: handle empty arrays on the end of structs Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-26	Dan Carpenter	buf_size: remove some dead code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-26	Dan Carpenter	local_values: store possible values of static data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-26	Dan Carpenter	flow: more inline fall out Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-22	Dan Carpenter	db: export mem_sql() so checks can use it Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-22	Dan Carpenter	no_return: another problem with inline functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-22	Dan Carpenter	ranges: fix casting of invalid range lists Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-22	Dan Carpenter	extra, function_hooks: fix handling of casted function... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-21	Dan Carpenter	Revert "db: don't create unused tables in the in-memory... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-21	Dan Carpenter	db: don't use function pointers for caller info on... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-21	Dan Carpenter	db: use "distinct" to avoid duplicate function pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-21	Dan Carpenter	db: load global function pointers into the db properly Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-21	Dan Carpenter	db: remove duplicate struct pointers to functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-21	Dan Carpenter	db: fix call_implies for the in-memory database Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-21	Dan Carpenter	db, function_hooks: query the db after processing the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-21	Dan Carpenter	db: store the value of "x" when you call frob(&x); Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-21	Dan Carpenter	db: pass pointed at values to called functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-21	Dan Carpenter	db: reset the in-memory database after every function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-21	Dan Carpenter	db: add some debug statements for inserts into the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-21	Dan Carpenter	db: use call_id for the in-memory database Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-21	Dan Carpenter	db: add call_id to call_implies, return_states and... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-21	Dan Carpenter	db: rename function_id in the caller_info table to... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-21	Dan Carpenter	db: don't create unused tables in the in-memory database Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-21	Dan Carpenter	db: don't print caller info for __builtin functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-21	Dan Carpenter	db: use correct variable in mem_sql() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-20	Dan Carpenter	extra: improve unsigned comparisons Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-20	Dan Carpenter	ranges: don't do unneeded allocations in cast_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-20	Dan Carpenter	ranges: introduce rl_type() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-20	Dan Carpenter	db: use in-memory database Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-20	Dan Carpenter	db: move an option_no_db check to run_sql() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-20	Dan Carpenter	flow, db: rename should_inline() to inlinable() and... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-20	Dan Carpenter	returns: add a check for __inline_fn Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-20	Dan Carpenter	db, flow: make __inline_fn a pointer to the function... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-19	Dan Carpenter	db: SQL formatting bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-19	Dan Carpenter	db: save caller_info for inline function properly Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-19	Dan Carpenter	db: silence a compile warning on 32 bit (use %zd for... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-19	Dan Carpenter	db: introduce sql_select_call_implies() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-19	Dan Carpenter	db: only allow functions to be saved to one function... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-19	Dan Carpenter	db: introduce sql_select_caller_info() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-19	Dan Carpenter	db: introduce sql_select_return_values Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-19	Dan Carpenter	db: introduce sql_select_return_states() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom