Public Git Hosting - smatch.git/search

2019-03-18	Dan Carpenter	mtag: delete totally bogus get_deref_mtag() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-18	Dan Carpenter	mtag: delete uncalled remove_dereference() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-18	Dan Carpenter	mtag: tweak how get_array_mtag_offset() works Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-18	Dan Carpenter	mtag: delete uncalled get_mtag_addr_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-18	Dan Carpenter	mtag: delete some dead code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-18	Dan Carpenter	mtag: remove unused get_mtag_offset() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-18	Dan Carpenter	math: remove the get_implied_value_low_overhead() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-18	Dan Carpenter	mtag_data: re-write in terms of mtag/offset Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-18	Dan Carpenter	mtag_data: improve looking up the mtag_data for "foo... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-18	Dan Carpenter	mtag: remove duplicative code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-18	Dan Carpenter	mtag: push some mtag seed code (but don't enable it) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-18	Dan Carpenter	mtag: handle function pointers correctly Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-18	Dan Carpenter	capped: stop marking everything as capped Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-18	Dan Carpenter	capped: pointers can't be capped Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-18	Dan Carpenter	db: mark some states as ignore Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-15	Dan Carpenter	mtag: fix handling of arrays Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-15	Dan Carpenter	container_of: fix the validation tests Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-15	Dan Carpenter	implied: remove skip_implications again Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-15	Dan Carpenter	implied: make a timeout use usec instead of seconds Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-15	Dan Carpenter	integer_overflow: split some integer overflow handling... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-15	Dan Carpenter	address: Use rl_binop() to calculate the offset into... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-15	Dan Carpenter	address: handle anonymous unions better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-15	Dan Carpenter	address: calculate bit types offsets better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-15	Dan Carpenter	math: handle __builtin_offsetof() better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-15	Dan Carpenter	extra: handle unmatched global variables better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-15	Dan Carpenter	extra: don't store HARD_MAX for known parameters Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-14	Dan Carpenter	param_used: don't save bogus data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-14	Dan Carpenter	container_of: re-write container_of() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-12	Dan Carpenter	helper: change how derefs are displayed Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-12	Dan Carpenter	math: allow some recursion in handle_address() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-12	Dan Carpenter	container_of: compare the symbols first of all Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-12	Dan Carpenter	container_of: export the get_container_name() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-12	Dan Carpenter	mtag: update the mtag when it's set using a pointer Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-12	Dan Carpenter	math: handle array addresses Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-11	Dan Carpenter	address: unify the code paths a bit Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-11	Dan Carpenter	address: rename a variable Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-06	Dan Carpenter	free_strict: ignore untracked parameters Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-06	Dan Carpenter	db: don't print comparisons when a function returns... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-06	Dan Carpenter	capped: handle assignments in the comparison better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-06	Dan Carpenter	extra: handle PARAM_ADD/SET better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-06	Dan Carpenter	implied: remove an unused variable Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-06	Dan Carpenter	type: debugging: display enum types in type_to_str() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-06	Dan Carpenter	math: don't bother caching EXPR_VALUE values Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-06	Dan Carpenter	math: fix RL_ABSOLUTE for unknowns Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-06	Dan Carpenter	slist: don't allocate so many duplicate ->possible... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-06	Dan Carpenter	mtag: prevent a crashing bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-03-05	Dan Carpenter	extra: fix a bug handling decrementing for loops Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
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
next

Static analysis for C

RSS Atom