?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
extra: re-write get_long_name_sym()
2021-03-03 Dan Carpenterfunction_hooks/user_data: introduce and use add_function_hoo...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-03-03 Dan Carpenterpoints_to_user_data: handle memcpy() correctly
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-03-03 Dan Carpenterpoints_to_user_data: fix is_skb_data()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-03-03 Dan Carpenteruser_data: move handling of pointer math up the call...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-03-03 Dan Carpenterhelper: re-write __get_variable_from_expr()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-26 Dan Carpenterflow: fix a type issue in fake_a_variable_assign()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-26 Dan Carpenterhelper: clean up the expr_to_str() EXPR_PREOP code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-26 Dan Carpenterhelper: fix how dereferences are represented with ...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-24 Dan Carpenterstruct_assignment: rename "right_member" to "right_expr"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-24 Dan Carpentercomparison: fix loop in get_all_possible_not_equal_comparisons()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-24 Dan Carpenterlocking: add __raw_write_unlock_irq function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-24 Dan Carpenterflow: fake a return at the end of void functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-23 Dan Carpentersmatch: add --pedantic option
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-23 Dan Carpenterunwind: use shared constants
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-23 Dan Carpenterconstants: move some constants from smatch.h to smatch_const...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-23 Dan Carpenterlocking: use shared sval constants
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-23 Dan Carpenterdb/smdb.py: add a try catch block printing the return...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-23 Dan Carpenteratomic_inc_dec: pass correct call expression to db_inc_dec()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-22 Dan Carpenteratomic_inc_dec: add this to check_list.h
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-22 Dan Carpenterconstants: define a bunch of constant svals
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-22 Dan Carpenterflow: pass conditional macros to MACRO_ASSIGNMENT_HOOK
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-22 Dan Carpenterpoints_to_user_data: add the memcpy_from_user() function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-22 Dan Carpenterslist: return an alloc_sname() in show_sm()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-22 Dan Carpenterbuf_comparison: s/kmemdup_user/memdup_user/
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-22 Dan Carpenterstates: Rename delete_state() to __delete_state()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-22 Dan Carpenterstates: delete the unused delete_state_expr() function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-22 Dan Carpenteruntracked_param: assignments do not make a parameter...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-22 Dan Carpenteravl: short cut FOR_EACH_MY_SM() for checks without...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-22 Dan Carpenterflow: fake void returns if we have to bail on a function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-17 Dan Carpentersscanf/assigned_expr: introduce get_assgined_sm() ...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-17 Dan Carpenterconditions: fix the build
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-16 Dan Carpenterkvmalloc_NOFS: warn about passing bogus GFP_ arguments...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-16 Dan Carpentersscanf_return: warn about propagating scanf() returns
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-16 Dan Carpenterconditions: don't parse select statements twice
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-15 Dan Carpenterdb: use the load_strings_from_file() helper function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-15 Dan Carpenterno_effect: stop warning about write_seqcount_begin()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-15 Dan Carpenterfiles: introduce load_strings_from_file()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-11 Dan Carpenterparam_set/clear: Use memset() of struct members
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-10 Dan Carpenterexpressions: introduce gen_expr_from_param_key()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-10 Dan Carpenterexpressions: make gen_expression_from_name_sym() handle...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-10 Dan Carpenterdb/param_limit/param_used: don't insert useless address...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-10 Dan Carpenterextra: use fake assignments for caller_info
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-08 Dan Carpentercheck_locking: delete old states correctly (sort of)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-08 Dan Carpenterlocking: re-write and fixes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-03 Dan Carpenterextra: take a short cut in param_limit_binops
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-03 Dan Carpenterextra: fake assignments are also equivalent
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-02-03 Dan Carpenterdb: fix how &foo->lock states are inserted into the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-01-27 Dan Carpenterfunction_hooks/check_unwind: add param_key_hooks
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-01-25 Dan Carpenterextra: fix how hard max values are propagated
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-01-25 Dan Carpenterhelper: error pointers are gone
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-01-25 Dan Carpenterextra/function_hooks: handle fake function calls in...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-01-25 Dan Carpenterextra: fix test for take assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-01-21 Dan Carpenterstates: fix a use after free
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-01-21 Dan CarpenterMerge git://git.kernel.org/pub/scm/devel/sparse/sparse...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-01-19 Dan Carpenterstates: fix get_state_expr() uses of fake_parent
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-01-19 Dan Carpenterflow: don't fake a parameter assignment outside of...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-01-18 Dan Carpentercheck_list: add a comment about ordering
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-01-18 Dan Carpenterkpatch: white space cleanup
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-01-18 Dan Carpenterscripts/trace_params.pl: fix regex
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-01-13 Dan Carpentercomparison: call simplify_binops() in get_comparison_helper()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-01-13 Dan Carpentercomparison: fix how addresses are handled
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-01-13 Dan Carpentercomparison: fix a bug in get_comparison_helper()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-01-13 Dan Carpenterconstraints_required: ignore fake assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-01-13 Dan Carpenterdebug: re-work how debugging implications works
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-01-13 Dan Carpenterdebug: add __smatch_timer_start/stop()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-01-13 Dan Carpenterflow: add --time-stmt option
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-01-13 Dan Carpenterdebug: add __smatch_debug_var()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-01-13 Dan Carpenterparam_set: addresses can't be set
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-01-13 Dan Carpentercapped: addresses can't be capped
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-01-11 Dan Carpenterparam_key: fix where assignments are handled
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-01-08 Dan Carpenterdebug: change how __smatch_debug_check() works
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-01-08 Dan Carpenterparam_set: handle NULL and POISON assignments better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-01-07 Dan Carpenterextra: handle canonical for loops with unknown ends...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-01-06 Dan Carpenterextra/ranges: introduce is_noderef_ptr()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-01-06 Dan Carpenterparam_set: merge some some conditions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-01-06 Dan Carpenterparam_set: don't print useless information
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-12-19 Dan Carpentermissing_error_code: introduce new check
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-12-19 Dan Carpenterlocking: fix restore in cross function code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-12-18 Dan Carpenterparam_compare_limit: don't print impossible comparisons
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-12-18 Dan Carpenterscripts/kpatch: view the smatch warnings in the commit...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-12-18 Dan Carpenterscripts/kpatch: put a commented out diff into the commit...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-12-18 Dan Carpenterscripts/kpatch: change the git log format
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-12-18 Dan Carpenterkpatch: don't hard code my name as the s-o-by
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-12-17 Dan Carpenterflow: export is_last_stmt() function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-12-16 Dan Carpentermodification_hooks: handle addresses better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-12-16 Dan Carpenterparam_key: allow get_name_sym_from_key() to take a...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-12-16 Dan Carpentermath: INT_MAX is never a hard max
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-12-16 Dan Carpenterparam_key: fix some address handling
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-12-16 Dan Carpenterparam_set: fix param_was_set() for addresses
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-12-16 Dan Carpenterparam_set: don't record so much data in the DB
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-12-16 Dan Carpenterpoints_to_user_data: Make copy_from_user() set point...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-12-16 Dan Carpenterstates: use the state from the fake assignment
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-12-16 Dan Carpenterfunction_hooks: set implied states earlier
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-12-16 Dan Carpenterdereferences_param: don't record addresses dereferences
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-12-15 Dan Carpenterderef: fix inverted tests
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-12-14 Dan Carpentercheck_deref: silence false positives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-12-14 Dan Carpenterderef: delete all --spammy information
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-12-14 Dan Carpenterparam_to_mtag_data: don't record fake assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-12-07 Dan Carpenterreadl_infinite_loops: delete this check
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-12-01 Dan Carpenterimplied: fix reversed debug output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
next
Static analysis for C