?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
user_data: skb->data is user data
2012-08-14 Dan Carpenteruser_data: skb->data is user data
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-08-14 Dan Carpenterextra: make a function static
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-08-14 Dan Carpenterdb: create return_states table
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-08-14 Dan Carpenterdb: add get_return_id() and return markers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-08-14 Dan Carpenterdb: improve error message
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-08-14 Dan Carpenterdb: caller_info changes: store the caller, param =...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-08-14 Dan Carpenterdb: add return_values table
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-08-14 Dan Carpentererr_ptr_deref: remove duplicate conflicting code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-08-13 Dan Carpenterfunction_hooks: move registration to the right place
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-08-09 Omair Mohammed AbdullahFix bug in Makefile that causes linking to fail
 commit | commitdiff | tree
2012-08-09 Dan Carpenterderef_check: remove dead code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-07-31 Dan Carpentermisc white space fixes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-07-31 Dan Carpenterimplied: change debugging output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-07-31 Dan Carpenterchecks: get rid of some delete_state() calls
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-07-31 Dan Carpenterderef_check: fix a false positive
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-07-30 Christopher LiFix a bug with variables named "x86_64".
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-07-30 Dan Carpentersparse: comment out an internal error message
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-07-26 Dan CarpenterMerge git://git.kernel.org/pub/scm/devel/sparse/chrisl...
commit | commitdiff | tree
2012-07-24 Dan Carpenter*new* assign_vs_compare: if ((x = <constant>)) {
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-07-20 Dan Carpenterranges: introduce rl_contiguous()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-07-20 Dan Carpenterderef_check: silence some false positive on cross function...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-07-20 Dan Carpenterfill_db_call_implies: check correct variable
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-07-20 Dan Carpenterfill_db_return_implies: delete the correct table
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-07-17 Dan Carpenterpointer_math: check ALIGN() macro math
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-07-11 Dan Carpenterhelper: handle if (WARN_ON(i == ARRAY_SIZE(foo)) return...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-07-02 Jonathan Neuschäfersmatch_scripts: fix spelling of "usage"
 commit | commitdiff | tree
2012-07-02 Jonathan Neuschäfersmatch: fix several typos
 commit | commitdiff | tree
2012-06-22 Dan Carpenterassigned_expr: move check_assigned_expr() to smatch.h
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-22 Dan Carpentermacro_side_effects: only enable when --spammy is used
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-22 Dan Carpenterignore_side_effects: add some more macros that have...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-18 Dan Carpenterbuf_size: add --spammy to validation tests
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-18 Dan Carpenteroverflow: remove strncpy() false positives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-18 Dan CarpenterMerge branch 'devel'
 commit | commitdiff | tree
2012-06-18 Dan Carpenterbuf_size: turn off buf size for &addresses unless ...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-18 Dan Carpenterflow: handle the __noreturn__ attribute
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-18 Dan Carpenterbuf_size: remove the &* and [0] from around the pointer...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-16 KOSAKI Motohirosparse: Add 'error' to ignored attributes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-16 KOSAKI Motohirosparse: Add '__vector_size__' to ignored attributes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-16 Dan Carpentersm_buf: don't return the maximum store buffer size
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-16 Dan Carpenterbuf_size: return the size of &foo
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-15 Dan Carpenterbuf_size: add kmalloc_array() and sock_kmalloc()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-15 Dan Carpenterbuf_size: if the member size is not known then store...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-15 Dan CarpenterMerge branch 'buf_size' into devel
 commit | commitdiff | tree
2012-06-15 Dan CarpenterMerge git://git.kernel.org/pub/scm/devel/sparse/sparse...
commit | commitdiff | tree
2012-06-13 Dan Carpenterbuf_size: first get the size in bytes then convert...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-13 Dan Carpenterbuf_size: remove cast_ratio()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-13 Dan Carpenterbuf_size: fix bytes_per_element() for strings and arrays
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-13 Dan Carpenterbuf_size: delete some duplicate code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-13 Dan Carpenterbuf_size: prefer the declared array size
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-13 Dan Carpenterbuf_size: strcpy() only sets the size of the destination...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-13 Dan Carpenterbuf_size: ignore casts in get_array_size_bytes()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-13 Dan Carpenterbuf_size: create an elements_to_bytes() function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-13 Dan Carpenterbuf_size: separate bytes_per_element() into its own...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-13 Dan Carpenterbuf_size: using ->bit_size doesn't work for void pointers...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-13 Dan Carpenterbuf_size: use get_stored_size_bytes() directly
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-13 Dan Carpenterbuf_size: make get_stored_size_bytes() a separate function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-13 Dan Carpenterbuf_size: pull bytes_to_elements() in its own function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-13 Dan Carpenterbuf_size: calculate bytes per element better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-13 Dan Carpenterbuf_size: add a basic validation test
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-13 Dan Carpenterbuf_size: if the size is variable pick the larger one
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-12 Dan Carpenterbuf_size: move get_size_from_strlen() into it's own...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-12 Dan Carpenterbuf_size: pull get_size_from_initializer() into separate...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-12 Dan Carpenterbuf_size: move get_stored_size() out of get_array_size()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-12 Dan Carpenterbuf_size: pull handling of normal arrays into separate...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-12 Dan Carpenterbuf_size: move some functions around
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-12 Dan Carpenterbuf_size: add modification hooks
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-12 Dan Carpenterdebug: add a way to debug buffer sizes __smatch_buf_size()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-11 Dan CarpenterOr vs and: warn about bitwise ANDs that always give...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-11 Dan CarpenterOr vs and: if (foo & ZERO) is nonsense
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-11 Dan Carpenterfunction_hash: make it easier to handle a file with...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-06 Dan Carpentersigned: unbreak the check
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-04 Dan Carpenteroverflow: update validation test
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-04 Dan Carpenterflow: handle struct initialization better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-04 Dan Carpenterflow: handle EXPR_OFFSETOF and EXPR_ALIGNOF
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-06-04 Dan Carpenteroverflow: ignore "x = &foo[ARRAY_SIZE(foo)];"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-05-30 Dan Carpenteroverflow: white space cleanups
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-05-30 Dan Carpenterimplied: the base slist is not special
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-05-30 Dan Carpenterslist: change format for debug output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-05-30 Dan Carpenterexpressions: introduce some more expression allocation...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-05-29 Dan Carpentervalidation: update dereference check output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-05-29 Dan Carpenterimplied: certain states should be left as is
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-05-27 Dan Carpenterslist: put the sm_state itself into ->possible not...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-05-27 Dan Carpenterslist: cleanup merge_hooks API
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-05-27 Dan Carpenterextra: don't create a new merged estate if ->right...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-05-26 Dan Carpenterestates: reuse same estate for extra_undefined()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-05-26 Dan Carpenterconstraints: get rid of add_equiv()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-05-26 Dan Carpenterconstraints: remove some dead code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-05-26 Dan Carpenterconstraints: fix set_equiv()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-05-26 Dan Carpenterconstraints: add_related() should take a related_list...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-05-26 Dan Carpenterconstraints: sort the ->related list properly
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-05-26 Dan Carpenterconstraints: replace get_common_relationship() with...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-05-26 Dan Carpenterslist: move add_pool() to smatch_implied
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-05-24 Dan Carpenterbit_shift: add test_bit() function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-05-23 Dan Carpenterflow: silence false positives caused by hairy functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-05-22 Dan Carpenterimplied: rename ->my_pool to ->pool
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-05-22 Dan Carpenterslist: rename add_possible() => copy_possibles()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-05-22 Dan Carpenteror_vs_and: ignore *p++ || *p++
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-05-22 Dan Carpentertracker: fix a small memory leak
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-05-22 Dan Carpentermodification: remove calls to delete_state()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-05-22 Dan Carpentercheck_dereference: enable this
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
next
Static analysis for C