2016-02-03 |
Dan Carpenter | comparison: make modifications clear the comparisons... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2016-02-03 |
Dan Carpenter | modification_hooks: introduce add_modification_hook_late() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2016-02-03 |
Dan Carpenter | comparison: do algebra on "foo + bar > baz" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2016-02-03 |
Dan Carpenter | index_overflow: silence some warnings when --spammy... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2016-02-02 |
Dan Carpenter | comparison: split __comparison_match_condition() up... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2016-02-02 |
Dan Carpenter | comparison: store parameter comparisons in the database Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2016-02-02 |
Dan Carpenter | buf_size: add some more allocation functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2016-02-02 |
Dan Carpenter | memcpy_overflow: fix build error Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2016-02-02 |
Dan Carpenter | buf_size: add alloc_pages() and friends Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2016-02-02 |
Dan Carpenter | buf_size: handle getting address of arrays Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2016-02-02 |
Dan Carpenter | memcpy_overflow: silence a bunch of false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2016-02-02 |
Dan Carpenter | memcpy_overflow: rename 'data' to 'limit' Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
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-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 |