Public Git Hosting - smatch.git/search

2014-02-21	Dan Carpenter	avl: change some void pointers to struct sm_state pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-21	Dan Carpenter	avl: remove the node->value struct member Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-21	Dan Carpenter	avl: rename node->key to node->sm Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-21	Dan Carpenter	smatch.h: make struct sm_state and tracker match Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-21	Dan Carpenter	avl: replace the generic compare with cmp_tracker() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-21	Dan Carpenter	Makefile: tie avl to smatch instead of to the generic... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-21	Dan Carpenter	avl: include smatch.h and smatch_slist.h into avl.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-21	Dan Carpenter	avl: remove some white space Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-21	Dan Carpenter	avl: include avl source code from ccan Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-12	Bart Van Assche	Build fix for gcc 4.4	commit \| commitdiff \| tree
2014-02-11	Dan Carpenter	smatch: relicense to GPLv2+ Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-11	Dan Carpenter	Merge branch 'upstream_sparse' into merge	commit \| commitdiff \| tree
2014-02-11	Dan Carpenter	double_checking: fix compile problem Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-11	Dan Carpenter	flow: introduce definite_inside_loop() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-11	Dan Carpenter	redundant_null_check: silence some false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-11	Dan Carpenter	free: add kmem_cache_free() as a freeing function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-11	Dan Carpenter	free: use db to make it work across function boundaries Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-11	Dan Carpenter	extra: handle more kinds of special assignments like... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-11	Dan Carpenter	function_hooks: ignore += and \|= function assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-11	Dan Carpenter	smatch.h: include scope.h Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-11	Dan Carpenter	helper: introduce cmp_pos() to compare positions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-11	Dan Carpenter	stored_conditions: add get_stored_condition() to the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-11	Dan Carpenter	deref: for NULL deref warnings initialization to NULL Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-11	Dan Carpenter	new double_checking: warn no duplicative conditons Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-11	Dan Carpenter	new stored_conditions: make a list of known true... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-07	Dan Carpenter	type_value: typo meant the u64max was translated to... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-02-03	Dan Carpenter	unconstant_macros: Add FAULT_FLAG_TRANSHUGE Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-29	Dan Carpenter	bit_shift: add a comment explaining what the check... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-28	Dan Carpenter	struct_assignment: fix compiler warnings Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-28	Dan Carpenter	deref: fix the "(uninitialized returns NULL)" warnings Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-28	Dan Carpenter	buf_size: add a NULL check Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-28	Dan Carpenter	db: create the indexes after the db is loaded Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-28	Dan Carpenter	data_source: ignore fake assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-28	Dan Carpenter	function_ptrs: store arrays better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-28	Dan Carpenter	function_ptrs: ignore duplicate information Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-28	Dan Carpenter	kernel, db: ignore calls to (struct file_operations... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-28	Dan Carpenter	comparison: some small cleanups Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-28	Dan Carpenter	capped: trace variable capping inside function calls Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-28	Joe Lawrence	buf_size: fix build for older gcc Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-28	Dan Carpenter	new readl_infinite_loops: check for hotplug bugs... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-28	Dan Carpenter	flow: add a STMT_HOOK_AFTER hook Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-24	Dan Carpenter	debug: add __smatch_about(var) to print what smatch... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-23	Dan Carpenter	common_functions: add special handling of sprintf(... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-23	Dan Carpenter	string_len: export get_formatted_string_size() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-23	Dan Carpenter	function_hooks, struct_assignment, extra, db: don't... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-23	Dan Carpenter	struct_assignment: add a comment explaining what the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-23	Dan Carpenter	modification_hooks: add a comment explaining what the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-23	Dan Carpenter	modification_hooks: rely on the database more when... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-23	Dan Carpenter	user_data: serious bug in handling modifications (missed... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-23	Dan Carpenter	user_data: cleanup: remove special handling of macro... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-23	Dan Carpenter	user_data, db: remove some false tagging as "user_data... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-21	Dan Carpenter	struct_assignment: move and improve handling smatch_data... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-21	Dan Carpenter	flow, struct_assignment, clear_buffer: improve how... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-21	Dan Carpenter	flow: struct_assignments: turn this code on Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-21	Dan Carpenter	helper: taking the address is not a complicated variable Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-21	Dan Carpenter	helper: NULL dereference in get_member_name() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-21	Dan Carpenter	extra: don't save whole ranges in the database Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-21	Dan Carpenter	db: add semi-colons to SQL statements Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-21	Dan Carpenter	unknown_value: make it a function call instead of a... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-21	Dan Carpenter	user_data: shift code for assignments around a bit Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-21	Dan Carpenter	leaks: check kmemdup() leaks Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-21	Dan Carpenter	deref: dereferencing uninitialized warnings should... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-21	Dan Carpenter	db/function_ptr.schema: add an index as a speed up Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-13	Dan Carpenter	struct_assignment: move memset() handling to struct_assignment Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-13	Dan Carpenter	struct_assignment: handle struct assignments to better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-10	Dan Carpenter	flow: global structs without an initializer are initialized... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-10	Dan Carpenter	helper: introduce get_param_num() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-01-06	Dan Carpenter	dma_on_stack: ignore arrays which are a parameter Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-20	Dan Carpenter	smdb.py: improvements to `smdb.py buf_size` and `smdb... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-20	Dan Carpenter	flow: hide a bunch of the unreachable warnings under... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-20	Dan Carpenter	kernel.silenced_functions: add some more "asm goto... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-20	Dan Carpenter	extra: assume indexes are in bounds Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-19	Dan Carpenter	flow: fix struct initialization bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-19	Dan Carpenter	new check_array_condition.c: arrays can't be NULL Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-19	Dan Carpenter	buf_size: store ranges in the database instead of single... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-19	Dan Carpenter	strlen: remove some blank lines Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-19	Dan Carpenter	unreachable code: don't warn about unreachable break... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-19	Dan Carpenter	unreachable code: don't warn about empty statements Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-19	Dan Carpenter	debug: introduce __smatch_buf_size_rl() which is more... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-19	Dan Carpenter	debug: add __smatch_member_name() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-19	Dan Carpenter	kernel, db: add hweight() functions to the database Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-19	Dan Carpenter	kernel, db: consider x = htonl(10) and x = 10 equivalent. Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-19	Dan Carpenter	introduce: smatch_data/kernel.no_inline_functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-18	Dan Carpenter	new add smatch_data/kernel.silenced_functions to... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-17	Dan Carpenter	common_functions.c: handle strlen() and strnlen() better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-17	Dan Carpenter	access_ok_math: restrict this check to --spammy output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-17	Dan Carpenter	new check_cast_assign.c: check casting a smaller... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-13	Dan Carpenter	check_debug: fix crashing bug on printing non-existant... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-11	Dan Carpenter	buf_size: buffer allocations in the same file are not... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-11	Dan Carpenter	buf_size: ignore unknown array sizes better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-11	Dan Carpenter	strlen: record string lengths across function calls Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-06	Dan Carpenter	strlen: record assigned strings Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-06	Dan Carpenter	strlen: add a comment and rename some things Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-06	Dan Carpenter	strlen: handle string literals Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-06	Dan Carpenter	debug: introduce __smatch_strlen() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-06	Dan Carpenter	strlen: introduce get_implied_strlen() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-06	Dan Carpenter	math: revert accidentally committed code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-06	Dan Carpenter	buf_size: read a range_list from the database Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-06	Dan Carpenter	buf_size: store type_size in two tables the same as... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-12-06	Dan Carpenter	buf_size: make size_from_db() work again Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom