?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
expressions: introduce gen_expr_from_param_key()
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
2020-11-19 Dan Carpenterextra: fix some error pointer handling
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-11-19 Dan Carpenterextra: don't save needless DB records when we return...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-11-19 Dan Carpenterextra: introduce parent_is_error_or_null_var_sym()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-11-19 Dan Carpenterfunction_hooks/unwind: introduce return_implies_exact()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-11-19 Dan Carpenterunwind: simplify the way returns are categorized
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-11-19 Dan Carpenterunwind: commit missing parts from the ignore path patch
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-11-19 Dan Carpenterunwind: paths where the parent is gone are counted...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-11-19 Dan Carpenterunwind: ignore paths were devm_add_action_or_reset...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-11-19 Dan Carpenterunwind: remove pci_iomap() functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-11-19 Dan Carpenterannotate: fix how snprintf() is handled
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-11-19 Dan Carpenterassigned_expr: introduce get_assigned_expr_recurse()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-11-19 Dan Carpentercomparison: don't store pointless fake assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-11-19 Dan Carpentercomparison: remove any "+- 0" operations
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-11-17 Dan Carpenterextra: check the original state first for fake parameter...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-11-17 Dan Carpenterflow: do a fake cast for ARRAYS
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-11-17 Dan Carpenterparam_set: handle certain struct assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-11-17 Dan Carpenterdb: only do the return_info stuff if it's going to...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-11-17 Dan Carpenterparam_used: ignore some states used to fill the DB
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-11-17 Dan Carpenteruser_data: delete debug code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-11-13 Dan Carpenterlocking: save held locks in caller_info table
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-11-12 Dan Carpenterdb/insert_manual_states: don't insert duplicate states
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-11-12 Dan Carpenterdb/insert_manual_states: preserve the call_id
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-11-10 Dan Carpenterparse_call_math: fix a segfault
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-11-02 Dan Carpenterbuf_size: fix what caller_info to pass and what is...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-11-02 Dan Carpenterdb/smdb: improve how searching for function pointers...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-11-02 Dan Carpenterdb: don't call call_info call backs unless it is an...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-11-02 Dan Carpenterextra: do a small cleanup
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-11-02 Dan Carpenterfunction_hooks: add helpers to register all the functions...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-11-02 Dan Carpentermodification_hooks: potential speed up
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-11-02 Dan Carpenterkernel,math: handle the __ffs() function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-11-02 Dan Carpenterkernel: ignore more mutex internals
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-11-02 Dan Carpenterkernel: don't parse TRACE_EVENT() functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-11-02 Dan Carpenterparam_key: fix an ordering bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-11-02 Dan Carpenterparam_key: enable for non-kernel projects
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-10-28 Dan Carpentermodification_hooks: speed up calling modification hooks
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-10-23 Dan Carpentersigned: don't warn about u64 comparisons with ULONG_MAX
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-10-23 Dan Carpenterflow: don't parse inlines again if they take a long...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-10-23 Dan Carpenterparam_limit: move registration before param_set
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
next
Static analysis for C