Public Git Hosting - smatch.git/search

2018-12-04	Dan Carpenter	statement_count: record how many statements there are... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-11-30	Dan Carpenter	extra/db: silence an invalid SQL warning Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-11-29	Dan Carpenter	buf_size: fix handling of 1 element arrays Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-11-29	Dan Carpenter	db: sql debug mode was executing the SQL twice Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-11-28	Dan Carpenter	test_bit: add test_and_set_bit() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-11-28	Dan Carpenter	debug: introduce __smatch_mem() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-11-28	Dan Carpenter	db: don't save struct members for integers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-11-28	Dan Carpenter	implied: remove an unnecessary NULL check Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-11-28	Dan Carpenter	nul_terminator: export the is_nul_terminated() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-11-28	Dan Carpenter	kpatch: use git instead of trying to create diffs by... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-11-28	Dan Carpenter	struct_assignment: handle unions as well Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-11-28	Dan Carpenter	missing_break: turn it off by default Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-11-28	Dan Carpenter	free_strict: fix some false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-11-28	Dan Carpenter	Revert "Look across the entire compile line for smatch... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-11-14	Dan Carpenter	trinity: Proof of concept to auto-generate trinity... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-11-01	Dan Carpenter	user_data: rename to smatch_kernel_user_data.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-11-01	Dan Carpenter	assigned_expr: rename to smatch_assigned_expr.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-10-31	Dan Carpenter	smatch: make the --enable/disable options take strings Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-10-31	Dan Carpenter	smatch_nul_terminated: fix compile Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-10-31	Dan Carpenter	untracked_param: fix a NULL dereference Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-10-30	Dan Carpenter	uninitialized: fix a crashing bug parsing "return ... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-10-23	Dan Carpenter	nul_terminator: track when strings have a NUL terminator Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-10-18	Dan Carpenter	user_data2: fix a type issue in caller_info Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-10-18	Dan Carpenter	user_data: integers can't be dereferenced Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-10-18	Dan Carpenter	comparison: make a buffer larger to make GCC happy Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-10-18	Dan Carpenter	data_source: track assignments better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-10-18	Dan Carpenter	extra: prevent a divide by zero Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-10-18	Dan Carpenter	modification_hooks: use the DB for frob(&foo); Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-10-18	Dan Carpenter	sval: introduce sval_binop_overflows_no_sign() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-28	Dan Carpenter	extra: undo bogus unop changes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-27	Dan Carpenter	array_values: fix up and support two dimensional local... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-27	Dan Carpenter	param_set: don't record a param_set for p++ changes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-27	Dan Carpenter	function_hooks: re-hack around moving the fake parameter... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-26	Dan Carpenter	array_values: store array values of struct member arrays Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-26	Dan Carpenter	function_hooks: hack around fallout from moving the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-24	Dan Carpenter	comparison: don't return invalid params in get_mask_comparison() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-20	Dan Carpenter	db: don't print "failed to open" warnings... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-20	Dan Carpenter	param_set: remove some dead code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-20	Dan Carpenter	mtag: temporarily disable generating mtag for kmalloc() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-20	Dan Carpenter	expressions: don't crash on invalid code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-20	Dan Carpenter	extra: fix a type bug in inserting info into caller_info Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-20	Dan Carpenter	kernel: don't insist that the parameter is named "error" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-20	Dan Carpenter	extra: export is_impossible_variable() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-20	Dan Carpenter	flow: fix a crashing bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-20	Dan Carpenter	function_hooks: do the fake parameter assignment after... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-20	Dan Carpenter	param_limit: fix generify_mtag_range() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-20	Dan Carpenter	extra: clear_pointed_at_state() is a nomod state Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-20	Dan Carpenter	param_set: handle when the stack variable was modified... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-20	Dan Carpenter	parse_call_math: don't say the return is equal to a... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-20	Dan Carpenter	scope: fix is_outer_stmt() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-20	Dan Carpenter	sval: handle casting to bool Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-20	Dan Carpenter	array_values: don't crash on invalid code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-20	Dan Carpenter	no_spec: record when functions have a barrier Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-14	Dan Carpenter	extra/type: fix type of return PARAM_ADD/SET Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-14	Dan Carpenter	param_limit: make mtag limits more generic Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-12	Dan Carpenter	param_set: don't save if the parent is set Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-11	Dan Carpenter	atomic_inc_dec: add a couple more functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-11	Dan Carpenter	signed_integer_overflow: ignore this for the kernel Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-11	Dan Carpenter	math: handle conditionals like: "a = b?: c;" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-11	Dan Carpenter	nospec: don't fill the DB up with garbage Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-11	Dan Carpenter	sizeof: fix NULL dereference parsing invalid code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-11	Dan Carpenter	strings: truncating large strings causes SQL problems... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-11	Dan Carpenter	type_val: don't double record globals Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-11	Dan Carpenter	target: man ssize_t be unsigned long instead of unsigned... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-11	Dan Carpenter	extra: don't reset impossible states after a condition Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-10	Dan Carpenter	array: store possible array values for simple arrays Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-06	Dan Carpenter	mtag: HACK: return false if the mtag is zero Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-06	Dan Carpenter	flow: fake an assign statement for global initializers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-06	Dan Carpenter	flow: tweak how function timeouts happen Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-06	Dan Carpenter	db: fix a type bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-09-06	Dan Carpenter	smatch_flow: don't parse inline functions after we... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-08-31	Dan Carpenter	mtag: add string information Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-08-31	Dan Carpenter	flow: handle __builtin_mul_overflow() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-08-29	Dan Carpenter	kernel_printf: silence "specifier is cast from pointer... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-08-28	Dan Carpenter	nospec: turn off speculation at rmb(), smb_rmb() and... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-08-28	Dan Carpenter	check_signed: ignore fake assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-08-25	Dan Carpenter	mtag_data: clear cache at start of function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-08-25	Dan Carpenter	nospec: fix uninitialized pointer crash Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-08-24	Dan Carpenter	helper: fake calls are not equivalent to anything Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-08-24	Dan Carpenter	comparison: handle comparisons: if ((foo = frob(... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-08-24	Dan Carpenter	comparison: improve "foo = min(...);" assignment handling Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-08-24	Dan Carpenter	comparison: hack around some type bugs Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-08-24	Dan Carpenter	mtag_data: remove duplicate mtag_data and random small... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-08-24	Dan Carpenter	container_of: fix a bug in get_shared_cnt() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-08-24	Dan Carpenter	check_check_deref: silence some false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-08-18	Dan Carpenter	nospec: store functions that return nospec indexes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-08-15	Dan Carpenter	nospec: handle CALL_NOSPEC Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-08-14	Dan Carpenter	db: introduce the --db-file=/path/to/smatch_db.sqlite... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-08-13	Dan Carpenter	user_data2: use function returns in points_to_user_data() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-08-13	Dan Carpenter	files: check for schema files relative to the bin_dir Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-08-13	Dan Carpenter	smatch.c: export bin_dir to everyone Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-08-10	Dan Carpenter	core: print the full path when --info is used Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-08-08	Dan Carpenter	user_data: improve how returned data is handled Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-08-08	Dan Carpenter	capped: set returned struct members to capped Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-08-06	Dan Carpenter	user_data: fix validation test for returned struct... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-31	Dan Carpenter	implied: don't print so many "turning off implications... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-31	Dan Carpenter	mtag: delete some bogus code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-31	Dan Carpenter	mtag_data: update mtag_data to use get_mtag_addr_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-31	Dan Carpenter	mtag: fix expr_to_mtag_offset() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-31	Dan Carpenter	mtag: introduce get_mtag_addr_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom