Public Git Hosting - smatch.git/search

2016-01-13	Dan Carpenter	user_data2: always set *foo to user data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-01-13	Dan Carpenter	user_data2: use fake assignments instead of duplicating... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-01-13	Dan Carpenter	user_data2: handle arrays better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-01-06	Dan Carpenter	new vim_smdb: a script for looking up caller information... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-01-04	Dan Carpenter	buf_size: fix compile on older GCCs Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-22	Dan Carpenter	math: use real_absolute for custom math handling (user_data) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-22	Dan Carpenter	debug: add __smatch_real_absolute() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-21	Dan Carpenter	smdb.py: add trace_param feature Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-21	Dan Carpenter	smdb.py: add CULL_PATH type Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-21	Dan Carpenter	smdb.py: add call_tree to help output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-21	Dan Carpenter	data_source: don't print wrong sources Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-17	Dan Carpenter	data_source: follow parameters better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-17	Dan Carpenter	estate: clear unset struct members in clone_dinfo_perm() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-17	Dan Carpenter	flow: fix some issues with too hairy functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-17	Dan Carpenter	struct_assignment: handle sscanf Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-09	Rasmus Villemoes	check_kernel_printf.c: support future %pgX Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-09	Rasmus Villemoes	check_kernel_printf.c: check for redundant or confusing... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-09	Rasmus Villemoes	check_kernel_printf.c: actually allow printk level... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-09	Rasmus Villemoes	check_kernel_printf.c: support %pC Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-09	Rasmus Villemoes	check_kernel_printf.c: remove some %pIS false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-09	Rasmus Villemoes	check_kernel_printf.c: update struct printf_spec to... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-09	Rasmus Villemoes	check_kernel_printf.c: check for signed char versus... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-09	Rasmus Villemoes	check_kernel_printf.c: reorder flag defines Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-09	Rasmus Villemoes	sparse: don't warn about unknown attributes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-09	Or Gerlitz	err_ptr_deref: Fix build on RHEL6 Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-04	Dan Carpenter	ranges: export sval_fls_mask() and fls_mask() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-04	Dan Carpenter	implied: remove left_right variable Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-03	Dan Carpenter	implied: do type promotion earlier Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-02	Dan Carpenter	implied: rename "ranges" to "rl" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-02	Dan Carpenter	implied: rename "vals" to "rl" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-02	Dan Carpenter	implied: rename lr to left_right Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-02	Dan Carpenter	implied: use "sm" as the default name for sm_states Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-01	Dan Carpenter	implied: remove the --no-implied option Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-01	Dan Carpenter	flow: commit the rest of the ranged case patch Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-01	Dan Carpenter	smatch: remove --known_conditions option Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-01	Dan Carpenter	msg: print sm_msg() if local_debug is on Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-12-01	Dan Carpenter	comparison: fix an implication bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-11-30	Dan Carpenter	flow: handle ranged case statements Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-11-30	Dan Carpenter	function_hooks: impossible: don't set both sides to... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-11-27	Dan Carpenter	unreachable: ignore a couple new macros Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-11-24	Dan Carpenter	string_list: accept const strings and NULL pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-11-19	Dan Carpenter	validation: update some tests Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-11-19	Dan Carpenter	comparison: remove bogus NULL check Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-11-19	Dan Carpenter	smatch_estate: fix clone_estate_cast() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-11-19	Dan Carpenter	new impossible_mask: complain if people do "if (... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-11-17	Dan Carpenter	extra: fix get_user() handling Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-11-17	Dan Carpenter	equiv: mark variables as equiv even when their types... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-11-17	Dan Carpenter	new real_absolute: give a more accurate absolute... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-11-12	Dan Carpenter	ranges: doing division was sometimes corrupting memory Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-11-11	Dan Carpenter	helper: clear *sym in expr_to_chunk_helper() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-11-11	Dan Carpenter	implied: small speed up Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-11-11	Dan Carpenter	implied: mark some function parameters as const Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-11-11	Dan Carpenter	local_values: speed up, by ignoring array values Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-11-11	Dan Carpenter	math: handle strlen() of known strings Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-11-11	Dan Carpenter	user_data2: fix crashing bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-11-10	Dan Carpenter	math: move to using rl_binop for XOR Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-11-05	Dan Carpenter	extra: modifications inside WARN_ON() macros should... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-11-05	Dan Carpenter	bufsize,strlen: move strcpy(),strlcpy() and strlcat... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-11-05	Dan Carpenter	double_checking: disable some false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-11-05	Dan Carpenter	double_checking: remove debug output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-11-05	Dan Carpenter	ranges: make rl_binop() handle XOR operations Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-11-05	Dan Carpenter	check_deref: ignore static variables Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-11-05	Dan Carpenter	db/reload_partial: delete old data correctly Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-11-05	Dan Carpenter	db/fixup_kernel.sh: annotate sysfs functions a bit Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-11-05	Dan Carpenter	db/fixup_kernel.sh: ignore most __vfs_read() callers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-10-30	Dan Carpenter	ranges: be more flexible about divides Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-10-30	Dan Carpenter	user_data2: tighten user data range lists Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-10-23	Dan Carpenter	extra: fix a type issue handling comparisons Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-10-23	Dan Carpenter	extra: fix a memory leak Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-10-09	Dan Carpenter	math: handle binop integer overflows more strictly Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-10-09	Dan Carpenter	err_ptr_deref: complain about ERR_PTR(ENOMEM) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-10-02	Dan Carpenter	buf_size: bug calculating pointer math with &foo[4] Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-09-30	Dan Carpenter	helper: remove duplicate implementations of expr_equiv() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-22	Dan Carpenter	buf_size: don't store bogus information in the database Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-22	Dan Carpenter	strlen: snprintf() can determine the strlen Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-22	Dan Carpenter	buf_size: arrays cannot be re-assigned Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-21	Dan Carpenter	user_data: update kstrotoXX() functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-20	Dan Carpenter	states: remove an unused function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-20	Dan Carpenter	double_checking: avoid more false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-20	Dan Carpenter	double_checking: silence false positives caused by... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-20	Dan Carpenter	double_checking: allow if (foo) { ... } else if (!foo... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-20	Dan Carpenter	zero_to_err_ptr: calling PTR_ERR(NULL) is a probably... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-20	Dan Carpenter	smdb.py: update list of types Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-19	Dan Carpenter	check_kernel: register this later Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-19	Dan Carpenter	check_dma_mapping_error: The dma_mapping_error() function... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-19	Dan Carpenter	buf_comparison: split the code up and move it around Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-18	Dan Carpenter	extra, db: don't use PARAM_VALUE for return states Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-17	Dan Carpenter	buf_size: add kmap() and get_zeroed_page() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-17	Dan Carpenter	buf_size, strlen: don't use strlen() to determine the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-17	Dan Carpenter	strlen: cleanup in get_implied_strlen() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-17	Dan Carpenter	buf_size, strlen: move strlen() handling to smatch_strlen.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-15	Dan Carpenter	extra: track array values Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-15	Dan Carpenter	stored_conditons: store the chunk as well as the var_sym_list Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-15	Dan Carpenter	ranges: add a missing cast in add_range_t() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-14	Dan Carpenter	validation: don't use uninitialized data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-14	Dan Carpenter	modification_hook: record the modification expression Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-12	Sudip Mukherjee	kchecker: build already built directory Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-11	Dan Carpenter	smatch: remove the "loop could be replaced with if... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-11	Dan Carpenter	buf_size: unbreak this feature Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2015-08-11	Dan Carpenter	test_kernel.sh: print where the warnings are saved Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom