Public Git Hosting - smatch.git/search

2008-12-21	Dan Carpenter	Add a comment showing where the tests are supposed...	commit \| commitdiff \| tree
2008-12-21	Dan Carpenter	This is left over from October as part of the implied...	commit \| commitdiff \| tree
2008-12-21	Dan Carpenter	Add get_possible_states(). Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-12-21	Dan Carpenter	Stuff left over from October. Implied pools work.	commit \| commitdiff \| tree
2008-10-19	Dan Carpenter	We could save some memory by not allocating new memory... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-18	Dan Carpenter	Fix memory leak. Add more comments. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-17	Dan Carpenter	Add a merge hook. Handle the situations like: Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-17	Dan Carpenter	strcmp() doesn't accept NULL arguments. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-17	Dan Carpenter	rename two functions: get_variable_from_expr_simple... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-17	Dan Carpenter	get_variable_from_expr() uses a static buffer and you... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-17	Dan Carpenter	Create a check_template.c example script that looks... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-15	Dan Carpenter	Make get_all_states() not segfault every time. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-15	Dan Carpenter	Fix get_value() to return negative values. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-15	Dan Carpenter	We only ever pass one parameter into get_value(). Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-15	Dan Carpenter	Fix get_all_states() to match the function definition. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-15	Dan Carpenter	Remove add_state() and state_defined() definitions... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-14	Dan Carpenter	Clean up. Fix leak. My problem is that I don't understand... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-14	Dan Carpenter	Initial commit of the "implied state pools" stuff.... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-14	Dan Carpenter	Doh. We haven't been using smatch_extra for a while. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-13	Dan Carpenter	Get rid of path_history. It's never going to be used. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-13	Dan Carpenter	Make goto_stack static.	commit \| commitdiff \| tree
2008-10-13	Dan Carpenter	Speed up merge_slist now that the slists are ordered. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-11	Dan Carpenter	Insert stuff onto lists in a sorted order. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-11	Dan Carpenter	Delete an unused function merge_state_stack() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-08	Dan Carpenter	fix: if (foo) { (foo)->bar; } Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-07	Dan Carpenter	kmalloc() and friends don't always return a non-null... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-06	Dan Carpenter	The checks from here got merged into check_null_deref.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-04	Dan Carpenter	Move the stuff from check_derefed_params.c into check_null_d... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-10-04	Dan Carpenter	Fix bug in or_slist_stack(). if (a && b) wasn't being... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-30	Dan Carpenter	Add a hook at the end of a file. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-28	Dan Carpenter	Forgot another strip_expr() call... :/ Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-28	Dan Carpenter	Handle assignmeents inside conditions better. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-28	Dan Carpenter	Only print something for a->foo and not a.foo Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-25	Dan Carpenter	Ignore array declarations. Those can't be NULL obviously. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-23	Dan Carpenter	Make cur_slist static. It's only used in smatch_states.c. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-22	Dan Carpenter	White space changes. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-22	Dan Carpenter	Use merge_slist() instead of trying to handle it yourself. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-22	Dan Carpenter	__process_continues() is supposed to be basically the... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-21	Dan Carpenter	New smatch_ignore.c file. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-21	Dan Carpenter	(foo) = 1 is the same as foo = 1. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-21	Dan Carpenter	Generalize stip_casts(). It's now called strip_expr... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-20	Dan Carpenter	Ignore casts. foo((int *)&bar) is the same as foo... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-20	Dan Carpenter	Created show_state() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-20	Dan Carpenter	Ignore stuff like foo.bar. We only care about foo... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-20	Dan Carpenter	What happens before is that parameters would get assigned... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-19	Dan Carpenter	Missed a crashing bug in the int => struct conversion. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-19	Dan Carpenter	I can't believe I was doing stacks wrong this whole... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-19	Dan Carpenter	Changed smatch state from being an int to being pointer... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-17	Dan Carpenter	I want to reuse the name smatch_state. The current... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-17	Dan Carpenter	Redo the null path thing. So long as there is one... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-17	Dan Carpenter	Clean up. Complicated is just a boolean. Set it to... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2008-09-17	Dan Carpenter	Arrays are complicated so they shouldn't be returned by Signed-off-by: Dan Carpenter <dcarpenter@error27@gmail.com>	commit \| commitdiff \| tree
2008-09-17	Dan Carpenter	If we call set_state from inside a condition then it... Signed-off-by: Dan Carpenter <dcarpenter@usbsys.site>	commit \| commitdiff \| tree
2008-09-17	Dan Carpenter	If the pointer is initialized to non-null then set... Signed-off-by: Dan Carpenter <dcarpenter@usbsys.site>	commit \| commitdiff \| tree
2008-09-15	Dan Carpenter	ignore the smatch binary. Signed-off-by: Dan Carpenter <dcarpenter@error27@gmail.com>	commit \| commitdiff \| tree
2008-09-15	Dan Carpenter	When we merge 2 slists we need to deal with the case... Signed-off-by: Dan Carpenter <dcarpenter@usbsys.site>	commit \| commitdiff \| tree
2008-09-14	Dan Carpenter	Clean ups. Signed-off-by: Dan Carpenter <dcarpenter@usbsys.site>	commit \| commitdiff \| tree
2008-09-13	Dan Carpenter	Add nullify the path when you have for(;;); Signed-off-by: Dan Carpenter <dcarpenter@usbsys.site>	commit \| commitdiff \| tree
2008-09-13	Dan Carpenter	Merge branch 'ls' into ultratmp	commit \| commitdiff \| tree
2008-09-13	Dan Carpenter	Merge branch 'unnullify' into ls	commit \| commitdiff \| tree
2008-09-13	Dan Carpenter	Lots of do while(0) loops don't call break so it doesn... Signed-off-by: Dan Carpenter <dcarpenter@usbsys.site>	commit \| commitdiff \| tree
2008-09-13	Dan Carpenter	Remove unneeded check. Signed-off-by: Dan Carpenter <dcarpenter@usbsys.site>	commit \| commitdiff \| tree
2008-09-08	Dan Carpenter	Fix or_slist_stack(). Before it just saved one stack... Signed-off-by: Dan Carpenter <dcarpenter@usbsys.site>	commit \| commitdiff \| tree
2008-09-08	Dan Carpenter	crap crap crap. do not use.	commit \| commitdiff \| tree
2008-09-07	Dan Carpenter	Clean ups and add some __unnullify_path stuff. Hopefully... Signed-off-by: Dan Carpenter <dcarpenter@usbsys.site>	commit \| commitdiff \| tree
2008-09-07	Dan Carpenter	Small cleanup. goto_stack should only be used in smatch_sta... Signed-off-by: Dan Carpenter <dcarpenter@usbsys.site>	commit \| commitdiff \| tree
2008-09-07	Dan Carpenter	Clean ups. Signed-off-by: Dan Carpenter <dcarpenter@usbsys.site>	commit \| commitdiff \| tree
2008-09-06	Dan Carpenter	Fix bug saving the false_only stack. Before code like... Signed-off-by: Dan Carpenter <dcarpenter@usbsys.site>	commit \| commitdiff \| tree
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
next

Static analysis for C

RSS Atom