Public Git Hosting - smatch.git/search

2017-10-31	Dan Carpenter	constraints: fix selecting the required constraint Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-30	Rasmus Villemoes	check_kernel_printf.c: warn about "%lx", (long)ptr	commit \| commitdiff \| tree
2017-10-30	Rasmus Villemoes	smatch_type.c: comparison expressions always have type int	commit \| commitdiff \| tree
2017-10-30	Rasmus Villemoes	smatch_type.c: fix type of pointer diff	commit \| commitdiff \| tree
2017-10-27	Dan Carpenter	struct_assignment: fix parsing of invalid code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-27	Dan Carpenter	symbol: let is_ptr_type() take NULL pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-26	Dan Carpenter	core: add NULL checks for parsing invalid code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-26	Dan Carpenter	get_user_overflow: verify that that it's a compare... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-26	Rasmus Villemoes	check_kernel_printf.c: check %pOF argument is struct... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-26	Rasmus Villemoes	check_kernel_printf.c: remove copy-pastoed variable Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-26	Rasmus Villemoes	check_kernel_printf.c: prepare for more tests for integer... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-26	Rasmus Villemoes	check_kernel_printf.c: use get_real_base_type in typedef_lookup Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-24	Dan Carpenter	container_of: use CONTAINER type instead of PARAM_USED Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-19	Dan Carpenter	pre-process: don't read beyond end of array when looking... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-19	Dan Carpenter	buf_size, kernel_printf: don't segfault on invalid... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-19	Dan Carpenter	container_of: add a comment about returning a container_of() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-19	Dan Carpenter	container_of: get_offset_from_container_of() should... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-19	Dan Carpenter	db/clear_user_data: use check_user_data2 instead of... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-19	Dan Carpenter	db: complain if we can't open the schema files Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-19	Dan Carpenter	db: add a comment and do some white space changes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-19	Dan Carpenter	db: don't assume function calls are symbols (instead... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-19	Dan Carpenter	db/fixup_kernel.sh: fix a bad SQL command Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-19	Dan Carpenter	db: make static or not a boolean type Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-19	Dan Carpenter	db: save less information for common functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-18	Dan Carpenter	var_sym: fix handling of arrays Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-18	Dan Carpenter	extra: fix fallout from splitting param_used and container_of Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-18	Dan Carpenter	buf_size: don't store obvious sizes in the DB Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-17	Dan Carpenter	container_of: export get_param/offset_from_container_of() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-17	Dan Carpenter	param_used/states: introduce __get_state() for silently... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-17	Dan Carpenter	flow: parse more inline functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-16	Dan Carpenter	container_of: fix container_of() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-16	Dan Carpenter	frees_param: update to latest API Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-16	Dan Carpenter	param_used/container_of: split this into two files Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-11	Dan Carpenter	db: remove spammy debug message Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-11	Dan Carpenter	db: handle functions that return a container_of() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-11	Dan Carpenter	db: handle returning block statements better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-11	Dan Carpenter	param_used: prevent more recursion Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-11	Dan Carpenter	param_used: pull some stuff out into separate functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-11	Dan Carpenter	param_used: fix use after free Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-10	Dan Carpenter	db: split caller_info and sql into separate output... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-10	Dan Carpenter	db: change how common functions are handled Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-10	Dan Carpenter	db, struct_assignment: handle container_of() assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-10	Dan Carpenter	db: use the struct_member_callbacks to save container_of... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-10	Dan Carpenter	param_used: record when a container_of() a param is... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-10	Dan Carpenter	returns: set a fake_cur_stree instead of passing the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-10	Dan Carpenter	new check_uninitialized: warn about uninitialized... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-05	Dan Carpenter	smatch: use PROJ_UNKNOWN for when -p=<project> is used... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-05	Dan Carpenter	comparison: fix a bug with unsigned/signed impossible... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-05	Dan Carpenter	db/fixup_kernel.sh: i2c_algorithm->master_xfer() isn... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-05	Dan Carpenter	db/fixup_kernel.sh: delete some more write() calls Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-05	Dan Carpenter	db/kernel.return_fixes: hack scnprintf() return Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-05	Dan Carpenter	db/fixup_kernel.sh: move cpumask_weight hackery Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-05	Dan Carpenter	db: pass the call expression to call_implies callbacks Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-05	Dan Carpenter	about_fn_ptr_arg: fix a segmentation fault Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-05	Dan Carpenter	extra: delete match_untracked_array() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-05	Dan Carpenter	db: fix handling of conditional returns Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-05	Dan Carpenter	db: record common function calls but don't select the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-05	Dan Carpenter	extra: preserve pointer ranges across parameter dereferences Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-05	Dan Carpenter	function_hooks: add a local_debug message for impossible... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-05	Dan Carpenter	db: fix ignoring wrong callers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-05	Dan Carpenter	db: quote the value when inserting into call_implies Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-04	Dan Carpenter	function_ptrs: allow function pointers to be stored... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-04	Dan Carpenter	function_ptrs: fix is_local_symbol() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-04	Dan Carpenter	helper: print arrays better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-04	Dan Carpenter	untracked_param: mark params untracked if there is... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-04	Dan Carpenter	ranges: handle truncated ranges better (with show_rl... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-04	Dan Carpenter	type_val: try to use the function pointer arg link... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-04	Dan Carpenter	db: try to create a link from data to function (through... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-04	Dan Carpenter	constraints: commit the check_list.h lines as well Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-04	Dan Carpenter	var_sym: fix expr_to_vsl() for dereferences Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-04	Dan Carpenter	type: make type_positive_bits() return bits_in_pointer - 1 Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-04	Dan Carpenter	constraints: add constraints framework Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-04	Dan Carpenter	helper: improve expr_equiv() to handle numbers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-04	Dan Carpenter	helper: improve expr_to_str() for sizeof() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-28	Dan Carpenter	comparison: delete a local_debug message Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-25	Dan Carpenter	helper: re-order symbol additions in expr_to_chunk() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-25	Dan Carpenter	var_sym: fix expr_to_vsl() handling for EXPR_DEREF Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-21	Dan Carpenter	extra: fix comparisons with zero (more) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-20	Dan Carpenter	db: fix function signatures for pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-20	Dan Carpenter	estate: estate_is_empty() should return false if the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-19	Dan Carpenter	extra: don't set the false state from empty to zero... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-19	Dan Carpenter	db: add function_signature to the INTERNAL entries Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-19	Dan Carpenter	db/fill_db_caller_info.pl: fix fallout from moving... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-18	Dan Carpenter	db: don't use globals for caller_info_callback() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-18	Dan Carpenter	db: rename "callbacks" "select_caller_info_callbacks" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-13	Dan Carpenter	type_val: fix a type bug parsing global assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-13	Dan Carpenter	type_val: clean up DB code to not use globals Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-13	Dan Carpenter	check_list: move db_call_marker to the start of the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-13	Dan Carpenter	check_deref: ignore pointers if we assign their address... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-12	Dan Carpenter	ranges: fix a bug handling casting in sval_too_big() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-12	Dan Carpenter	user_data2, db: fix changing the returned states to... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-12	Dan Carpenter	user_data2: delete a debug statement Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-12	Dan Carpenter	debug: introduce __smatch_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-12	Dan Carpenter	math: ranges: do subtraction handling in rl_binop() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-12	Dan Carpenter	ranges: allow rl_binop() to return NULL Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-11	Dan Carpenter	user_data2: store in the database if a function returns... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-11	Dan Carpenter	user_data2: points_to_user_data() is true for skb-... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-11	Dan Carpenter	user_data2: use the extra_nomod_hooks Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-11	Dan Carpenter	extra: add extra_nomod_hooks Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-11	Dan Carpenter	debug: add __smatch_exit() which halts parsing Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom