Public Git Hosting - smatch.git/search

2017-11-21	Dan Carpenter	buf_comparison: copy the code from smatch_constraints.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-11-15	Dan Carpenter	implied: improve the "too hairy" message Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-11-14	Dan Carpenter	comparison: store the expressions involved (if it's... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-11-14	Dan Carpenter	comparison: rename var1 to left_var and var2 to right_var Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-11-13	Dan Carpenter	constraints_required: detect a bunch of new types of... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-11-13	Dan Carpenter	constraints: allow function constraints Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-11-13	Dan Carpenter	constraints: don't store signed vs unsigned Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-11-04	Dan Carpenter	kernel_printf: don't segfault on invalid code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-11-03	Dan Carpenter	user_data: fix compile Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-11-03	Dan Carpenter	type_val: use smatch_container_of() information Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-11-03	Dan Carpenter	user_data: this file is replaced by check_user_data2... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-11-01	Dan Carpenter	implied: add a timeout in smatch_implied.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-11-01	Dan Carpenter	flow: delete out of scope variables for compound statement... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-11-01	Dan Carpenter	scope: move a check for STMT_COMPOUND earlier Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-31	Dan Carpenter	validation/sm_casts.c: update to not use an unintialized... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-31	Dan Carpenter	revert "smatch_type.c: comparison expressions always... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-31	Dan Carpenter	validation/sm_buf_size6.c: update format Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-31	Dan Carpenter	parse: make an array larger Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-31	Dan Carpenter	helper: fix get_array_expr() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-31	Dan Carpenter	assigned_expr: save a record when a function sets foo... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-31	Dan Carpenter	modification_hooks: handle PARAM_SET earlier Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-31	Dan Carpenter	.gitignore: ignore .smatch, .smatch.sql and .smatch... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-31	Dan Carpenter	constraints: add a comment, remove debug code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-31	Dan Carpenter	constraints_required: store more required constraints Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-31	Dan Carpenter	call_math: add kzalloc() to the list of allocation... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-31	Dan Carpenter	call_math: prevent an endless loop Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-31	Dan Carpenter	allocation_funcs: add __alloc_skb() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
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
next

Static analysis for C

RSS Atom