?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
extra: use real_absolute values
2016-03-21 Dan Carpenterextra: use real_absolute values
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-21 Dan Carpenterextra: improve array handling
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-21 Dan Carpentersmatch: add a --time option to print how long smatch...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-21 Dan Carpenterflow: handle "*p++ = foo" better.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-21 Dan Carpenterflow: fix inside_loop() with inline functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-17 Dan Carpenterparam_set: handle array assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-15 Dan Carpenterimplied: remove buggy code for working around the old...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-15 Dan Carpenterdb/fixup_kernel.sh: add kmalloc_order_trace()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-15 Dan Carpenterdb/fixup_kernel.sh: ignore a lot of PCI errors
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-10 Dan Carpenterdata/kernel.clears_argument: add copy_user_generic()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-10 Dan Carpenterdb: split positive from negative returns
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-10 Dan Carpenterexpressions: introduce compare_expression()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-10 Dan Carpenterimplied: introduce assume(condition)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-10 Dan Carpenterdb: handle parameter function pointers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-07 Dan Carpenterstates: handle fake slist properly when we merge true...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-04 Dan Carpentervalidation: add a test for ranged case statements
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-04 Dan Carpenterconditions: big fake state re-work
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-04 Dan Carpenteravl: remove sign() function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-04 Dan Carpenterslist: introduce type_stree()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-04 Dan Carpenterconditions: add a NULL check
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-04 Dan Carpenterimplied: revert not already set change
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-29 Dan Carpenterextra: handle post op increment loops
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-26 Dan Carpentertype: fix "strange non-value function or array" warnings
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-25 Dan Carpenterleaks: don't reset states to themselves
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-23 Dan Carpenterflow, conditions: handle label statements correctly
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-23 Dan Carpenterdb: fix a bug in splitting return states
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-19 Dan CarpenterRevert "states: only set the fake_stree in set_state()"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-17 Dan Carpenterlocking: don't warn about impossible paths
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-17 Dan Carpentervalidation/sm_implied8.c: update test
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-17 Dan Carpenterfunction_hooks: use __set_sm_cur_stree() in db_return_states...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
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
next
Static analysis for C