Public Git Hosting - smatch.git/search

2020-05-06	Dan Carpenter	kernel: preserve the sm state when handling IS_ERR() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-06	Dan Carpenter	kernel: fix a type bug handling err_cast() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-06	Dan Carpenter	kernel: add support for closure_call() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-05	Dan Carpenter	buf_size: check pointer size earlier Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-05	Dan Carpenter	buf_size: fix handling of unknown flexible array sizes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-05	Dan Carpenter	buf_size: ignore zero returns Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-05	Dan Carpenter	extra: fix compile Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-05	Dan Carpenter	extra: delete some dead code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-05	Dan Carpenter	build_kernel_data.sh: print a message after the kernel... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-05	Dan Carpenter	db/kernel.return_fixes: ww_mutex_lock() can't return... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-05	Dan Carpenter	capped: handle & and % slightly differently Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-04	Dan Carpenter	db/return_states: fix call_id type Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-04	Dan Carpenter	db/create_db.sh: silence warning when -p option isn... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-04	Dan Carpenter	mark_function_ptrs_searchable: mark more functions... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-04	Dan Carpenter	container_of: fix importing the mtag data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-04	Dan Carpenter	estate: check hard max in estates_equiv() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-04	Dan Carpenter	estate: add a ->new flag to track new states Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-04	Dan Carpenter	helper: export get_array_expression() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-04	Dan Carpenter	implied: fix parsing for PARAM_LIMIT implications Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-04	Dan Carpenter	implied: non-merged states have no implications Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-04	Dan Carpenter	type: improve get_member_type_from_key() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-04	Dan Carpenter	type_val: ignore "idr_find" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-04	Dan Carpenter	implied: turn on debug_implied when regular debug is set Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-04	Dan Carpenter	err_ptr: delete dead code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-04	Dan Carpenter	struct_assignment: strip parentheses right Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-05-04	Dan Carpenter	atomic_inc_dec: push latest code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-04-07	Dan Carpenter	real_absolute: update real absolute for faked fresh... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-03-10	Dan Carpenter	type: create type_fits() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-03-10	Dan Carpenter	db/kernel.return_fixes: misc updates (locking mostly) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-03-10	Dan Carpenter	states: add a way to watch other checks set states Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-03-10	Dan Carpenter	debug: print a special warning for user_rl without... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-03-10	Dan Carpenter	fresh_alloc: some things are not fresh Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-03-10	Dan Carpenter	helper: don't cache Tmp expressions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-03-10	Dan Carpenter	expressions: Rename "Fake" to "Tmp" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-03-10	Dan Carpenter	math: functions can return fuzzy range lists Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-03-10	Dan Carpenter	return_to_param: remove unused declaration Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-03-10	Dan Carpenter	scripts/summarize_errs.sh: white space fixes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-03-10	Dan Carpenter	tokenize: export alloc_ident() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-03-10	Dan Carpenter	allocating_enough_data: clarify error message Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-18	Dan Carpenter	struct_assignment: Fix (*$)->foo handling Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-18	Dan Carpenter	validation: update impossible tests Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-18	Dan Carpenter	shift_to_zero: silence some false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-18	Dan Carpenter	mtag: don't double record mtag data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-18	Dan Carpenter	smdb: add some more types Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-18	Dan Carpenter	slist: add some debug code to warn about missing set_dynamic... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-18	Dan Carpenter	helper: remove no_parens parameter Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-18	Dan Carpenter	implied/comparison: delete unknown implications Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-18	Dan Carpenter	helper: return more specific error codes in get_param_num_fr... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-18	Dan Carpenter	function_hooks/mtag: set mtag returns Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-18	Dan Carpenter	helper: small white space cleanup Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-18	Dan Carpenter	mtag: save the mtag allocator Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-18	Dan Carpenter	db: add support for (*$)->foo = 1; Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-18	Dan Carpenter	db: make mtag_about entries unique Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-18	Dan Carpenter	db: add mtag_info table Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-18	Dan Carpenter	mtag_map: re-arrange container map Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-18	Dan Carpenter	type: export is_struct_ptr() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-11	Dan Carpenter	db: don't bother splitting error paths Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-11	Dan Carpenter	db: store the function mtag in the call_id space Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-11	Dan Carpenter	db: don't split negatives using null/non_null Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-11	Dan Carpenter	db: add a new callback for inserting stuff into caller_info Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-11	Dan Carpenter	function_ptrs: delete a stray space character Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-11	Dan Carpenter	estate: pointers don't have hard maxes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-11	Dan Carpenter	mtag_data: ignore boot_params Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-11	Dan Carpenter	mtag_data: ignore head->next Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-11	Dan Carpenter	helper: print EXPR_SELECT and EXPR_CONDITION with expr_to_str() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-11	Dan Carpenter	mtag_map: add a tag_offset field Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-11	Dan Carpenter	fresh_alloc: NULL is not a fresh alloc Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-11	Dan Carpenter	debug: move __print_states() to smatch_states.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-11	Dan Carpenter	math: handle unknown maximums in subtract operations Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-02-11	Dan Carpenter	flow: call ASSIGNMENT_HOOK_AFTER for complicated assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-01-28	Dan Carpenter	mtag: update swap_mtag_return() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-01-27	Dan Carpenter	fresh_alloc: mark used data as unfresh Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-01-27	Dan Carpenter	fresh_alloc: export is_fresh_alloc() and is_fresh_alloc_var_... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-01-27	Dan Carpenter	fresh_alloc: NULL pointers are not fresh Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-01-27	Dan Carpenter	mtag: export str_to_mtag() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-01-27	Dan Carpenter	type: improve debug output for NULL types Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-01-27	Dan Carpenter	slist: fix __print_stree() debug output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-01-22	Dan Carpenter	db: delete more dead code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-01-22	Dan Carpenter	db: remove DB remove some dead code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-01-14	Dan Carpenter	fresh_alloc: fix compiling (missing chunk of commit) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-01-10	Dan Carpenter	container: improve how assignments are handled Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-01-09	Dan Carpenter	locking: warn when there is a missing irq_restore Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-01-09	Dan Carpenter	validation: update locking validation tests Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-01-08	Dan Carpenter	locking: remove wine locking check Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-01-06	Dan Carpenter	fresh_alloc: track which allocations are fresh Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-01-06	Dan Carpenter	math/ranges/helper: improve floating point support Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2020-01-06	Dan Carpenter	smatch.h: add the declaration to sm_to_arg_name() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-12-12	Dan Carpenter	helper: introduce get_param_sym_from_num() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-12-12	Dan Carpenter	sval: initial floating point support Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-12-12	Dan Carpenter	db: improve split_success_fail Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-12-12	Dan Carpenter	db: fix split_positive_from_negative() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-12-12	Dan Carpenter	container_of: a function is not a container of itself Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-12-12	Dan Carpenter	container_of: fix how container of star information... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-12-12	Dan Carpenter	container_of: move strip_expr() earlier Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-12-12	Dan Carpenter	db: rename has_possible_zero_null() to has_separate_zero_null() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-12-12	Dan Carpenter	db: add a short cut in has_possible_negative() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-12-12	Dan Carpenter	rosenberg: don't leak uninitialized structs to malicious... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-12-12	Dan Carpenter	comparison: split unknown comparisons into fake comparisons Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-12-12	Dan Carpenter	container_of: handle "foo.fn(&foo);" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-12-12	Dan Carpenter	container_of: store links to container_of when passing... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom