Public Git Hosting - smatch.git/search

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
2013-02-18	Dan Carpenter	ranges: fix "trouble parsing empty" messages Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-18	Dan Carpenter	param_limit, param_filter: silence some debug output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-18	Dan Carpenter	smatch: fix sm_debug() to always print Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-18	Dan Carpenter	db, flow: parse inline statements, load stuff into... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-18	Dan Carpenter	states: introduce helper functions to preserve and... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-16	Dan Carpenter	validation: fix bogus tests so they don't cause segfaults Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-16	Dan Carpenter	parse_call_math: fix segfault Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-16	Dan Carpenter	db: make sql_insert_caller_info() take the call expression Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-16	Dan Carpenter	db: initialize In-Memory database Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-16	Dan Carpenter	db: move db stuff from smatch_scripts/db/ to smatch_data/db/ Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-16	Dan Carpenter	db: everyone must have libsqlite3 installed (not optional) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-16	Dan Carpenter	files: make open_data_file() exported Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-14	Dan Carpenter	flow: delete unused code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-14	Dan Carpenter	helper: handle assignments in expr_to_str() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-14	Dan Carpenter	new check_struct_type: if we allocate an unexpected... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-14	Dan Carpenter	rosenberg: fix crash parsing different functions with... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-14	Dan Carpenter	db: move caller_info as close as possible to raw SQL Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-14	Dan Carpenter	db: make member_info callbacks take 1 or 0 instead... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-14	Dan Carpenter	db: move type_size to use raw SQL Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-14	Dan Carpenter	db: move call_implies to use raw SQL Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-14	Dan Carpenter	db: move return_values to use raw SQL Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-14	Dan Carpenter	db: delete unused no_side_effects table (for now) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-14	Dan Carpenter	db: move function_ptr to raw SQL Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-14	Dan Carpenter	db: move return_states to raw SQL Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-14	Dan Carpenter	db: tools for printing raw SQL instead of human readable... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-08	Dan Carpenter	silence bogus "unreachable code" warnings Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-07	Dan Carpenter	param_limit: handle functions where the parameter is... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-07	Dan Carpenter	db: take static vs global into consideration wit function... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-07	Dan Carpenter	math: handle MOD operation better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-06	Dan Carpenter	delete bool_implications: this file is unused Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-06	Dan Carpenter	param_(filter\|limit\|set): add some comments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-06	Dan Carpenter	buf_size: don't crash on invalid code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-06	Dan Carpenter	parse_call_math: silence "internal bug: pop_val popping... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-06	Bart Van Assche	Avoid triggering a division by zero in the overflow...	commit \| commitdiff \| tree
2013-02-06	Dan Carpenter	propagate: fall out from get_implied_min() changes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-06	Dan Carpenter	extra: type bug handling empty states in reset_struct_members() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-06	Dan Carpenter	ranges: don't allow inverted ranges Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom