| 2014-01-28 |
Dan Carpenter | flow: add a STMT_HOOK_AFTER hook
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-24 |
Dan Carpenter | debug: add __smatch_about(var) to print what smatch...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-23 |
Dan Carpenter | common_functions: add special handling of sprintf(...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-23 |
Dan Carpenter | string_len: export get_formatted_string_size()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-23 |
Dan Carpenter | function_hooks, struct_assignment, extra, db: don't...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-23 |
Dan Carpenter | struct_assignment: add a comment explaining what the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-23 |
Dan Carpenter | modification_hooks: add a comment explaining what the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-23 |
Dan Carpenter | modification_hooks: rely on the database more when...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-23 |
Dan Carpenter | user_data: serious bug in handling modifications (missed...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-23 |
Dan Carpenter | user_data: cleanup: remove special handling of macro...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-23 |
Dan Carpenter | user_data, db: remove some false tagging as "user_data...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-21 |
Dan Carpenter | struct_assignment: move and improve handling smatch_data...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-21 |
Dan Carpenter | flow, struct_assignment, clear_buffer: improve how...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-21 |
Dan Carpenter | flow: struct_assignments: turn this code on
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-21 |
Dan Carpenter | helper: taking the address is not a complicated variable
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-21 |
Dan Carpenter | helper: NULL dereference in get_member_name()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-21 |
Dan Carpenter | extra: don't save whole ranges in the database
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-21 |
Dan Carpenter | db: add semi-colons to SQL statements
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-21 |
Dan Carpenter | unknown_value: make it a function call instead of a...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-21 |
Dan Carpenter | user_data: shift code for assignments around a bit
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-21 |
Dan Carpenter | leaks: check kmemdup() leaks
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-21 |
Dan Carpenter | deref: dereferencing uninitialized warnings should...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-21 |
Dan Carpenter | db/function_ptr.schema: add an index as a speed up
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-13 |
Dan Carpenter | struct_assignment: move memset() handling to struct_assignment
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-13 |
Dan Carpenter | struct_assignment: handle struct assignments to better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-10 |
Dan Carpenter | flow: global structs without an initializer are initialized...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-10 |
Dan Carpenter | helper: introduce get_param_num()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-06 |
Dan Carpenter | dma_on_stack: ignore arrays which are a parameter
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-12-20 |
Dan Carpenter | smdb.py: improvements to `smdb.py buf_size` and `smdb...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-12-20 |
Dan Carpenter | flow: hide a bunch of the unreachable warnings under...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-12-20 |
Dan Carpenter | kernel.silenced_functions: add some more "asm goto...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-12-20 |
Dan Carpenter | extra: assume indexes are in bounds
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-12-19 |
Dan Carpenter | flow: 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 Carpenter | buf_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 Carpenter | strlen: remove some blank lines
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-12-19 |
Dan Carpenter | unreachable code: don't warn about unreachable break...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-12-19 |
Dan Carpenter | unreachable code: don't warn about empty statements
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-12-19 |
Dan Carpenter | debug: introduce __smatch_buf_size_rl() which is more...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-12-19 |
Dan Carpenter | debug: add __smatch_member_name()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-12-19 |
Dan Carpenter | kernel, db: add hweight() functions to the database
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-12-19 |
Dan Carpenter | kernel, 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 Carpenter | introduce: 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 Carpenter | common_functions.c: handle strlen() and strnlen() better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-12-17 |
Dan Carpenter | access_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 Carpenter | check_debug: fix crashing bug on printing non-existant...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-12-11 |
Dan Carpenter | buf_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 Carpenter | buf_size: ignore unknown array sizes better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-12-11 |
Dan Carpenter | strlen: record string lengths across function calls
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-12-06 |
Dan Carpenter | strlen: record assigned strings
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-12-06 |
Dan Carpenter | strlen: add a comment and rename some things
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-12-06 |
Dan Carpenter | strlen: handle string literals
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-12-06 |
Dan Carpenter | debug: introduce __smatch_strlen()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-12-06 |
Dan Carpenter | strlen: introduce get_implied_strlen()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-12-06 |
Dan Carpenter | math: revert accidentally committed code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-12-06 |
Dan Carpenter | buf_size: read a range_list from the database
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-12-06 |
Dan Carpenter | buf_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 Carpenter | buf_size: make size_from_db() work again
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-12-06 |
Dan Carpenter | buf_size, strlen: separate buf_size and strlen into...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-12-06 |
Dan Carpenter | overflow: use fuzzy_max to warn about array overflows
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-12-06 |
Dan Carpenter | math: fix get_fuzzy_min/max()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-12-06 |
Dan Carpenter | buf_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 Carpenter | buf_size: handle places that dynamically alocate sometimes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-11-29 |
Dan Carpenter | flow: introduce __in_function_def
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-11-29 |
Dan Carpenter | extra, math: rework how fuzzy max is handled
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-11-29 |
Dan Carpenter | buf_size: handle devm_kmalloc() allocations.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-11-28 |
Dan Carpenter | kernel.ignored_macros: add RT_ASSERT and SKD_ASSERT
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-11-28 |
Dan Carpenter | smdb: improve "where" output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-11-28 |
Dan Carpenter | ranges: introduce rl_has_sval()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-11-28 |
Dan Carpenter | helper: work around crashing bug in get_member_name()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-11-28 |
Dan Carpenter | local_values: pull code in one indent
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-11-22 |
Dan Carpenter | check_signed: ignore things with negative number of...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-11-22 |
Dan Carpenter | flow: 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 Carpenter | modification_hooks: delete a blank line
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-11-22 |
Dan Carpenter | recurse: introduce has_inc_dec()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-11-22 |
Dan Carpenter | type_val: fix a build warning
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-11-22 |
Dan Carpenter | type_val: actually run the code...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-11-22 |
Dan Carpenter | smatch: a couple crashing bugs on invalid code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-11-21 |
Dan Carpenter | allow char to be unsigned
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-11-21 |
Dan Carpenter | helper: improve is_error_return()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-11-21 |
Dan Carpenter | type_val: introduce storing struct member limits
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-11-21 |
Dan Carpenter | data_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 Carpenter | db: 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 Carpenter | db: preserve unmerged states in the ->possible better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-11-21 |
Dan Carpenter | db: group function pointer return states together
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-11-21 |
Dan Carpenter | db: order the return_states
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-11-20 |
Dan Carpenter | db: fixup_kernel.sh: ignore timer_list functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-11-20 |
Dan Carpenter | db: fixup_kernel.sh: remove some USER_DATA calls
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-11-20 |
Dan Carpenter | db: improve database debugging
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-11-14 |
Dan Carpenter | smatch.h: shift some struct members around
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-10-25 |
Dan Carpenter | flow: clear_buffer: revert part of commit that uses...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-10-11 |
Dan Carpenter | flow: re-write how struct members are initialized
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-10-11 |
Dan Carpenter | smatch_clear_buffer: memcpy() should set the destination...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-10-11 |
Dan Carpenter | smatch_clear_buffer: make a function static
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-10-11 |
Dan Carpenter | smatch_data/kernel.clears_argument: remove memset()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-10-08 |
Dan Carpenter | flow: introduce outside_of_function() to fix global...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-09-17 |
Dan Carpenter | db: kernel: ignore i40e_dbg_netdev_ops_write()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
