?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
kernel.silenced_functions: add some more "asm goto" functions
2013-12-20 Dan Carpenterkernel.silenced_functions: add some more "asm goto...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-12-20 Dan Carpenterextra: assume indexes are in bounds
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-12-19 Dan Carpenterflow: fix struct initialization bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-12-19 Dan Carpenter*new* check_array_condition.c: arrays can't be NULL
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-12-19 Dan Carpenterbuf_size: store ranges in the database instead of single...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-12-19 Dan Carpenterstrlen: remove some blank lines
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-12-19 Dan Carpenterunreachable code: don't warn about unreachable break...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-12-19 Dan Carpenterunreachable code: don't warn about empty statements
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-12-19 Dan Carpenterdebug: introduce __smatch_buf_size_rl() which is more...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-12-19 Dan Carpenterdebug: add __smatch_member_name()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-12-19 Dan Carpenterkernel, db: add hweight() functions to the database
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-12-19 Dan Carpenterkernel, db: consider x = htonl(10) and x = 10 equivalent.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-12-19 Dan Carpenterintroduce: smatch_data/kernel.no_inline_functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-12-18 Dan Carpenter*new* add smatch_data/kernel.silenced_functions to...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-12-17 Dan Carpentercommon_functions.c: handle strlen() and strnlen() better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-12-17 Dan Carpenteraccess_ok_math: restrict this check to --spammy output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-12-17 Dan Carpenter*new* check_cast_assign.c: check casting a smaller...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-12-13 Dan Carpentercheck_debug: fix crashing bug on printing non-existant...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-12-11 Dan Carpenterbuf_size: buffer allocations in the same file are not...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-12-11 Dan Carpenterbuf_size: ignore unknown array sizes better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-12-11 Dan Carpenterstrlen: record string lengths across function calls
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-12-06 Dan Carpenterstrlen: record assigned strings
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-12-06 Dan Carpenterstrlen: add a comment and rename some things
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-12-06 Dan Carpenterstrlen: handle string literals
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-12-06 Dan Carpenterdebug: introduce __smatch_strlen()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-12-06 Dan Carpenterstrlen: introduce get_implied_strlen()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-12-06 Dan Carpentermath: revert accidentally committed code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-12-06 Dan Carpenterbuf_size: read a range_list from the database
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-12-06 Dan Carpenterbuf_size: store type_size in two tables the same as...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-12-06 Dan Carpenterbuf_size: make size_from_db() work again
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-12-06 Dan Carpenterbuf_size, strlen: separate buf_size and strlen into...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-12-06 Dan Carpenteroverflow: use fuzzy_max to warn about array overflows
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-12-06 Dan Carpentermath: fix get_fuzzy_min/max()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-12-06 Dan Carpenterbuf_size: represent buffer size as a range list instead...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-11-29 Dan Carpenterbuf_size: handle places that dynamically alocate sometimes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-11-29 Dan Carpenterflow: introduce __in_function_def
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-11-29 Dan Carpenterextra, math: rework how fuzzy max is handled
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-11-29 Dan Carpenterbuf_size: handle devm_kmalloc() allocations.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-11-28 Dan Carpenterkernel.ignored_macros: add RT_ASSERT and SKD_ASSERT
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-11-28 Dan Carpentersmdb: improve "where" output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-11-28 Dan Carpenterranges: introduce rl_has_sval()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-11-28 Dan Carpenterhelper: work around crashing bug in get_member_name()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-11-28 Dan Carpenterlocal_values: pull code in one indent
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-11-22 Dan Carpentercheck_signed: ignore things with negative number of...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-11-22 Dan Carpenterflow: ignore structs and unions in set_unset_to_zero...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-11-22 Dan Carpentermodification_hooks: delete a blank line
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-11-22 Dan Carpenterrecurse: introduce has_inc_dec()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-11-22 Dan Carpentertype_val: fix a build warning
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-11-22 Dan Carpentertype_val: actually run the code...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-11-22 Dan Carpentersmatch: a couple crashing bugs on invalid code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-11-21 Dan Carpenterallow char to be unsigned
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-11-21 Dan Carpenterhelper: improve is_error_return()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-11-21 Dan Carpentertype_val: introduce storing struct member limits
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-11-21 Dan Carpenterdata_source: load where data comes from into the database
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-11-21 Dan Carpenter.gitignore: ignore bak.smatch
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-11-21 Dan Carpenterdb: fixup_kernel.sh: say that we only have 64 CPUs
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-11-21 Dan Carpenterdb: preserve unmerged states in the ->possible better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-11-21 Dan Carpenterdb: group function pointer return states together
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-11-21 Dan Carpenterdb: order the return_states
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-11-20 Dan Carpenterdb: fixup_kernel.sh: ignore timer_list functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-11-20 Dan Carpenterdb: fixup_kernel.sh: remove some USER_DATA calls
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-11-20 Dan Carpenterdb: improve database debugging
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-11-14 Dan Carpentersmatch.h: shift some struct members around
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-10-25 Dan Carpenterflow: clear_buffer: revert part of commit that uses...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-10-11 Dan Carpenterflow: re-write how struct members are initialized
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-10-11 Dan Carpentersmatch_clear_buffer: memcpy() should set the destination...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-10-11 Dan Carpentersmatch_clear_buffer: make a function static
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-10-11 Dan Carpentersmatch_data/kernel.clears_argument: remove memset()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-10-08 Dan Carpenterflow: introduce outside_of_function() to fix global...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-09-17 Dan Carpenterdb: kernel: ignore i40e_dbg_netdev_ops_write()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-09-16 Dan Carpenterflow: set members to zero by default
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-09-16 Dan Carpenterdb, extra, user_data: handle: *x = 1; return x;"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-09-16 Dan Carpenteruser_data: remove kmemdup_user()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-09-16 Dan Carpenteruser_data: make a function static
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-09-16 Dan Carpentercontainer_of: people checking the return value of nla_data...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-09-12 Dan Carpenterhelper: fix crashing bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-09-10 Dan Carpenteruser_data: make a function static
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-09-05 Dan Carpentermath: export get_const_value()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-09-05 Dan Carpentermath: handle bitwise OR
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-09-05 Dan Carpentermath: handle LEFT_SHIFT (a << b)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-09-05 Dan Carpentermath: remove an impossible condition
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-09-04 Dan CarpenterFix --no-data so it doesn't spew database errors
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-08-15 Dan Carpenterextra: fix a crash parsing invalid code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-08-15 Dan Carpentersizeof: fix typo in error message
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-08-15 Dan Carpentersizeof: complain if code does sizeof(4)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-08-15 Dan Carpentertype: let get_real_base_type() take NULL parameters
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-07-18 Dan Carpenterdb: rename add_returned_state_callback() => add_split_return...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-07-16 Dan Carpenterrosenberg info leaks: check __copy_to_user()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-07-16 Dan Carpenterrosenberg info leaks: use PARAM_CLEARED data from the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-07-16 Dan Carpenterrosenberg info leaks: use stripped data from copy_to_user()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-07-16 Dan Carpenterrosenberg info leaks: make check_members_initialized...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-07-16 Dan Carpenterextra: handle "if (a & 0x1)" conditions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-07-16 Dan Carpenterflow: fake assigns better for nested structs and array...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-07-16 Dan Carpenterhelper: get_member_name() could store unions (sort of)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-07-15 Dan Carpenteruser_data: fix crashing bug...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-07-15 Dan Carpentermath: improve how casts are handled
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-07-15 Dan Carpentermath: introduce get_absolute_rl()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-07-15 Dan Carpentermath: improve how bitwise ANDs are handled
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-07-15 Dan Carpenterkernel data/: update to recent linux-next (3.11-rc1...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-07-15 Dan Carpenterdb: declare strnlen() as returning "0-s32max[<=p1]"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
next
Static analysis for C