Public Git Hosting - smatch.git/search

2008-09-06	Dan Carpenter	This is the start of the smatch_extra stuff. Signed-off-by: Dan Carpenter <dcarpenter@usbsys.site>	commit \| commitdiff \| tree
2008-09-06	Dan Carpenter	Fix overwrite_slist() so it takes a pointer to a pointer... Signed-off-by: Dan Carpenter <dcarpenter@usbsys.site>	commit \| commitdiff \| tree
2008-09-06	Dan Carpenter	Make smatch_extra depend on smatch.h Signed-off-by: Dan Carpenter <dcarpenter@usbsys.site>	commit \| commitdiff \| tree
2008-09-02	Dan Carpenter	Move is_zero() to smatch_helper.c Signed-off-by: Dan Carpenter <dcarpenter@usbsys.site>	commit \| commitdiff \| tree
2008-09-01	Dan Carpenter	Fix a big bug. get_state_slist() was always getting... Signed-off-by: Dan Carpenter <dcarpenter@usbsys.site>	commit \| commitdiff \| tree
2008-09-01	Dan Carpenter	Merge ../../smatch/devel Signed-off-by: Dan Carpenter <dcarpenter@usbsys.site>	commit \| commitdiff \| tree
2008-09-01	Dan Carpenter	Merge branch 'devel'	commit \| commitdiff \| tree
2008-09-01	Dan Carpenter	Save the pre conditions inside the conditions so that... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-01	Dan Carpenter	The main change here was to completely rewrite how... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-21	Dan Carpenter	Break things out into functions a bit. Clean ups. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-21	Dan Carpenter	Handle while and for loops slightly better. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-18	Dan Carpenter	I removed nullify_path() earlier but that was a mistake. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-17	Dan Carpenter	I don't think the special_kernel_macros() function... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-17	Dan Carpenter	Add a function to do a strcmp() with a symbol name. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-17	Dan Carpenter	Remove everything to do with path_id's. I couldn't... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-17	Dan Carpenter	Replace the variable __negate with the function __negate(). Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-17	Dan Carpenter	Small clean up. Move the passing the whole condition... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-17	Dan Carpenter	Crap. I meant to merge this earlier when I divided... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-17	Dan Carpenter	Add a comment. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
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	Merge branch 'devel'	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	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
2008-08-05	Dan Carpenter	Remove an off by one error detecting the end of the... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-08-05	Dan Carpenter	Patch it with the stuff from the web	commit \| commitdiff \| tree
2008-08-05	Dan Carpenter	This is an unmodified tar ball.	commit \| commitdiff \| tree

Static analysis for C

RSS Atom