?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
proc_create: fix a whitespace issue
2012-09-14 Dan Carpenterproc_create: fix a whitespace issue
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-09-11 Dan Carpenterbuf_size, db: if a struct member size is set in the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-09-09 Dan Carpentercheck_kernel: fix ERR_PTR() false positives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-08-16 Dan Carpenterlogical_instead_of_bitwise: foo = (1 << x) && y; is...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-08-15 Dan Carpenterlocking: _bh lock functions are nestable
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-08-14 Dan Carpenterextra: introduce filter_range_list()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-08-14 Dan Carpenterkernel: handle IS_ERR() properly
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-08-14 Dan Carpenterdb_info: remove unused print
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-08-14 Dan Carpenterextra, function_hooks, db: change cross function analysis...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-08-14 Dan Carpenterdb: remove the return_info table
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-08-14 Dan Carpentersmatch_data: update the data director to the latest...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-08-14 Dan Carpenterdb: caller_info: fix more fall out
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-08-14 Dan Carpenterdb: type_size: silence a perl warning
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-08-14 Dan Carpenterdb: caller_info: update fixup_kernel.sh to the new...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-08-14 Dan Carpenterextra: get_implied_range_list() should return 0 if...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-08-14 Dan Carpenteruser_data: use the new return_states database table
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-08-14 Dan Carpenteruser_data: syscalls are a source of user data
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-08-14 Dan Carpenteruser_data: if "ptr" is user data then "*ptr" is user...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-08-14 Dan Carpenteruser_data: add is_user_macro() stub
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
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
next
Static analysis for C