?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
validation: update sm_array_overflow.c
2016-02-10 Dan Carpentervalidation: update sm_array_overflow.c
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-09 Dan Carpentermemcpy_overflow: ignore some struct types which cause...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-09 Dan Carpentermemcpy_overflow: handle variable length structs correctly
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-09 Dan Carpenterimplied: use implications from function conditions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-09 Dan Carpenterfunction_hooks: don't parse comparison conditions twice
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-09 Dan Carpenterconditions: set the parent expression when parsing...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-09 Dan Carpenterflow: rename set_parent() to set_parent_expr()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-09 Dan Carpenterprecedence: fix some false positives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-09 Dan Carpenterkernel_printf: ignore %pg which are block pointers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-09 Dan Carpenterindenting: ignore pre and post statements
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-09 Dan Carpentercomparison: fix fallout from algebra change
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-09 Dan Carpentercomparison: don't re-implement expr_to_chunk_sym_vsl...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-09 Dan Carpenterhelper: a number is not a chunk in expr_to_chunk()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-09 Dan Carpenterfunction_hooks: don't process condition functions twice
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-09 Dan Carpenterconditions: introduce the big_condition_stack
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-09 Dan Carpenterfunction_hooks: reset states to original state between...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-09 Dan Carpenterfunction_hooks: return earlier on culled paths
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-05 Dan Carpentermemcpy_overflow: silence false positive when destination...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-05 Dan Carpentermemcpy_overflow: improve struct member boundary calculation...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-05 Dan Carpentermemcpy_overflow: fall back to type size to calculate...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-05 Dan Carpentermodification_hooks: fix fall out from recent changes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-04 Dan Carpentermemcpy_overflow: ignore 1 element arrays
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-04 Dan Carpentermemcpy_overflow: handle array members better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-04 Dan Carpenterindex_overflow: silence false positives with --spammy...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-03 Dan CarpenterMakefile: turn on -Wno-switch
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-03 Dan Carpenterextra: return a bit quicker if there are no true and...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-03 Dan Carpenterextra: simplify the code in handle_comparison() a bit
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-03 Dan Carpenterextra: handle if (offset + bytes > size) comparisons...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-03 Dan Carpentercomparison: make modifications clear the comparisons...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-03 Dan Carpentermodification_hooks: introduce add_modification_hook_late()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-03 Dan Carpentercomparison: do algebra on "foo + bar > baz"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-03 Dan Carpenterindex_overflow: silence some warnings when --spammy...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-02 Dan Carpentercomparison: split __comparison_match_condition() up...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-02 Dan Carpentercomparison: store parameter comparisons in the database
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-02 Dan Carpenterbuf_size: add some more allocation functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-02 Dan Carpentermemcpy_overflow: fix build error
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-02 Dan Carpenterbuf_size: add alloc_pages() and friends
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-02 Dan Carpenterbuf_size: handle getting address of arrays
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-02 Dan Carpentermemcpy_overflow: silence a bunch of false positives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-02 Dan Carpentermemcpy_overflow: rename 'data' to 'limit'
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-02 Dan Carpentermemcpy_overflow: use range list from check_user_data2
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-02 Dan Carpentertesting_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 Carpenteroverflow, allocating_enough_data: split check_overflow...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-02 Dan Carpenteroverflow, snprintf_overflow: split out snprintf checking
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-02 Dan Carpenteroverflow, sprintf_overflow: split out sprintf checking
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-02 Dan Carpenteroverflow, strcpy_overflow: split strcpy overflows into...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-02 Dan Carpentercheck_overflow: delete some dead code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-02 Dan Carpenteroverflow, memcpy_overflow: split check_overflow.c into...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-02 Dan Carpenterindex_overflow: delete some dead code, reverse some...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-02 Dan Carpenteroverflow, index_overflow: start splitting up check_overflow.c
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-01 Dan Carpentersymbol: improve sizeof() for packed structs
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-01-28 Dan Carpenterbuf_size: record variable size buffers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-01-27 Dan Carpenteraddress: take alignment into consideration and export...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-01-23 Dan Carpenterslist: make __merge_slist() allocate less memory
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-01-19 Dan Carpentercomparison: fix build error
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-01-15 Dan Carpentermath: try harder in var_to_absolute_rl()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-01-15 Dan Carpenteruser_data2: introduce get_user_rl_var_sym()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-01-15 Dan Carpenteruser_data2: white space stuff
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-01-15 Dan Carpenterstring_list: silence a GCC warning
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-01-15 Dan Carpenterkernel_printf: we changed %pg to %pj
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-01-15 Dan Carpentercapped: multiplications can be capped
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-01-15 Dan Carpentercapped: white space change
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-01-15 Dan Carpentercapped: fix return implies capped
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-01-15 Dan Carpentercapped: better handle on unmatched state
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-01-15 Dan Carpenterextra: handle returned struct members
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-01-13 Dan Carpenterdb: 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 Carpenteruser_data2: simple_strtoul() is user data
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-01-13 Dan Carpenteruser_data2: always set *foo to user data
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-01-13 Dan Carpenteruser_data2: use fake assignments instead of duplicating...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-01-13 Dan Carpenteruser_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 Carpenterbuf_size: fix compile on older GCCs
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-12-22 Dan Carpentermath: 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 Carpenterdebug: add __smatch_real_absolute()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-12-21 Dan Carpentersmdb.py: add trace_param feature
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-12-21 Dan Carpentersmdb.py: add CULL_PATH type
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-12-21 Dan Carpentersmdb.py: add call_tree to help output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-12-21 Dan Carpenterdata_source: don't print wrong sources
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-12-17 Dan Carpenterdata_source: follow parameters better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-12-17 Dan Carpenterestate: clear unset struct members in clone_dinfo_perm()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-12-17 Dan Carpenterflow: fix some issues with too hairy functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-12-17 Dan Carpenterstruct_assignment: handle sscanf
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-12-04 Dan Carpenterranges: export sval_fls_mask() and fls_mask()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-12-04 Dan Carpenterimplied: remove left_right variable
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-12-03 Dan Carpenterimplied: do type promotion earlier
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-12-02 Dan Carpenterimplied: rename "ranges" to "rl"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-12-02 Dan Carpenterimplied: rename "vals" to "rl"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-12-02 Dan Carpenterimplied: rename lr to left_right
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-12-02 Dan Carpenterimplied: 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 Carpenterimplied: remove the --no-implied option
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-12-01 Dan Carpenterflow: commit the rest of the ranged case patch
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-12-01 Dan Carpentersmatch: remove --known_conditions option
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-12-01 Dan Carpentermsg: print sm_msg() if local_debug is on
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-12-01 Dan Carpentercomparison: fix an implication bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-11-30 Dan Carpenterflow: handle ranged case statements
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-11-30 Dan Carpenterfunction_hooks: impossible: don't set both sides to...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-11-27 Dan Carpenterunreachable: ignore a couple new macros
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-11-24 Dan Carpenterstring_list: accept const strings and NULL pointers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-11-19 Dan Carpentervalidation: update some tests
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-11-19 Dan Carpentercomparison: remove bogus NULL check
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
next
Static analysis for C