| 2013-03-25 |
Dan Carpenter | sval: introduce sval_is_negative_min()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-25 |
Dan Carpenter | sval: fix sval_binop_overflows() to accept different...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-25 |
Dan Carpenter | introduce smatch_annotate.c: annotate some common functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-25 |
Dan Carpenter | db: give up if there are over 1000 returned states
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-25 |
Dan Carpenter | db: fix slow down caused by recursive function calls
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-21 |
Dan Carpenter | buf_size: false positive from large "implied" implied...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-21 |
Dan Carpenter | helper: fix expr_to_str() for function calls
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-21 |
Dan Carpenter | db: remove more user data from start_xmit
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-21 |
Dan Carpenter | db: manually delete some USER_DATA markers from the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-18 |
Dan Carpenter | extra: move vanilla assigns into their own function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-15 |
Dan Carpenter | ranges: in cast_rl() sometimes it's better to just...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-15 |
Dan Carpenter | extra: type bug handling asm expressions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-15 |
Dan Carpenter | db: fix bug handling ':' character
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-15 |
Dan Carpenter | math: Use function call information
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-15 |
Dan Carpenter | flow: handle POST_OPs correctly
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-15 |
Dan Carpenter | buf_size: handle dma_alloc_attrs()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-15 |
Dan Carpenter | extra: type bug handling for loops
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-15 |
Dan Carpenter | math: fix a couple type bugs
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-15 |
Dan Carpenter | locking: fix build problem
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-15 |
Dan Carpenter | user_data: the pointer returned from container_of(...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-14 |
Dan Carpenter | db: update a debug message
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-14 |
Dan Carpenter | db: change the file searched for static functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-14 |
Dan Carpenter | flow: fix a debug statement
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-14 |
Dan Carpenter | flow: save and restore the big_expression_stack when...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-14 |
Dan Carpenter | conditions: fix small signedness bug in compares
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-12 |
Dan Carpenter | locking: ignore parenthesis
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-12 |
Dan Carpenter | stack: turn off by default, and less spammy always
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-12 |
Dan Carpenter | signed: don't warn about assignments to boolean
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-12 |
Dan Carpenter | local_values: not all the set values make it to the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-12 |
Dan Carpenter | sizeof_param: ignore strncat(a, b, sizeof(b));
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-12 |
Dan Carpenter | kernel: handle __ftrace_bad_type()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-12 |
Dan Carpenter | kernel: handle find_next_bit()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-12 |
Dan Carpenter | db_info: save return values in in-memory database
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-08 |
Dan Carpenter | check_kernel: preserve ERR_PTR values passed to IS_ERR_OR_NULL()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-08 |
Dan Carpenter | check_kernel: rename nonnull to valid_ptr
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-08 |
Dan Carpenter | Revert "kernel: remove some unneeded code"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-08 |
Dan Carpenter | sizeof_param: fix false positives with strlcpy
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-07 |
Dan Carpenter | compare: handle some assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-06 |
Dan Carpenter | extra: shuffle match_assign a bit
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-06 |
Dan Carpenter | extra: only get the types one time in match_assign
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-06 |
Dan Carpenter | function_ptr: move get_fnptr_name() to smatch_function_ptr.c
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-06 |
Dan Carpenter | db: fixup_kernel.sh: discard caller_info from ->notifier_call
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-06 |
Dan Carpenter | db: fixup_kernel.sh: only track the main read/write...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-06 |
Dan Carpenter | user_data: track user data across assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-06 |
Dan Carpenter | smatch_capped: get_implied_max() does not implied capped
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-06 |
Dan Carpenter | buf_size: export get_real_array_size()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-06 |
Dan Carpenter | extra: handle MOD_ASSIGN better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-06 |
Dan Carpenter | db: don't print information caller information for...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-06 |
Dan Carpenter | function_ptrs: track parameters as well
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-06 |
Dan Carpenter | function_ptrs: separate into its own file
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-01 |
Dan Carpenter | data: add snprintf to kernel.sizeof_param.remove
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-28 |
Dan Carpenter | buf_size: fix a NULL dereference
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-28 |
Dan Carpenter | kernel: remove some unneeded code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-26 |
Dan Carpenter | buf_size: handle empty arrays on the end of structs
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-26 |
Dan Carpenter | buf_size: remove some dead code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-26 |
Dan Carpenter | local_values: store possible values of static data
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-26 |
Dan Carpenter | flow: more inline fall out
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-22 |
Dan Carpenter | db: export mem_sql() so checks can use it
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-22 |
Dan Carpenter | no_return: another problem with inline functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-22 |
Dan Carpenter | ranges: fix casting of invalid range lists
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-22 |
Dan Carpenter | extra, function_hooks: fix handling of casted function...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-21 |
Dan Carpenter | Revert "db: don't create unused tables in the in-memory...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-21 |
Dan Carpenter | db: don't use function pointers for caller info on...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-21 |
Dan Carpenter | db: use "distinct" to avoid duplicate function pointers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-21 |
Dan Carpenter | db: load global function pointers into the db properly
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-21 |
Dan Carpenter | db: remove duplicate struct pointers to functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-21 |
Dan Carpenter | db: fix call_implies for the in-memory database
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-21 |
Dan Carpenter | db, function_hooks: query the db after processing the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-21 |
Dan Carpenter | db: store the value of "x" when you call frob(&x);
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-21 |
Dan Carpenter | db: pass pointed at values to called functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-21 |
Dan Carpenter | db: reset the in-memory database after every function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-21 |
Dan Carpenter | db: add some debug statements for inserts into the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-21 |
Dan Carpenter | db: use call_id for the in-memory database
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-21 |
Dan Carpenter | db: add call_id to call_implies, return_states and...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-21 |
Dan Carpenter | db: rename function_id in the caller_info table to...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-21 |
Dan Carpenter | db: don't create unused tables in the in-memory database
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-21 |
Dan Carpenter | db: don't print caller info for __builtin functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-21 |
Dan Carpenter | db: use correct variable in mem_sql()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-20 |
Dan Carpenter | extra: improve unsigned comparisons
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-20 |
Dan Carpenter | ranges: don't do unneeded allocations in cast_rl()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-20 |
Dan Carpenter | ranges: introduce rl_type()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-20 |
Dan Carpenter | db: use in-memory database
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-20 |
Dan Carpenter | db: move an option_no_db check to run_sql()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-20 |
Dan Carpenter | flow, db: rename should_inline() to inlinable() and...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-20 |
Dan Carpenter | returns: add a check for __inline_fn
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-20 |
Dan Carpenter | db, flow: make __inline_fn a pointer to the function...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-19 |
Dan Carpenter | db: SQL formatting bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-19 |
Dan Carpenter | db: save caller_info for inline function properly
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-19 |
Dan Carpenter | db: silence a compile warning on 32 bit (use %zd for...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-19 |
Dan Carpenter | db: introduce sql_select_call_implies()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-19 |
Dan Carpenter | db: only allow functions to be saved to one function...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-19 |
Dan Carpenter | db: introduce sql_select_caller_info()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-19 |
Dan Carpenter | db: introduce sql_select_return_values
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-19 |
Dan Carpenter | db: introduce sql_select_return_states()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-18 |
Dan Carpenter | ranges: fix "trouble parsing empty" messages
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-18 |
Dan Carpenter | param_limit, param_filter: silence some debug output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-18 |
Dan Carpenter | smatch: fix sm_debug() to always print
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-18 |
Dan Carpenter | db, flow: parse inline statements, load stuff into...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-18 |
Dan Carpenter | states: introduce helper functions to preserve and...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-16 |
Dan Carpenter | validation: fix bogus tests so they don't cause segfaults
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
