?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
extra: more limits on which variables are equivalent
2014-05-28 Dan Carpenterextra: more limits on which variables are equivalent
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-27 Dan Carpenterdb: get return states from function pointers if possible
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-23 Dan Carpenterpropagate: remove validation test because we removed...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-22 Dan Carpenterslist: introduce merge_fake_stree()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-22 Dan Carpenterunreachable: silence "not actually initialized" false...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-22 Dan Carpenterrosenberg: fix some false positives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-16 Dan Carpenterdebug: introduce __smatch_debug_check() to debug a...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-14 Dan Carpenter*new* check_no_if_block: sometimes the if block is...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-13 Dan Carpenterunconstant_macros: add VM_SOFTDIRTY
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-07 Dan Carpentertype: introduce is_string()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-07 Dan Carpenteruser_data: introduce implied_user_data()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-07 Dan Carpenterrosenberg: refactor match_copy_to_user()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-07 Dan Carpenterrosenberg: check many more functions instead of just...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-07 Dan Carpenterrosenberg: add memzero() to clear functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-06 Dan Carpenterparam_cleared: memzero() clears the parameter
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-05 Dan Carpenterdb: split all boolean functions into one and zero strees
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-05 Dan Carpenterclear_buffer: remove this code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-02 Dan Carpenterparam_cleared: this shouldn't depend on --info
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-02 Dan Carpenterlocking: update validation to the new error formation
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-02 Dan Carpenterlocking: update error format
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-02 Dan Carpenterstruct_assignment: fix how smatch handles foo = NULL;
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-02 Dan Carpenterrosenberg: prepare to check pointers to structs as...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-02 Dan Carpenterrosenberg: check for holes at the end of the struct
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-02 Dan Carpenterrosenberg: this check is kernel specific
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-04-25 Dan Carpenterunreachable: turn it on by default
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-04-25 Dan Carpenterhelper: introduce get_prev_statement() (fix the build).
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-04-25 Dan Carpenterunreachable: add watchdog() to kernel.no_return_funcs...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-04-25 Dan Carpenterunreachable: don't print a warning if we jump to the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-04-25 Dan Carpenterunreachable: ignore unreachable code right after an...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-04-25 Dan Carpenterunreachable: turn off backward labeled warnings
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-04-25 Dan Carpenterunreachable: add some more macros to the .ignore and...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-04-25 Dan Carpenterflow: merge continues before the iterator_post_statement...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-04-25 Dan Carpenterflow: handle post op return statements like: return...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-04-25 Dan Carpenterunreachable: ignore some conditionally unreachable...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-04-25 Dan Carpenterunreachable: ignore common false positives caused by...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-04-25 Dan Carpenterunreachable: ignore unreachable code after BUG()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-04-25 Dan Carpenterunreachable: move it out of smatch_flow.c and smatch_states.c
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-04-24 Dan Carpenteravl: fix failing "stree->stree_id == 0" assert
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-04-24 Dan Carpenteroverflow: don't warn if we overflow use buffers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-04-16 Dan Carpentersmatch_type: never refer to ->bit_size directly
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-04-14 Dan Carpenterdb: function with too many pointers to it cause slow...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-04-11 Dan Carpenterdb: rename db_callback to caller_info_callback
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-04-10 Dan Carpenterpropagate: delete this test
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-04-10 Dan Carpenterstored_conditions: don't store constants
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-04-10 Dan CarpenterMerge git://git.kernel.org/pub/scm/devel/sparse/chrisl...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-03-07 Dan Carpenterstates: add another read_only check
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-03-07 Dan Carpentermissing_break: use fewer states
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-03-07 Dan Carpenteravl: add a counter for when you allocate or free a...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-03-07 Dan Carpenterslist, returns: introduce merge_stree_no_pools()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-03-07 Dan Carpenterunconstant_macros: allow (foo & _PAGE_NX) even when...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-03-07 Dan Carpenterbuf_size: allow strncmp("foo", bar, 100) where 100...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-03-06 Dan Carpenterparam_set: only record parameters
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-03-06 Dan Carpenterextra: ignore struct to struct assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-03-06 Dan Carpenterimplied: add the stree_id to debug output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-03-06 Dan Carpenterclear_buffer: delete an unused function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-03-06 Dan Carpenterclear_buffer: delete obsolete code to handle struct...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-03-06 Dan Carpentercomparison: don't record that actual structs are equivalent
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-03-06 Dan Carpenterassigned_expr: don't store fake assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-03-06 Dan Carpenterdebug: change __smatch_cur_slist() to __smatch_cur_stree()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-03-05 Dan Carpenterstates: don't __unnullify_path unnecessarily
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-03-05 Dan Carpenterimplied: smatch was saying somethings were implied...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-28 Dan Carpenterstree: fix a bunch of stree leaks
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-28 Dan Carpenterstates: merge nullify_all_states() into save_all_states()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-27 Dan Carpenterstree: make strees copy on write
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-27 Dan Carpenterstree: move stree_id into the avl root
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-27 Dan Carpenterslist: rename slist_id to stree_id.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-27 Dan Carpenteravl: introduce FOR_EACH_MY_SM() and callers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-27 Dan Carpenterkunmap: update validation file
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-27 Dan Carpenterflow: fixes for hairy functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-27 Dan Carpenterextra: fix unknown += assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-27 Dan Carpenterimplied: add a newline to output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-27 Dan Carpenterstored_conditions: store comparisons and not logicals
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-27 Dan Carpenterdb: fix nested call handling
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-27 Dan Carpenterkunmap: tidy up error message
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-27 Dan Carpenterconditions: fix some leaks in handle_select()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-27 Dan Carpenterslist: fix a leak
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-27 Dan Carpenterstree fallout: implications not working 100%
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-25 Dan Carpenterstates: rename fake_cur_slist functions to fake_cur_stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-25 Dan Carpenterstates: rename __print_cur_slist() to __print_cur_stree()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-25 Dan Carpenteravl: rename avl_free() to free_stree()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-25 Dan Carpenteravl: rename avl_count() to stree_count()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-25 Dan Carpenteravl: use struct stree instead of making it a typedef
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-25 Dan Carpenteravl: rename struct AVL to struct stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-25 Dan Carpenteravl: rename avl_clone to clone_stree()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-25 Dan Carpenterslist: delete slist compat layer and remaining unused...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-25 Dan Carpenterstates: eliminate remaining references to __get_cur_slist()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-25 Dan Carpenterstates: remove some dead code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-25 Dan Carpenterslist: remove a bunch of unused slist functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-25 Dan Carpentercore: change (struct sm_state)->pool to be a stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-25 Dan Carpenterstart_states: update get_start_states() to use stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-25 Dan Carpenterreturns: update all_return_states_hook() to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-25 Dan Carpentertype_val: update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-25 Dan Carpenterstart_states: partial update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-25 Dan Carpentermatch_returns: partial update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-25 Dan Carpenterparam_set: update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-25 Dan Carpenterparam_limit: update to stree
 commit | commitdiff | tree
2014-02-25 Dan Carpenterparam_filter: update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-25 Dan Carpenterparam_cleared: upate to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-25 Dan Carpentermodification_hooks: update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-02-25 Dan Carpenterimplied: update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
next
Static analysis for C