| 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-12 |
Sudip Mukherjee | kchecker: build already built directory
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 |
| 2015-07-30 |
Dan Carpenter | type: improve get_member_type_from_key()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-07-30 |
Dan Carpenter | extra: handle arrays better using the chunk code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-07-29 |
Dan Carpenter | type: make type_to_str() handle arrays better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-07-29 |
Dan Carpenter | helper: tiny cleanup in get_complication_score()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-07-28 |
Dan Carpenter | implied: fix bug handling unmatched implications
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-07-28 |
Dan Carpenter | extra: fix chunk handling a bit
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-07-28 |
Dan Carpenter | validation: fix a test a bit
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-07-27 |
Dan Carpenter | deref_check: silence some false positives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-07-27 |
Dan Carpenter | deref_check: remove unnecessary call to getting_address()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-07-27 |
Dan Carpenter | fixup_kernel.sh: fix the rtlwifi hack
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-07-25 |
Dan Carpenter | unconstant_macros: add MAP_UNINITIALIZED
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
