Public Git Hosting - smatch.git/search

2019-03-05	Dan Carpenter	extra: fix some type bugs handling loops Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-04	Dan Carpenter	return_cast: fix this check Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-04	Dan Carpenter	implied: fix a bug handling partial implications Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-04	Dan Carpenter	implied: fix a bug handling partial implications Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-04	Dan Carpenter	implied: fix a debug message Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-28	Dan Carpenter	kernel: ignore lockdep information Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-28	Dan Carpenter	states: prevent some no name states Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-28	Dan Carpenter	slist: tweak how OOM is handled Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-27	Dan Carpenter	math: always try look up if it's a fixed constant value... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-27	Dan Carpenter	implied: add ->skip_implications back Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	math: introduce get_rl_helper() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	math: rename get_rl_helper() to get_rl_internal() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	math: remove some debug code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	math: fix a bug getting the "exact" address of a string Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	implied: clean up filter_stack() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	implied: rename "incomplete" to "bail" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	implied: delete ->skip_implications Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	implied: delete ->nr_children Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	implied: very messy re-write of how to bail if implications... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	precedence: add a warning for "foo & bar > baz" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	kernel_user_data: fix a type issue in set_points_to_user_data() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	kernel_user_data: handle functions that return a pointer... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	kernel_user_data: handle struct assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	validation: update tests to reflect code changes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	validation/sm_select5.c: update validation test Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	math: fix a type issue with pointer subtractions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	db: fix passing caller info for frob(&foo); Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	parse_call_math: fix inline validation test Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	function_hooks: fix a type issue in return_implies_state() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	math: remove debug code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	buf_size: fix handling of end of struct arrays that... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	locking: make ret_non_zero range from 1-s32max Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	locking: add some more locks Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	smatch: add some string literals to snprintf() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	spectre: check for second halves Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	user_data: fix a crashing bug on invalid code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	zero_to_err_ptr: fix fall out from unsigned pointer... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	user_data: handle capped data better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	db/kernel.return_fixes: fix __sock_create() and wait_for_com... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	db/fixup_kernel.sh: ignore RIO_BAD_SIZE returns Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	smatch_data/kernel: add some more ignored stuff Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	smatch_data/kernel.no_return_funcs.add Add YY_FATAL_ERROR... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	db/delete_too_common_fn_ptr.sh: delete some common... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	mem_tracker: use /proc/self/statm for out_of_memory() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	imaginary_absolute: ignore loops Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	flow: fix valid_ptr_max Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	smatch: always print the time: and mem: Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	slist: do a small speedup in cmp_possible_sm() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	slist: reverse the order of the strees Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	address: improve get_address() for struct members Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	address: many array addresses can be marked as valid... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	address: get_member_offset_from_deref() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	math: move more stuff to get_rl_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	string_list: make insert_string() return false if it... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-26	Dan Carpenter	string_list: call strcmp() once instead of twice Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-25	Dan Carpenter	math: don't allocate the range_list if not necessary Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-25	Dan Carpenter	math: rename _get_rl() => get_rl_helper() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-25	Dan Carpenter	implied: bail earlier on parsing parameter limitation... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-25	Dan Carpenter	math: re-write _get_sval() to pass the results as a... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-20	Dan Carpenter	slist: speed up add_possible_sm() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-20	Dan Carpenter	slist: a pointer is equal to itself in cmp_possible_sm() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-20	Dan Carpenter	locking: spin_trylock() returns 1 on success Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-20	Dan Carpenter	slist: speed up copy_possibles() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-20	Dan Carpenter	slist: rename cmp_sm_states() to cmp_possible_sm() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-19	Dan Carpenter	address: improve handling of __smatch_implied(&foo... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-18	Dan Carpenter	nospec: use statement count to mark things as nospec Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-18	Dan Carpenter	nospec: preempt_disable() stops speculation Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-18	Dan Carpenter	buf_size: improve calloc() handling Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-18	Dan Carpenter	smdb.py: parse ptr_max Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-18	Dan Carpenter	off_by_one_relative: remove some debug code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-18	Dan Carpenter	extra: in PARAM_LIMIT/FILER then set both the name... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-18	Dan Carpenter	zero_to_err_ptr: don't warn on impossible paths Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-15	Dan Carpenter	estate: delete estate_filter_range/sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-15	Dan Carpenter	kernel: fix type bug handle IS_ERR() and friends Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-13	Dan Carpenter	db: don't pretend to dereference integers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-13	Dan Carpenter	testing_index_after_use: remove debug code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-12	Dan Carpenter	capped: don't set capped for known values Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-12	Dan Carpenter	extra: tweak hard max in conditions and macros Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-12	Dan Carpenter	extra: pass hard max across function boundaries Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-12	Dan Carpenter	db: split zero and non-zero returns Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-12	Dan Carpenter	implied: remove some dead code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-12	Dan Carpenter	implied: remove a nonsense limitation Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-12	Dan Carpenter	testing_index_after_use: silence some false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-12	Dan Carpenter	implied: remove the --debug-implied option Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-12	Dan Carpenter	states: fix a bug handling negate Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-12	Dan Carpenter	equiv: update "other" names as well Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-08	Dan Carpenter	buf_comparison: re-write to be more flexible Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-08	Dan Carpenter	db/kernel.return_fixes: add some more return fixes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-08	Dan Carpenter	db/vim_db: don't complain when the file is not found Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-08	Dan Carpenter	db/create_db.sh: don't complain when -p=<project> is... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-08	Dan Carpenter	db/fixup_kernel.sh: fix up stuff from the unsigned... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-08	Dan Carpenter	validation: update a few tests Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-08	Dan Carpenter	type: commit some missing pieces Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-07	Dan Carpenter	extra: small speedup in set_param_hard_max() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-07	Dan Carpenter	helper: fix expr_to_chunk_helper() for struct members Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-07	Dan Carpenter	comparison: print a "%s" string Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-07	Dan Carpenter	constraints: remove debugging and use the stripped... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-07	Dan Carpenter	db: improve recording comparisons to parameters Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-07	Dan Carpenter	implied: remove some duplicate debug code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-07	Dan Carpenter	real_absolute: don't store data for arrays Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom