Public Git Hosting - smatch.git/search

2008-08-17	Dan Carpenter	Moved all the logic for handling conditions into a... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-17	Dan Carpenter	Oops. I guess I deleted the wrong list... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-17	Dan Carpenter	Don't pass the contents of sizeof() to the client.... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-16	Dan Carpenter	Improve how the debug info for merging states gets... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-16	Dan Carpenter	The main thing is to handle zero comparisons better. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-16	Dan Carpenter	Remove unneeded code. This stuff is handled in smatch_flow... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-16	Dan Carpenter	We need to be able to break down (foo != 0) for BUG_ON... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-15	Dan Carpenter	Identify for(;;) type loops as forever loops. This... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-15	Dan Carpenter	Add support for BUG_ON() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-15	Dan Carpenter	What I've seen is stuff like this: Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-15	Dan Carpenter	Anything that we don't handle is obviously complicated. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-15	Dan Carpenter	Add a comment to get_variable_from_expr_simple() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-15	Dan Carpenter	The nullify_path() here is a bug. It over-writes all... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-15	Dan Carpenter	__print_cur_slist() is a useful function for debugging... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-15	Dan Carpenter	If you have something like Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-13	Dan Carpenter	Update the line numbers for each statement. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-13	Dan Carpenter	Change the merge rules for custom merge scripts so... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-13	Dan Carpenter	Move SM_DEBUG to a header so everyone can use it. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-13	Dan Carpenter	Add a custom merge function. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-11	Dan Carpenter	Update the line number at the very start of the function... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-10	Dan Carpenter	Change the debug output a bit. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-09	Dan Carpenter	Add a --debug option. It has to be the first option... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-07	Dan Carpenter	Make sure the variable name is NULL terminated otherwise... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-07	Dan Carpenter	Small clean ups. No change in behavior. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-06	Dan Carpenter	This is an off by one error really. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-05	Dan Carpenter	The sparse_initialize() function now takes a filelist Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree

Static analysis for C

RSS Atom