Public Git Hosting - smatch.git/search

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-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
2018-07-26	Dan Carpenter	container_of: cleanup set_param_value() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-26	Dan Carpenter	container_of/mtag: fix handling of passed values (as... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-26	Dan Carpenter	validation: add some mtag tests Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-26	Dan Carpenter	container_of/mtag: use container_of information for... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-25	Dan Carpenter	container_of: re-write code to record caller_info containers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-25	Dan Carpenter	ranges: allow svals to be printed in hex Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-25	Dan Carpenter	ranges: fix parsing of ulong_max and ptr_max (not currently... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-25	Dan Carpenter	container_of: flip the param and the value around Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-25	Dan Carpenter	address: fix add_offset_to_pointer() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	type: introduce get_final_type() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	sval: handle pointer math better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	type: introduce get_promoted_type() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	comparison: export filter_comparison() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	smdb.py: push all my changes to this file Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	db/kernel.return_fixes misc updates Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	conditions: don't parse NULLs Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	db/fixup_kernel.sh: delete '(union anonymous)->__val... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	flow: print slow to parse functions when the --time... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	extra: introduce value_ptr_rl Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	db: add some more schemas Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	db/reload_partial.sh: fix for call_implies Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	db: hook up call_implies infrastructure Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	sval: fix sval_is_a_min/max() for smaller types Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	sval: introduce sval_is_ptr() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	db: Use extra sm->possible to decide if splitting the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	extra: introduce get_extra_sm_state() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	conditions: set the parent expressions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	implied: set in_fake_env when we do an assume() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	slist: do a small clean up Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	stored_conditions: store more conditions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-24	Dan Carpenter	struct_assignment: handle memcpy for pointer math better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-19	Dan Carpenter	spectre: silence some if (array[user_controlled_offset... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-19	Dan Carpenter	spectre: change output format Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-19	Dan Carpenter	spectre: remove is_read/write() checks Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-06	Dan Carpenter	db: fix get_db_state_count() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-06	Dan Carpenter	helper: clean up get_complication_score() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-06	Dan Carpenter	helper: sizeof() is not complicated Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-06	Dan Carpenter	conditions: split the zero Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-06	Dan Carpenter	conditions: delete unused function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-07-03	Dan Carpenter	check_user_data: mark kvm_register_read() as returning... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom