Public Git Hosting - smatch.git/search

2012-06-12	Dan Carpenter	buf_size: pull handling of normal arrays into separate... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-12	Dan Carpenter	buf_size: move some functions around Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-12	Dan Carpenter	buf_size: add modification hooks Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-12	Dan Carpenter	debug: add a way to debug buffer sizes __smatch_buf_size() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-11	Dan Carpenter	Or vs and: warn about bitwise ANDs that always give... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-11	Dan Carpenter	Or vs and: if (foo & ZERO) is nonsense Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-11	Dan Carpenter	function_hash: make it easier to handle a file with... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-06	Dan Carpenter	signed: unbreak the check Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-04	Dan Carpenter	overflow: update validation test Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-04	Dan Carpenter	flow: handle struct initialization better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-04	Dan Carpenter	flow: handle EXPR_OFFSETOF and EXPR_ALIGNOF Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-06-04	Dan Carpenter	overflow: ignore "x = &foo[ARRAY_SIZE(foo)];" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-30	Dan Carpenter	overflow: white space cleanups Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-30	Dan Carpenter	implied: the base slist is not special Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-30	Dan Carpenter	slist: change format for debug output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-30	Dan Carpenter	expressions: introduce some more expression allocation... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-29	Dan Carpenter	validation: update dereference check output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-29	Dan Carpenter	implied: certain states should be left as is Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-27	Dan Carpenter	slist: put the sm_state itself into ->possible not... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-27	Dan Carpenter	slist: cleanup merge_hooks API Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-27	Dan Carpenter	extra: don't create a new merged estate if ->right... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-26	Dan Carpenter	estates: reuse same estate for extra_undefined() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-26	Dan Carpenter	constraints: get rid of add_equiv() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-26	Dan Carpenter	constraints: remove some dead code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-26	Dan Carpenter	constraints: fix set_equiv() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-26	Dan Carpenter	constraints: add_related() should take a related_list... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-26	Dan Carpenter	constraints: sort the ->related list properly Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-26	Dan Carpenter	constraints: replace get_common_relationship() with... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-26	Dan Carpenter	slist: move add_pool() to smatch_implied Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-24	Dan Carpenter	bit_shift: add test_bit() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-23	Dan Carpenter	flow: silence false positives caused by hairy functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-22	Dan Carpenter	implied: rename ->my_pool to ->pool Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-22	Dan Carpenter	slist: rename add_possible() => copy_possibles() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-22	Dan Carpenter	or_vs_and: ignore p++ \|\| p++ Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-22	Dan Carpenter	tracker: fix a small memory leak Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-22	Dan Carpenter	modification: remove calls to delete_state() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-22	Dan Carpenter	check_dereference: enable this Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-22	Dan Carpenter	db: store whether functions are global or static Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-22	Dan Carpenter	tracker: remove unused clone_tracker_list() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-22	Dan Carpenter	slist: buffer overflow in debugging code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-22	Dan Carpenter	user_data: fix NULL dereference Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-21	Dan Carpenter	db: white space cleanups Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-21	Dan Carpenter	db: move parameter_implications into the database Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-21	Dan Carpenter	ranges: add possibly_true/false_range_lists_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-18	Dan Carpenter	overflow: automatically list functions that take a... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-18	Dan Carpenter	modification_hooks: complete rewrite Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-17	Dan Carpenter	db: print the SQL queries when --debug is on Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-16	Dan Carpenter	cleanup: use valid_ptr_min/max. get rid of POINTER_MAX Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-16	Dan Carpenter	extra: dereferencing a pointer means it is valid Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-16	Dan Carpenter	implied: cleanup debug output a little Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-16	Dan Carpenter	slist: pull show_sm() into a separate function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-15	Dan Carpenter	check_kernel: ERR_PTR() returns non-NULL (mostly) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-15	Dan Carpenter	dereference checks: use the cross function info from... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-15	Dan Carpenter	new check_dereferences_param: list functions that... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-15	Dan Carpenter	new returns: merge all slists from all returns Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-15	Dan Carpenter	db: add call_implies table Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-15	Dan Carpenter	flow: print a different filename when --info option... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-15	Dan Carpenter	deref: fix a typo in the error message Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-10	Dan Carpenter	user_data: track user data that is returned to other... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-10	Dan Carpenter	bool_implications: remove debugging output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-08	Dan Carpenter	fix compile on Ubuntu Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-07	Dan Carpenter	generisize.pl: strip all strings not just the first Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-05-07	Dan Carpenter	buf_size: Add a NULL check to get_array_size_bytes() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-04-26	Dan Carpenter	new sizeof_pointer: using sizeof(p) where sizeof... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-04-26	Dan Carpenter	overflow: check memcpy() to see if we're comparing... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-04-26	Dan Carpenter	extra: don't reset &arguments until the other checks... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-04-26	Dan Carpenter	flow: change how "for (i = 0; ; i++) { ..." is handled Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-04-26	Dan Carpenter	new or_vs_and: complain about if (x != 3 \|\| x !=... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-04-24	Dan Carpenter	sparse: introduce get_expression_value_nomod() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-04-23	Dan Carpenter	type: introduce is_pointer() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2012-04-19	Dan Carpenter	extra: frob(foo) resets the value of *foo Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
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
next

Static analysis for C

RSS Atom