| 2016-02-02 |
Dan Carpenter | memcpy_overflow: use range list from check_user_data2
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2016-02-02 |
Dan Carpenter | testing_index_after_use: rename check_overflow to testing_in...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2016-02-02 |
Dan Carpenter | overflow, allocating_enough_data: split check_overflow...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2016-02-02 |
Dan Carpenter | overflow, snprintf_overflow: split out snprintf checking
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2016-02-02 |
Dan Carpenter | overflow, sprintf_overflow: split out sprintf checking
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2016-02-02 |
Dan Carpenter | overflow, strcpy_overflow: split strcpy overflows into...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2016-02-02 |
Dan Carpenter | check_overflow: delete some dead code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2016-02-02 |
Dan Carpenter | overflow, memcpy_overflow: split check_overflow.c into...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2016-02-02 |
Dan Carpenter | index_overflow: delete some dead code, reverse some...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2016-02-02 |
Dan Carpenter | overflow, index_overflow: start splitting up check_overflow.c
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2016-02-01 |
Dan Carpenter | symbol: improve sizeof() for packed structs
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2016-01-28 |
Dan Carpenter | buf_size: record variable size buffers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2016-01-27 |
Dan Carpenter | address: take alignment into consideration and export...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2016-01-23 |
Dan Carpenter | slist: make __merge_slist() allocate less memory
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2016-01-19 |
Dan Carpenter | comparison: fix build error
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2016-01-15 |
Dan Carpenter | math: try harder in var_to_absolute_rl()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2016-01-15 |
Dan Carpenter | user_data2: introduce get_user_rl_var_sym()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2016-01-15 |
Dan Carpenter | user_data2: white space stuff
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2016-01-15 |
Dan Carpenter | string_list: silence a GCC warning
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2016-01-15 |
Dan Carpenter | kernel_printf: we changed %pg to %pj
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2016-01-15 |
Dan Carpenter | capped: multiplications can be capped
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2016-01-15 |
Dan Carpenter | capped: white space change
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2016-01-15 |
Dan Carpenter | capped: fix return implies capped
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2016-01-15 |
Dan Carpenter | capped: better handle on unmatched state
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2016-01-15 |
Dan Carpenter | extra: handle returned struct members
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2016-01-13 |
Dan Carpenter | db: make get_param_name() check for NULL sm->sym pointers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2016-01-13 |
Dan Carpenter | user_data2: simple_strtoul() is user data
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2016-01-13 |
Dan Carpenter | user_data2: always set *foo to user data
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2016-01-13 |
Dan Carpenter | user_data2: use fake assignments instead of duplicating...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2016-01-13 |
Dan Carpenter | user_data2: handle arrays better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2016-01-06 |
Dan Carpenter | *new* vim_smdb: a script for looking up caller information...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2016-01-04 |
Dan Carpenter | buf_size: fix compile on older GCCs
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-12-22 |
Dan Carpenter | math: use real_absolute for custom math handling (user_data)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 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-09 |
Rasmus Villemoes | check_kernel_printf.c: support future %pgX
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-12-09 |
Rasmus Villemoes | check_kernel_printf.c: check for redundant or confusing...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-12-09 |
Rasmus Villemoes | check_kernel_printf.c: actually allow printk level...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-12-09 |
Rasmus Villemoes | check_kernel_printf.c: support %pC
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-12-09 |
Rasmus Villemoes | check_kernel_printf.c: remove some %pIS false positives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-12-09 |
Rasmus Villemoes | check_kernel_printf.c: update struct printf_spec to...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-12-09 |
Rasmus Villemoes | check_kernel_printf.c: check for signed char versus...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-12-09 |
Rasmus Villemoes | check_kernel_printf.c: reorder flag defines
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-12-09 |
Rasmus Villemoes | sparse: don't warn about unknown attributes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2015-12-09 |
Or Gerlitz | err_ptr_deref: Fix build on RHEL6
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 |
