Public Git Hosting - smatch.git/search

2014-11-06	Dan Carpenter	debug: add __smatch_type() which prints the type of... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-11-06	Dan Carpenter	type: type_to_str() should take a type parameter Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-11-05	Dan Carpenter	flow, db: fake an unknown return if the function is... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-11-05	Dan Carpenter	db,extra: fixes to param filtering Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-11-05	Dan Carpenter	debug: add a function to do intersections Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-11-04	Dan Carpenter	db, ranges: introduce long_min/max values Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-11-04	Dan Carpenter	kernel, db: pretend pci functions can't return PCIBIOS_BAD_R... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-11-04	Dan Carpenter	db, kernel: when kmalloc() succeeds that implies the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-11-04	Dan Carpenter	db: do the comparison against the split apart returns Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-11-04	Dan Carpenter	db: split function call returns if we can Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-11-04	Dan Carpenter	flow: handle backwards goto hooks Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-11-04	Dan Carpenter	flow: function declarations are not function definitions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-31	Dan Carpenter	return_enomem: re-write without using return_implies_state() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-31	Dan Carpenter	buf_comparison: handle zero size arrays better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-31	Dan Carpenter	buf_comparison: export the get_size_variable() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-31	Dan Carpenter	buf_comparison, db: record top level variables in data_info Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-30	Dan Carpenter	function_hooks, db: fix a problem with nested calls Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-30	Dan Carpenter	comparison: oops. forgot to commit a chunk. Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-30	Dan Carpenter	64bit_shift: find bugs like: u64 foo = 1 << x; Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-29	Dan Carpenter	auto_copy: fix a crashing bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-29	Dan Carpenter	precedence: b & mask >> shift is normally a bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-28	Dan Carpenter	shift_to_zero: fix an error message Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-28	Dan Carpenter	free: check for passing or returning freed memory Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-28	Dan Carpenter	free: don't turn off warnings if --spammy is set Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-28	Dan Carpenter	db/fixup_kernel.sh: bitmap_allocate_region doesn't... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-28	Dan Carpenter	buf_comparison: store which data holds array limits... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-28	Dan Carpenter	buf_comparison, buf_size: add realloc() to allocation... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-27	Dan Carpenter	compare: introduce get_all_comparisons() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-27	Dan Carpenter	db: add data_info table Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-21	Dan Carpenter	auto_copy: assignments copies states automatically Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-20	Dan Carpenter	buf_comparison: look for off by one errors Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-17	Dan Carpenter	Merge branch 'devel'	commit \| commitdiff \| tree
2014-10-16	Dan Carpenter	err_ptr_deref: error message should say "negative"... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-16	Dan Carpenter	free: improve cross function tracking Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-16	Dan Carpenter	shift_to_zero: check for things like "(foo & 0xff... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-14	Dan Carpenter	parse_call_math: handle math like "$0->foo + 5" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-13	Dan Carpenter	parse_call_math: more format change fallout Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-13	Dan Carpenter	parse_call_math: NULL terminate buf size recipes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-10	Dan Carpenter	call_math: use range lists instead of only exact values Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-10	Dan Carpenter	ranges: start implementing rl_binop() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-09	Dan Carpenter	comparison: store general limits in the database Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-09	Dan Carpenter	comparison: take original comparison into account ... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-09	Dan Carpenter	validation: add a test for the recent function compare... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-08	Dan Carpenter	function_hooks: function comparisons can imply a parameter... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-08	Dan Carpenter	fixup_kernel.sh: several important updates (bugfixes) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-07	Dan Carpenter	comparison: rename falsify_op() to negate_comparison... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-07	Dan Carpenter	ranges: rename filter_by_comparison() to something... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-07	Dan Carpenter	cgcc: revert part of the -Werror check Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-07	Dan Carpenter	comparison: rename flip_op() to flip_comparison() and... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-03	Dan Carpenter	Merge git://git.kernel.org/pub/scm/devel/sparse/chrisl... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-02	Dan Carpenter	smdb.py: add some help text Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-10-02	Dan Carpenter	build_kernel_data.sh: error out if the right packages... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-29	Dan Carpenter	comparison: don't store comparisons to one's self Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-29	Dan Carpenter	comparison: add a comment for update_tf_links() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-29	Dan Carpenter	comparison: get rid of the chunk_vsl_eq() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-29	Dan Carpenter	comparison: pass the filtered false state Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-29	Dan Carpenter	comparison: cleanup update_tf_data() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-27	Dan Carpenter	db: fix handling of nested calls Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-26	Dan Carpenter	states: add an assert Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-26	Dan Carpenter	buf_size: handle strlen() a bit better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-26	Dan Carpenter	locking: add ffs_mutex_lock Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-26	Dan Carpenter	flow: the __in_pre_condition variable needs to be set... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-26	Dan Carpenter	smatch.h: store some dummy database types temporarily Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-26	Dan Carpenter	db: expose the data parameter so we can use data in... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-26	Dan Carpenter	parse_call_math: change API to use range lists (mostly... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-26	Dan Carpenter	ranges: fix parsing that I broke this afternoon Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-26	Dan Carpenter	comparison: fix up filter_comparison() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-26	Dan Carpenter	ranges: use the ranges stored in the database properly... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-26	Dan Carpenter	ranges: fix crashing bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-26	Dan Carpenter	ranges: simplify and robustify str_to_rl_helper() a bit Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-26	Dan Carpenter	param_limit: save the comparison to the arguments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-26	Dan Carpenter	function_hooks: fix how database comparisons are done Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-26	Dan Carpenter	comparison: pass the ignore field to range_comparison_to_par... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-26	Dan Carpenter	comparison: take previous comparisons into account Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-25	Dan Carpenter	db: prefer literals to parameter math Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-25	Dan Carpenter	db: re-add some missing [] characters Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-24	Dan Carpenter	assigned_expr: undefine on modification Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-24	Dan Carpenter	db: fix how parameter math works Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-24	Dan Carpenter	assigned_expr: add reverse links Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-24	Dan Carpenter	links: create a smatch_links.c file with functions... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-22	Dan Carpenter	parse_call_math: fix left overs from the format change Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-22	Dan Carpenter	param_set: write struct members in terms of parameter... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-22	Dan Carpenter	extra: write certain returned struct members in terms... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-22	Dan Carpenter	db: pass the return expression to the returned_member_callback Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-22	Dan Carpenter	extra: save return values in terms of parameter math Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-22	Dan Carpenter	db: unify how parameter descriptions are saved Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-22	Dan Carpenter	comparison: add an ignore parameter to expr_equal_to_param() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-17	Dan Carpenter	unreachable: ignore the unreachable() macro Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-17	Dan Carpenter	err_ptr_deref: passing an ERR_PTR to kfree() is a bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-17	Dan Carpenter	extra: handle merging NULL pointers better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-16	Dan Carpenter	extra: addresses of arrays are non-NULL Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-15	Dan Carpenter	db: remove bogus parameter information from hook type... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-15	Dan Carpenter	db: add a new table which hold parameter types Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-11	Dan Carpenter	type: introduce type_to_str() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-09	Dan Carpenter	locking: remove some duplicate "sometimes locked" warnings Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-04	Dan Carpenter	generisize.pl: filter some more stuff Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-04	Dan Carpenter	generesize.pl: cleanup indentation Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-09-04	Dan Carpenter	ranges: a pointer to an array is just a pointer Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-08-29	Dan Carpenter	extra: record global declarations Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-08-29	Dan Carpenter	conditions: update some debug output. Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom