?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
states: only set the fake_stree in set_state()
2016-02-17 Dan Carpenterstates: only set the fake_stree in set_state()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-17 Dan Carpenterimplications: use stored_conditions the default fall...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-17 Dan Carpenterimplied: unbreak assign_ranged_functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-16 Dan Carpenterstates: delete an unused function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-16 Dan Carpenterimplied: fix PARAM_LIMIT implications again
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-16 Dan Carpenterimplied: fall out from fake_cur_stree changes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-15 Dan Carpenterreal_absolute: += and = are not the same
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-15 Dan Carpenterstates: __set_sm_cur_stree() should not change the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-15 Dan Carpenterstates: setting the true state doesn't set the cur_stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-11 Dan Carpenterimplied: fix a bug handling PARAM_LIMIT implications
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-11 Dan Carpentervalidation: add sm_impossible2.c
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-11 Dan Carpenterstruct_assignment: silence a GCC false positive
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-11 Dan Carpentervalidation/sm_implied10.c: update the test
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-11 Dan Carpenterextra: fix values_fit_type()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-11 Dan CarpenterRevert "slist: make __merge_slist() allocate less memory"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-11 Dan Carpenterflow: silence a GCC false positive
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-11 Dan Carpentervalidation/sm_compare3.c: update the check
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-10 Dan Carpentervalidation: update sm_math1.c
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-10 Dan Carpentervalidation: update sm_overflow3.c
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-10 Dan Carpentervalidation/sm_inline3.c: remove accidental include
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-10 Dan Carpentervalidation: update a couple compare tests and make...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-10 Dan Carpentervalidation/sm_buf_size6: use correct element count
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
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
next
Static analysis for C