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 |
2014-12-01 |
Dan Carpenter | core: introduce &ghost state Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2014-12-01 |
Dan Carpenter | locking: add _raw_write_lock() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2014-12-01 |
Dan Carpenter | flow: handle if (unlikely(1)) { Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2014-12-01 |
Dan Carpenter | untracked_param: add a call back for when we lose track... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2014-12-01 |
Dan Carpenter | flow: fix how CALL_HOOK_AFTER is called Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2014-11-26 |
Dan Carpenter | db, fixup_kernel.sh: annotate ksize() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2014-11-26 |
Dan Carpenter | locking: add _raw_write_unlock() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2014-11-25 |
Dan Carpenter | user_data: tag more functions as syscalls Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2014-11-25 |
Dan Carpenter | db: create a clear_user_data.sh script Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2014-11-25 |
Dan Carpenter | smatch: make the --no-db option work Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2014-11-25 |
Dan Carpenter | flow: 7777777777 was too long Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2014-11-25 |
Dan Carpenter | signed: fix some "0 can't fit into 9223372036854775807... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2014-11-25 |
Dan Carpenter | free: use expr_to_var() instead of expr_to_var_sym... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2014-11-25 |
Dan Carpenter | db: change format from "$$->foo" to "$->foo" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2014-11-24 |
Dan Carpenter | db: pass "INTERNAL" to caller_info callbacks Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2014-11-24 |
Dan Carpenter | db: cleanup caller_info_callback() a little Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2014-11-24 |
Dan Carpenter | db: boost the allowable return_states count to 3000... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2014-11-24 |
Dan Carpenter | type_val: improve the type/value information in the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2014-11-24 |
Dan Carpenter | buf_size, db: don't store redundant information Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2014-11-24 |
Dan Carpenter | buf_size: given and array and an offset then return... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2014-11-24 |
Dan Carpenter | function_ptr: handle get_from__symbol_get() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2014-11-24 |
Dan Carpenter | function_ptr: tweak how (*(foo->bar))() is handled Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2014-11-24 |
Dan Carpenter | flow: handle comma assigns correctly. "foo = (3, 4);" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2014-11-24 |
Dan Carpenter | hooks: add a FUNCTION_CALL_HOOK_AFTER hook Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2014-11-24 |
Dan Carpenter | sval: update sval_is_a_max() to handle the new valid... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2014-11-24 |
Dan Carpenter | core: make the valid pointer range 4096-7777777777 Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2014-11-24 |
Dan Carpenter | delete the check_redundant_null_check.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |