Public Git Hosting - smatch.git/search

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
2019-02-07	Dan Carpenter	sval: remove an extra space character Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-07	Dan Carpenter	type: make pointers unsigned Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-07	Dan Carpenter	extra: tighten canonical for loop handling Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-07	Dan Carpenter	extra: fix function comparisons Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-05	Dan Carpenter	ranges: improve casting negatives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-05	Dan Carpenter	implied: don't use incomplete states Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-05	Dan Carpenter	implications: remove a magic number Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-04	Dan Carpenter	db: show comparison strings for conditional returns Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-04	Dan Carpenter	db: don't store recursive struct members Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-04	Dan Carpenter	type: handle pointer type correctly Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-04	Dan Carpenter	extra/untracked_param: mark lost parameters Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-02-04	Dan Carpenter	address: return unknown if we can't figure out the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-01-31	Dan Carpenter	implied: tweak some debug statements Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-01-28	Dan Carpenter	expressions: parse "$0->foo.bar" correctly. Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-01-28	Dan Carpenter	return_to_param: use ident->len instead of strlen() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-01-28	Dan Carpenter	param_set: handle mtag assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-01-28	Dan Carpenter	assigned_expr: make it work for parameter assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-01-25	Dan Carpenter	equiv: use DB information to set extra state in equiv... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-01-23	Dan Carpenter	extra: improve get_other_name_sym() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-01-23	Dan Carpenter	extra: futz around with get_other_name_sym() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-01-22	Dan Carpenter	helper: improve get_member_name() for anonymous structs Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-01-22	Dan Carpenter	db: escape new lines in save_cache_data() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-01-22	Dan Carpenter	ranges: constify call_results_to_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-01-22	Dan Carpenter	extra: filter really long unused param value information Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-01-22	Dan Carpenter	extra: use ident->len instead of calling strlen(ident... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-01-16	Dan Carpenter	db: don't create new splits in split_positive_from_negative() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-01-16	Dan Carpenter	extra: fix returned_struct_members() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-01-16	Dan Carpenter	param_used: fix handling of called functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-01-16	Dan Carpenter	extra: export in_warn_on_macro() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-01-16	Dan Carpenter	type: misc small cleanups Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-01-16	Dan Carpenter	type: fix get_member_from_string() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-01-16	Dan Carpenter	kpatch.sh: fix spelling s/ammend/amend/ Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-01-16	Dan Carpenter	type: add a short cut in get_real_base_type() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-01-14	Dan Carpenter	implied: Preserve ->hard_max for fake history states Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-01-14	Dan Carpenter	extra: preserve hard_max after comparisons to zero Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-01-08	Dan Carpenter	slist: make sm->children a smaller type Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-01-08	Dan Carpenter	slist: rename variables in __merge_stree() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-01-08	Dan Carpenter	slist: handle the fast path in __merge_stree() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2019-01-08	Dan Carpenter	slist: simplify __merge_stree() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-12-19	Dan Carpenter	nospec: don't record nospec parameter info which hasn... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-12-14	Dan Carpenter	dma_mapping_error: update to only complain about legacy... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-12-11	John Levon	Remove -Wempty-character-constant Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-12-07	Dan Carpenter	smatch: add a --succeed option Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-12-06	John Levon	Add illumos projects Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-12-06	John Levon	Convert some sm_msg() into more specific reporting... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-12-06	John Levon	Convert sm_msg() with an error: prefix into sm_error() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-12-06	John Levon	Convert all sm_msg("warn:.." into sm_warning() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-12-06	John Levon	Regularise error reporting Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-12-06	Dan Carpenter	db: make escape_newlines() take a const pointer Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-12-04	Dan Carpenter	parse.h: create stmt_get_parent_stmt() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-12-04	Dan Carpenter	constraints: escape SQL statements Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-12-04	Dan Carpenter	statement_count: record how many statements there are... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-11-30	Dan Carpenter	extra/db: silence an invalid SQL warning Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-11-29	Dan Carpenter	buf_size: fix handling of 1 element arrays Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-11-29	Dan Carpenter	db: sql debug mode was executing the SQL twice Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-11-28	Dan Carpenter	test_bit: add test_and_set_bit() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-11-28	Dan Carpenter	debug: introduce __smatch_mem() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-11-28	Dan Carpenter	db: don't save struct members for integers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-11-28	Dan Carpenter	implied: remove an unnecessary NULL check Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-11-28	Dan Carpenter	nul_terminator: export the is_nul_terminated() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom