| 2015-02-12 |
Dan Carpenter | kernel_printf: allow '\b' if it's the first character...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-02-12 |
Dan Carpenter | validation/sm_rosenberg.c: don't pass an uninitialized...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-02-12 |
Dan Carpenter | kernel_printf: add some more quotes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-02-12 |
Dan Carpenter | kernel_printf: move a warning under the --spammy flag
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-02-12 |
Dan Carpenter | kernel_printf: add some quotes around the function...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-02-12 |
Dan Carpenter | kerne_printf: '%pb' is valid
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-02-11 |
Dan Carpenter | wrong_size_arg: warn about "if (memcmp(foo, bar, sizeof...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-30 |
Dan Carpenter | struct_assignment: remove a blank line
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-30 |
Dan Carpenter | sval: handle LEFTSHIFTs in sval_binop_overflows()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-30 |
Dan Carpenter | sval: cast the result in sval_binop()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-30 |
Dan Carpenter | type_val: update to handle PARAM_SET from the db
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-30 |
Dan Carpenter | type_val: ignore kmalloc()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-30 |
Dan Carpenter | type_val: ignore all the "for_each" macros
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-30 |
Dan Carpenter | user_data2: remove some debug code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-29 |
Dan Carpenter | helper: introduce invert_op()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-22 |
Dan Carpenter | ranges: break the range list parsing into a separate...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-22 |
Dan Carpenter | ranges: prepare to change a string to an estate instead...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-22 |
Dan Carpenter | modification_hooks: add PARAM_SET
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-21 |
Dan Carpenter | param_cleared: clearing a member is not clearing a...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-21 |
Dan Carpenter | type_val: ignore fake member assignments from uncasted...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-19 |
Dan Carpenter | type_value: list_entry is safe as well
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-19 |
Dan Carpenter | db: use saved return estate instead of searching the db
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-19 |
Dan Carpenter | debug: introduce __smatch_known()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-19 |
Dan Carpenter | db, extra: use PARAM_SET if the parameter is totally...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-15 |
Dan Carpenter | frees_param: modify means it's not freed anymore
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-15 |
Dan Carpenter | slist: fix "stack not empty" errors
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-12 |
Dan Carpenter | silence: add __read_once_size() to kernel.silenced_functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-09 |
Dan Carpenter | comparison: handle preops like "if (++a == b)"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-09 |
Dan Carpenter | flow: don't inline functions which are over 20 lines...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-09 |
Dan Carpenter | function_ptrs: handle SYN_NODE
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-09 |
Dan Carpenter | helper: improve get_member_name()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-09 |
Dan Carpenter | user_data2: start re-write of user_data (not used yet)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-09 |
Dan Carpenter | math: introduce custom_get_absolute_rl()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-09 |
Dan Carpenter | db: improve mem-db debugging
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-09 |
Dan Carpenter | db: member_info callback should pass the sm_state instead...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-09 |
Dan Carpenter | smatch.h: silence some compile warnings
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-09 |
Dan Carpenter | free: bring back the double free warnings
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-09 |
Dan Carpenter | extra, filter: FILTER_VALUE is not a modification action
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-09 |
Dan Carpenter | param_filter: total re-write with bugfixes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-09 |
Dan Carpenter | extra: improve parent_is_null_var_sym()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-09 |
Dan Carpenter | db, function_hooks: cull impossible paths on function...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-09 |
Dan Carpenter | extra: handle code like foo = &bar->x.y.z; foo->a = 1;
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-09 |
Dan Carpenter | hooks: allocating 1 too much
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-09 |
Dan Carpenter | math: fix OR handling
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-09 |
Dan Carpenter | ranges: apply range limit together with call math
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-09 |
Dan Carpenter | type_val: add a blank line
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-09 |
Dan Carpenter | validation: silence some uninitialized variable warnings
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-09 |
Dan Carpenter | type_val: ignore container_of() assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-09 |
Dan Carpenter | db, fixup_kernel: ignore __kernel_write()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-09 |
Dan Carpenter | db, fixup_kernel: add get_user_pages()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-09 |
Dan Carpenter | fixup_kernel: fix type of __fswab32
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-09 |
Dan Carpenter | common_functions: tweak strlen() so it doesn't go all...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-09 |
Dan Carpenter | helper: introduce expr_to_sym()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-09 |
Dan Carpenter | math: speed up, and fix recent OOM bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-08 |
Dan Carpenter | hooks: introduce a pre_merge hook (similar to a merge...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-08 |
Dan Carpenter | param_filter: ignore ghost states
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-08 |
Dan Carpenter | param_limit: re-write completely to make it simpler
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-07 |
Dan Carpenter | math: don't divide or MOD by zero
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-07 |
Dan Carpenter | db: it's not a condition return if we know it's true
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-07 |
Dan Carpenter | math: handle lists of numbers binopped together better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-01-05 |
Dan Carpenter | db: fix bad bug in return split_success_fail()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-23 |
Dan Carpenter | validation: update to current pointer ranges 0,4096...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-23 |
Dan Carpenter | helper: || vs && typo leads to segfault in is_array()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-23 |
Dan Carpenter | math: fix bug in bitwise AND
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-23 |
Dan Carpenter | impossible: add the second register to check_list.h
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-23 |
Dan Carpenter | db: split success/fail returns as best we can
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-23 |
Dan Carpenter | math: handle bitwise AND better (fix upper limit)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-22 |
Dan Carpenter | flow: don't treat "x += foo();" as a function assignment
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-18 |
Dan Carpenter | deref: don't print warnings on impossible paths
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-17 |
Dan Carpenter | debug: segfault using the --trace parameter
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-17 |
Dan Carpenter | core: improve is_array() and get_array_base()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-15 |
Dan Carpenter | debug: add --trace=variable_name option
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-15 |
Dan Carpenter | helper: change "&*foo" to "foo" at the lowest levels
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-15 |
Dan Carpenter | db, impossible: cull impossible paths
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-15 |
Dan Carpenter | math: use correct type
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-15 |
Dan Carpenter | param_cleared: handle array assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-15 |
Dan Carpenter | recurse: fix has_variable()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-15 |
Dan Carpenter | type: improve type_to_str() to handle SYM_NODE
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-15 |
Dan Carpenter | type: handle SYM_NODE better in get_pointer_type()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-15 |
Dan Carpenter | math: introduce can_integer_overflow()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-15 |
Dan Carpenter | sval: type promote to int if the types are too small
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-15 |
Dan Carpenter | sval: default to int type if the type is unknown
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-10 |
Dan Carpenter | fixup_kernel.sh: allow larger values in rw_verify_area()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-10 |
Dan Carpenter | ranges: cast to the correct type in possibly_true/false()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-10 |
Dan Carpenter | param_limit: don't print the limit if it's the same...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-09 |
Dan Carpenter | fixup_kernel.sh: using LIMIT_VALUE instead of FILTER_VALUE
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-09 |
Dan Carpenter | param_limit: add comments and clarifications
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-09 |
Dan Carpenter | type: pointers are unsigned
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-08 |
Dan Carpenter | helper: in strip_expr() "*&foo" is basically the same...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-08 |
Dan Carpenter | impossible: introduce is_impossible_path() to say if...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-08 |
Dan Carpenter | function_hooks: remove impossible return states
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-08 |
Dan Carpenter | function_hooks: improve how function assignments are...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-05 |
Dan Carpenter | type_links: add it to check_list.h
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-04 |
Dan Carpenter | db: use stripped expressions in get_variable_from_key()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-03 |
Dan Carpenter | conditions: handle comma condtions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-03 |
Dan Carpenter | smdb.py: add TYPE_LINK and UNTRACKED_DATA
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-03 |
Dan Carpenter | function_hooks,db: merge call_implies and return_states...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-03 |
Dan Carpenter | function_hooks,db: calculate the return range based...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-02 |
Dan Carpenter | buf_size: update to reflect new code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-02 |
Dan Carpenter | validation: remove sm_redundant_check.c because we...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
