Public Git Hosting - smatch.git/search

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
2018-07-31	Dan Carpenter	param_to_mtag_data: rename "data_name" --> "name" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-31	Dan Carpenter	mtag: don't set the name in expr_to_mtag_offset() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-31	Dan Carpenter	mtag_data: cache DB results Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-31	Dan Carpenter	extra: move get_address_rl() out of get_extra_state() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-31	Dan Carpenter	implicit_dependencies: white space changes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-31	Dan Carpenter	implicit_dependencies: only enable this with the -... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-31	Dan Carpenter	implicit_dependencies: fix a crashing bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-31	Andrew Aday	saved no_Struct graph and begin arg filtering Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-31	Andrew Aday	Generate json for without structs Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-31	Andrew Aday	Test: ignore struct fields Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-31	Andrew Aday	update implicit deps Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-31	Andrew Aday	regen implicit dep after merging Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-31	Andrew Aday	modified smatch to catch msync and similar funcs Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-31	Andrew Aday	update readme and manually add deps for msync Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-31	Andrew Zhu	changed output to json, blacklist file->fd Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-31	Andrew Aday	ignore pyc Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-31	Andrew Aday	python module to parse kernel.implicit_dependencies Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-31	Andrew Aday	kernel.implicit_dependencies with write data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-31	Andrew Aday	add tracking for writes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-31	Andrew Aday	Add read dependencies in nested inline fn calls and... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-31	Andrew Aday	add smatch_data/kernel.implicit_dependencies Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-31	Andrew Aday	check_implicit_dependencies and gen script Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-31	Andrew Aday	introduce check_implicit_dependencies Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-30	Dan Carpenter	implied: improve debugging Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-27	Dan Carpenter	mtag/mtag_data: re-use the same code to store data... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-27	Dan Carpenter	Revert "container_of: remove some duplicative code" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-27	Dan Carpenter	mtag_data: split get_mtag_rl() into two functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-27	Dan Carpenter	mtag: rename get_db_data_rl() => get_mtag_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-26	Dan Carpenter	container_of: remove some duplicative code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-26	Dan Carpenter	mtag/container_of: the first struct member can be a... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-26	Dan Carpenter	mtag: Use extra state to get mtag and offset Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-26	Dan Carpenter	mtag: hook in the mtag code to check_list.h Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-26	Dan Carpenter	validation: fix the new DB tests Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-26	Dan Carpenter	mtag: improve get_mtag_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-26	Dan Carpenter	mtag/math: use mtag information Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-26	Dan Carpenter	mtag: make get_mtag_offset() give both an mtag and... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-26	Dan Carpenter	mtag/math/extra: start using mtags as pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-26	Dan Carpenter	mtag: make the name parameter in expr_to_mtag_name_offset... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-26	Dan Carpenter	mtag: mask out the low bits Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-26	Dan Carpenter	mtag: turn off mtag stuff for 32 bit builds Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom