?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
Add a comment.
2008-08-17 Dan CarpenterAdd a comment.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2008-08-17 Dan CarpenterMoved all the logic for handling conditions into a...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2008-08-17 Dan CarpenterOops. I guess I deleted the wrong list...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2008-08-17 Dan CarpenterDon't pass the contents of sizeof() to the client....
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2008-08-16 Dan CarpenterImprove how the debug info for merging states gets...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2008-08-16 Dan CarpenterThe main thing is to handle zero comparisons better.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2008-08-16 Dan CarpenterRemove unneeded code. This stuff is handled in smatch_flow...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2008-08-16 Dan CarpenterWe 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 CarpenterIdentify for(;;) type loops as forever loops. This...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2008-08-15 Dan CarpenterAdd support for BUG_ON()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2008-08-15 Dan CarpenterWhat I've seen is stuff like this:
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2008-08-15 Dan CarpenterAnything that we don't handle is obviously complicated.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2008-08-15 Dan CarpenterAdd a comment to get_variable_from_expr_simple()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2008-08-15 Dan CarpenterThe 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 CarpenterIf you have something like
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2008-08-13 Dan CarpenterUpdate the line numbers for each statement.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2008-08-13 Dan CarpenterChange the merge rules for custom merge scripts so...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2008-08-13 Dan CarpenterMove 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 CarpenterAdd a custom merge function.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2008-08-11 Dan CarpenterUpdate 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 CarpenterChange the debug output a bit.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2008-08-09 Dan CarpenterAdd 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 CarpenterMake sure the variable name is NULL terminated otherwise...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2008-08-07 Dan CarpenterSmall clean ups. No change in behavior.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2008-08-06 Dan CarpenterThis is an off by one error really.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2008-08-05 Dan CarpenterThe sparse_initialize() function now takes a filelist
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2008-08-05 Dan CarpenterRemove 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 CarpenterPatch it with the stuff from the web
 commit | commitdiff | tree
2008-08-05 Dan CarpenterThis is an unmodified tar ball.
 commit | commitdiff | tree
Static analysis for C