?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
signed: allow checks like: if (foo < 0 || foo > x) { for unsigned "foo"
2011-10-10 Dan Carpentersigned: allow checks like: if (foo < 0 || foo > x...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-10 Dan Carpenteroverflow: get rid of "buffer overflow calling %s. param...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-10 Dan Carpenterget rid of --print_returns option
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-09 Dan Carpenterextra, db: we have to record every function call in...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-09 Dan Carpenterranges: invalid ranges default to the whole range
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-08 Dan Carpentersigned: don't warn about unsigned comparisons to macros
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-08 Dan Carpenterextra, db: record the struct member values in the database
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-08 Dan Carpenterextra: fix parsing of values from db
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-07 Dan Carpenterfill_db_untrusted: follow untrusted data down the call...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-07 Dan Carpenterextra: don't print if the min-max as the value passed...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-07 Dan Carpenterranges: introduce is_whole_range_rl() and fix is_whole_range...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-07 Dan Carpenterdb: use the function_id correctly
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-07 Dan Carpenterfill_db_caller_info: calculate function_id correctly
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-07 Dan Carpenterdebug: add a __smatch_possible("variable") function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-04 Dan Carpenteruncapped_alloc: use _complex() version of get_variable_from_...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-04 Dan Carpenterextra: db: put single quotes around the function name.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-04 Dan Carpenter*new* smatch_scripts/follow_params.pl
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-04 Dan Carpenterhooks: remove some commented out code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-04 Dan Carpentersql: snprintf() nul terminates its strings
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-04 Dan Carpenterdb: move buf_size to the new add_definition_db_callback()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-04 Dan Carpenterdb: introduce add_definition_db_callback()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-04 Dan Carpenterdb: store the values of parameters
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-04 Dan Carpenterdb: make database code usable
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-09-27 Dan Carpenter*new* min_t() casting that truncates the values
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-09-23 Dan Carpenter*new* rosenberg: check for information leaks from the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-09-22 Dan Carpenterflow: tweak the ->pos setting for fake assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-09-22 Dan Carpenterflow: whitespace changes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-09-22 Dan Carpenterflow: pass condition assignments to clients with ASSIGNMENT_HOOK
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-09-22 Dan Carpenterno_effect: add some more tests
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
Static analysis for C