| 2015-12-22 |
Dan Carpenter | debug: add __smatch_real_absolute()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-12-21 |
Dan Carpenter | smdb.py: add trace_param feature
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-12-21 |
Dan Carpenter | smdb.py: add CULL_PATH type
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-12-21 |
Dan Carpenter | smdb.py: add call_tree to help output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-12-21 |
Dan Carpenter | data_source: don't print wrong sources
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-12-17 |
Dan Carpenter | data_source: follow parameters better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-12-17 |
Dan Carpenter | estate: clear unset struct members in clone_dinfo_perm()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-12-17 |
Dan Carpenter | flow: fix some issues with too hairy functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-12-17 |
Dan Carpenter | struct_assignment: handle sscanf
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-12-04 |
Dan Carpenter | ranges: export sval_fls_mask() and fls_mask()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-12-04 |
Dan Carpenter | implied: remove left_right variable
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-12-03 |
Dan Carpenter | implied: do type promotion earlier
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-12-02 |
Dan Carpenter | implied: rename "ranges" to "rl"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-12-02 |
Dan Carpenter | implied: rename "vals" to "rl"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-12-02 |
Dan Carpenter | implied: rename lr to left_right
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-12-02 |
Dan Carpenter | implied: use "sm" as the default name for sm_states
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-12-01 |
Dan Carpenter | implied: remove the --no-implied option
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-12-01 |
Dan Carpenter | flow: commit the rest of the ranged case patch
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-12-01 |
Dan Carpenter | smatch: remove --known_conditions option
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-12-01 |
Dan Carpenter | msg: print sm_msg() if local_debug is on
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-12-01 |
Dan Carpenter | comparison: fix an implication bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-11-30 |
Dan Carpenter | flow: handle ranged case statements
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-11-30 |
Dan Carpenter | function_hooks: impossible: don't set both sides to...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-11-27 |
Dan Carpenter | unreachable: ignore a couple new macros
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-11-24 |
Dan Carpenter | string_list: accept const strings and NULL pointers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-11-19 |
Dan Carpenter | validation: update some tests
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-11-19 |
Dan Carpenter | comparison: remove bogus NULL check
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-11-19 |
Dan Carpenter | smatch_estate: fix clone_estate_cast()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-11-19 |
Dan Carpenter | *new* impossible_mask: complain if people do "if (...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-11-17 |
Dan Carpenter | extra: fix get_user() handling
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-11-17 |
Dan Carpenter | equiv: mark variables as equiv even when their types...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-11-17 |
Dan Carpenter | *new* real_absolute: give a more accurate absolute...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-11-12 |
Dan Carpenter | ranges: doing division was sometimes corrupting memory
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-11-11 |
Dan Carpenter | helper: clear *sym in expr_to_chunk_helper()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-11-11 |
Dan Carpenter | implied: small speed up
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-11-11 |
Dan Carpenter | implied: mark some function parameters as const
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-11-11 |
Dan Carpenter | local_values: speed up, by ignoring array values
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-11-11 |
Dan Carpenter | math: handle strlen() of known strings
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-11-11 |
Dan Carpenter | user_data2: fix crashing bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-11-10 |
Dan Carpenter | math: move to using rl_binop for XOR
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-11-05 |
Dan Carpenter | extra: modifications inside WARN_ON() macros should...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-11-05 |
Dan Carpenter | bufsize,strlen: move strcpy(),strlcpy() and strlcat...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-11-05 |
Dan Carpenter | double_checking: disable some false positives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-11-05 |
Dan Carpenter | double_checking: remove debug output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-11-05 |
Dan Carpenter | ranges: make rl_binop() handle XOR operations
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-11-05 |
Dan Carpenter | check_deref: ignore static variables
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-11-05 |
Dan Carpenter | db/reload_partial: delete old data correctly
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-11-05 |
Dan Carpenter | db/fixup_kernel.sh: annotate sysfs functions a bit
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-11-05 |
Dan Carpenter | db/fixup_kernel.sh: ignore most __vfs_read() callers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-10-30 |
Dan Carpenter | ranges: be more flexible about divides
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-10-30 |
Dan Carpenter | user_data2: tighten user data range lists
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-10-23 |
Dan Carpenter | extra: fix a type issue handling comparisons
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-10-23 |
Dan Carpenter | extra: fix a memory leak
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-10-09 |
Dan Carpenter | math: handle binop integer overflows more strictly
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-10-09 |
Dan Carpenter | err_ptr_deref: complain about ERR_PTR(ENOMEM)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-10-02 |
Dan Carpenter | buf_size: bug calculating pointer math with &foo[4]
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-09-30 |
Dan Carpenter | helper: remove duplicate implementations of expr_equiv()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-22 |
Dan Carpenter | buf_size: don't store bogus information in the database
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-22 |
Dan Carpenter | strlen: snprintf() can determine the strlen
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-22 |
Dan Carpenter | buf_size: arrays cannot be re-assigned
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-21 |
Dan Carpenter | user_data: update kstrotoXX() functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-20 |
Dan Carpenter | states: remove an unused function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-20 |
Dan Carpenter | double_checking: avoid more false positives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-20 |
Dan Carpenter | double_checking: silence false positives caused by...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-20 |
Dan Carpenter | double_checking: allow if (foo) { ... } else if (!foo...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-20 |
Dan Carpenter | zero_to_err_ptr: calling PTR_ERR(NULL) is a probably...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-20 |
Dan Carpenter | smdb.py: update list of types
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-19 |
Dan Carpenter | check_kernel: register this later
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-19 |
Dan Carpenter | check_dma_mapping_error: The dma_mapping_error() function...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-19 |
Dan Carpenter | buf_comparison: split the code up and move it around
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-18 |
Dan Carpenter | extra, db: don't use PARAM_VALUE for return states
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-17 |
Dan Carpenter | buf_size: add kmap() and get_zeroed_page()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-17 |
Dan Carpenter | buf_size, strlen: don't use strlen() to determine the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-17 |
Dan Carpenter | strlen: cleanup in get_implied_strlen()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-17 |
Dan Carpenter | buf_size, strlen: move strlen() handling to smatch_strlen.c
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-15 |
Dan Carpenter | extra: track array values
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-15 |
Dan Carpenter | stored_conditons: store the chunk as well as the var_sym_list
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-15 |
Dan Carpenter | ranges: add a missing cast in add_range_t()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-14 |
Dan Carpenter | validation: don't use uninitialized data
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-14 |
Dan Carpenter | modification_hook: record the modification expression
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-11 |
Dan Carpenter | smatch: remove the "loop could be replaced with if...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-11 |
Dan Carpenter | buf_size: unbreak this feature
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-11 |
Dan Carpenter | test_kernel.sh: print where the warnings are saved
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-11 |
Dan Carpenter | buf_size, db: only store type_size if it is a pointer...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-10 |
Dan Carpenter | stored_conditions, implied: use implications of previous...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-10 |
Dan Carpenter | implied: re-order where we calculate implications
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-08 |
Dan Carpenter | overflow: silence glibc strcmp false positives with...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-05 |
Dan Carpenter | implied, ranges: use type promotion for comparisons
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-05 |
Dan Carpenter | ranges: use NULL instead of zero
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-04 |
Dan Carpenter | deref_check, check_deref: only consider pointers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-03 |
Dan Carpenter | stored_conditions: rename match_modify() to match_link_modify()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-03 |
Dan Carpenter | math: fix an out of memory issue
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-08-03 |
Dan Carpenter | math: return a bit earlier in handle_binop_rl()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-07-31 |
Dan Carpenter | implied: we have to make the false states match as...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-07-31 |
Dan Carpenter | err_ptr: use the actual values to silence false positives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-07-30 |
Dan Carpenter | comparison: fix an oops
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-07-30 |
Dan Carpenter | fixup_kernel.sh: track kmalloced() vs .text data better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-07-30 |
Dan Carpenter | extra: don't try to record the state for literals
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-07-30 |
Dan Carpenter | flow: add a ->parent member to statement structs
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-07-30 |
Dan Carpenter | ranges: don't allow so many inverted ranges
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
