Public Git Hosting - smatch.git/search

2012-04-19	Dan Carpenter	extra: foo((void *)&x) writes to x probably Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-04-18	Dan Carpenter	ranges: introduce invert_range_list() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-04-18	Dan Carpenter	math: handle __smatch_implied(&x); Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-04-17	Dan Carpenter	ranges: commit range_lists_equiv() so that bool_implications... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-04-17	Dan Carpenter	smdb_param_buf_size.sh: ask db what size buffers are... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-04-17	Dan Carpenter	extra: get_implied_range_list() should handle conditions... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-04-17	Dan Carpenter	buf_size: store buffer sizes in db (turned off by default) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-04-17	Dan Carpenter	db: don't die on SQL errors Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-04-17	Dan Carpenter	bool_implications: make a list of implications for... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-04-16	Dan Carpenter	math: handle logical expressions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-04-15	Dan Carpenter	core: print sm_msg()s before parsing starts Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-04-15	Dan Carpenter	parameter_implications: generate list of functions... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-04-15	Dan Carpenter	db: match_return() shouldn't re-implement get_implied_range_... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-04-14	Dan Carpenter	math: sort of handle conditions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-04-14	Dan Carpenter	math: simplify implied_condition_true/false() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-04-14	Dan Carpenter	math: simplify known_condition_true/false() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-04-14	Dan Carpenter	math: handle __smatch_implied(({frob(); 2;})); Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-04-14	Dan Carpenter	math: handle foo = !2; Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-04-14	Dan Carpenter	extra, math: move known_conditon_true/false() etc from... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-04-13	Dan Carpenter	project: fix parameter implications Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-04-13	Dan Carpenter	helper: introduce get_member_name() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-04-13	Dan Carpenter	db: print all return values at end of function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-04-04	Dan Carpenter	db: add some smdb_ scripts Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-30	Dan Carpenter	fill_db_return_info: fix out dated parsing Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-30	Dan Carpenter	extra: always initialize the range in get_implied_range_list() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-30	Dan Carpenter	extra: fix get_implied_range() for function calls Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-30	Dan Carpenter	check_macros: cleanup: use positions_eq() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-30	Dan Carpenter	macro: take a struct position, not a pointer to a struct Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-30	Dan Carpenter	implied: cleanup: move dubug printfs to their own function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-30	Dan Carpenter	ranges: get rid of possibly_(true/false)_range_list_ls() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-30	Dan Carpenter	ranges: cleanup: move true_comparison_range_lr() into... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-29	Dan Carpenter	extra: add parameter implications Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-29	Dan Carpenter	ranges: introduce clone_permanent() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-29	Dan Carpenter	ranges: initialize the pointer in get_value_ranges() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-29	Dan Carpenter	db: ignore functions which are called a lot Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-29	Dan Carpenter	type: export get_real_base_type() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-29	Dan Carpenter	db: add code to hack up the database with project specific... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-23	Dan Carpenter	conditions: preserve \|= as the assign op in foo \|=... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-23	Dan Carpenter	type: sizeof() is unsigned long Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-23	Dan Carpenter	conditions: sparse never seems to use SPECIAL_UNSIGNED_GT... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-21	Dan Carpenter	helper: introduce positions_eq(pos1, pos2) function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-19	Dan Carpenter	build_kernel_data.sh: make it executable Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-19	Dan Carpenter	macro_side_effects: silence false positives inside... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-17	Dan Carpenter	test_kernel.sh: create a bak.smatch at the beginning... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-17	Dan Carpenter	new check_macro_side_effects: macros which evaluate... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-17	Dan Carpenter	flow: ignore __builtin_constant_p() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-17	Dan Carpenter	sparse: set the scope->token member Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-15	Dan Carpenter	call_tree.pl: This was still using the old format Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-15	Dan Carpenter	build_kernel_data.sh: add --call-tree Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-12	Dan Carpenter	locking: ignore unreachable unlocks Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-12	Dan Carpenter	locking: white space changes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-12	Dan Carpenter	new_bugs.sh: fix it for gcc and sparse warnings Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-12	Dan Carpenter	locking: tons of locks were ignored because of changes... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-10	Dan Carpenter	token_store: creates a position -> token mapping Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-08	Dan Carpenter	Merge branch 'devel2'	commit \| commitdiff \| tree
2012-03-08	Dan Carpenter	new check_bit_shift.c: (foo & BAR) vs (foo & (1 ... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-06	Dan Carpenter	new pointer_math: complain about ptr + sizeof() where... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-05	Dan Carpenter	type: export get_pointer_type() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-03-02	Dan Carpenter	type: export get_pointer_type() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-29	Dan Carpenter	flow: fix segfault on parse error Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-29	Dan Carpenter	hooks: add CAST_HOOK Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-29	Dan Carpenter	type: add nr_bits(struct expression *expr) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-29	Dan Carpenter	extra: delete the get_range_list() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-28	Dan Carpenter	new: smatch_scripts/build_kernel_data.sh Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-28	Dan Carpenter	new: smatch_scripts/test_kernel.sh Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-27	Dan Carpenter	ranges: make possibly_true/false() take expression... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-27	Dan Carpenter	expressions: new file smatch_expressions.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-22	Dan Carpenter	tree wide: don't print offset into function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-22	Dan Carpenter	generize.pl: make it work for sparse warnings as well Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-22	Dan Carpenter	estate: don't reuse extra_undefined() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-22	Dan Carpenter	contraints: add option --debug-related Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-21	Dan Carpenter	constraints: make set_equiv() take an expression pointer Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-21	Dan Carpenter	extra, constraints: move set_equiv() from extra to... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-21	Dan Carpenter	debug: add __smatch_dump_related() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-21	Dan Carpenter	implied: use add_range() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-21	Dan Carpenter	estate, ranges: move whole_range from estate to ranges Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-21	Dan Carpenter	extra: cleanup is_whole_range() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-21	Dan Carpenter	ranges: make possibly_true_range_list_rl() take an... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-21	Dan Carpenter	ranges: rename get_single_value_from_dinfo() => estate_get_s... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-21	Dan Carpenter	implied: use new estate_related() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-21	Dan Carpenter	constraints: use new estate_related() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-21	Dan Carpenter	constraints: make get_common_relationship() take an... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-21	Dan Carpenter	estate: introduce estate_min/max() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-21	Dan Carpenter	estate: introduce estate_related() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-21	Dan Carpenter	estate: introduce estate_ranges() helper function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-21	Dan Carpenter	dinfo, estate: mv smatch_dinfo.c smatch_estate.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-21	Dan Carpenter	tree-wide: s/extra_state/estate/g Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-21	Dan Carpenter	extra, dinfo: move get_dinfo() from smatch_extra.c... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-21	Dan Carpenter	extra, ranges: make possibly_true/false() take an expression... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-20	Dan Carpenter	new kmalloc_wrong_size: checks the element size... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-20	Dan Carpenter	debug: add __smatch_implied() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-20	Dan Carpenter	extra: modify match_comparison() so it can deal with... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-20	Dan Carpenter	dinfo: introduce extra_empty() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-15	Dan Carpenter	ranges: introduce alloc_range_list() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-15	Dan Carpenter	extra: remove a variable from match_comparison() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-15	Dan Carpenter	extra: create set_extra_expr_true_false() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-15	Dan Carpenter	extra: move some code out of match_comparison() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-14	Dan Carpenter	extra: handle post increment in comparisons Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-14	Dan Carpenter	extra: rewrite how ++ and -- are handled Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-02-14	Dan Carpenter	ranges: introduce rl_min() and rl_max() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom