?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
db: pass &foo type parameter information to called functions
2011-12-08 Dan Carpenterdb: pass &foo type parameter information to called...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-12-08 Dan Carpentermath: do math for get_implied_min/max()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-12-08 Dan Carpenterhelper: when displaying sizeof() information use bytes...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-12-08 Dan Carpentercapped: track capped variables across function boundaries
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-12-08 Dan Carpenterdebug: add __smatch_implied_min/max()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-12-01 Dan Carpentermath: white space changes.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-11-25 Dan Carpenterdb: save function pointers saved in arrays of structs
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-11-22 Dan Carpenterdb/function_ptr: clear the correct table
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-11-22 Dan Carpenterdb: remove untrusted table
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-11-21 Dan Carpenterextra: unops don't normally change the value of a variable
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-11-17 Dan Carpentertiny white space fixes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-11-17 Dan Carpenteruncapped_alloc: delete this check
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-11-17 Dan Carpenterhelper: remove bogus parens from get_variable_from_expr...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-11-16 Dan Carpenterupdate smatch_data for 3.2-rc
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-11-01 Dan CarpenterAllow check_debug.h to be included more than once.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-30 Dan Carpentercore: add --file-output variable for make -j8
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-30 Dan Carpentersmatch_extra: clear out struct members if a the pointer...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-28 Dan Carpenterextra: fix crashing bug from last commit.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2011-10-22 Dan Carpenterextra: expressions are equivalent even if they are...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
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