?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
user_data: use is_capped() function
2011-10-22 Dan Carpenteruser_data: use is_capped() function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-22 Dan Carpenteruser_data: handle binops
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-22 Dan Carpenter*new* smatch_capped: introduce is_capped() function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-18 Dan Carpenter*new* check_user_data: record all the user data (and...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-13 Dan Carpenterbuf_size: there was a mistake in handling calls to...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-13 Dan Carpenterbuf_size: record the size of struct members
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-13 Dan Carpenterextra: cleanup: use my_id instead of SMATCH_EXTRA
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-13 Dan Carpenterdb: wrong parameter number in struct member callback
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-13 Dan Carpenterextra: don't print an extra $$
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-13 Dan Carpenterdb: limit the number of function pointer calls we check
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-13 Dan Carpenterdb, extra: introduce add_member_info_callback()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-12 Dan Carpenterextra, db: record a dummy output for every function...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-12 Dan Carpenterdb: use option_no_db
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-12 Dan Carpenterextra, db: move some db functions from smatch_extra...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-12 Dan Carpenterbuf_size: handle function pointers as well
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-11 Dan Carpenterdb: follow calls to functions pointers as well as normal...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-11 Dan Carpenterflow: set position for global variables
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
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