Public Git Hosting - smatch.git/search

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	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
2014-08-29	Dan Carpenter	comparison: introduce possible_comparison() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-08-29	Dan Carpenter	extra: update a debug statement Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-08-29	Dan Carpenter	function_ptrs: track functions which return a function... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-08-29	Dan Carpenter	show_errs.sh: quote some strings properly Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-08-29	Dan Carpenter	slist: put get_sm_state_stree_stack() in the .h file Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-08-29	Dan Carpenter	states: change the debug output format Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-08-29	Dan Carpenter	struct_assignment: handle kzalloc() better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-08-29	Dan Carpenter	slist: add the filename to some debug output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-08-29	Dan Carpenter	flow: parse global variables before parsing functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-08-29	Dan Carpenter	slist: export the set_state_stree_perm() function to... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-08-29	Dan Carpenter	comparison: a variable is always equal to itself Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-08-25	Dan Carpenter	remove null tests for arrays. Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-08-25	Dan Carpenter	Makefile: allow CC to be defined outside the makefile Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-08-25	Dan Carpenter	silence non-ANSI warnings Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-08-05	Dan Carpenter	helper: prevent segfault in expr_to_var() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-07-25	Dan Carpenter	extra: improve handling of "if (x * 4 > 12) {" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-07-18	Dan Carpenter	missing_break: make a function static Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-07-14	Dan Carpenter	db: fix runtime breakage Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-07-11	Dan Carpenter	dereferences_param: add more dereferenced variables Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-06-20	Dan Carpenter	ranges: remove unneeded NULL check Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-06-20	Dan Carpenter	type_val: store fake assignments in a slightly different... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-06-20	Dan Carpenter	param_set/filter: don't print less useless information Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-06-19	Dan Carpenter	db: fixup after call_implies changes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-06-19	Dan Carpenter	param_cleared: handle direct assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-06-19	Dan Carpenter	db: make call_implies match caller_info with a key... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-06-18	Dan Carpenter	smdb.py: fix test for if a datatype is known Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-06-12	Dan Carpenter	assigned_expression: get the assigned expression using... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-06-12	Dan Carpenter	rosenberg: handle struct to struct assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-06-12	Dan Carpenter	data/kernel.sizeof_param.remove: add __dynamic_pr_debug() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-29	Dan Carpenter	struct_assignment: introduce get_faked_expression() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-29	Dan Carpenter	struct_assignment: handle memcpy(foo, ...) where foo... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-29	Dan Carpenter	math: be more ambitious handling right shifts Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-28	Dan Carpenter	user_data: kstrtoul() and friends should taint data... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-28	Dan Carpenter	extra: more limits on which variables are equivalent Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-27	Dan Carpenter	db: get return states from function pointers if possible Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-23	Dan Carpenter	propagate: remove validation test because we removed... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-22	Dan Carpenter	slist: introduce merge_fake_stree() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-22	Dan Carpenter	unreachable: silence "not actually initialized" false... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-22	Dan Carpenter	rosenberg: fix some false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2014-05-16	Dan Carpenter	debug: introduce __smatch_debug_check() to debug a... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom