?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
dereference: fix handling DEREFERENCE from the database
2023-03-11 Dan Carpenterdereference: fix handling DEREFERENCE from the database
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-11 Dan Carpenterdereference: only count foo->bar as a dereference not...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-09 Dan Carpenterdata/kernel.ignore_unitialized_param: add some more...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-09 Dan Carpenterparam_clear: add support for BUF_ADD
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-08 Dan Carpenterparam_limit: ignore BUF_CLEAR here as well
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-08 Dan Carpenterdereference: create a add_dereference_hook() function
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-08 Dan Carpenterbuf_clear: do a speed up
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-04 Dan Carpenterkernel_user_data: use a param/key table for simple_strtoul()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-04 Dan Carpenterdb/kernel.return_fixes: add debugfs_initialized
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-04 Dan Carpenterdb/kernel.return_fixes: add nla_nest_start_noflag()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-03 Dan Carpenteruser_data: remove xdr_inline_decode()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-03 Dan Carpenteruser_data: clean up how sscanf is handled
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-03 Dan Carpenteruser_data: clean up how iov_iter_count is handled
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-03 Dan Carpenterpoints_to_host_data: make a pointer const
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-03 Dan Carpenteruser_data/ptr: move things from user_data to user_ptr
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-03 Dan Carpenterdb: do the caller_info stuff earlier
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-03 Dan Carpenterdb: fix returned information
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-03 Dan Carpenterstruct_assignment: make the faked_expression function...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-02 Dan Carpenteruser_data: fix an is_new setting in handling assignments
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-02 Dan Carpenterkernel_user_data: don't set *my_struct to user data
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-02 Dan Carpenterkernel_user_data: ignore void types
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-02 Dan Carpenterdb/fixup_kernel.sh: only record one work queue caller...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-02 Dan Carpenterestate: pointers can't have a fuzzy max
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-02 Dan Carpenterpoints_to_user_data: all calls to copy_from_user()...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-03-02 Dan Carpenterstruct_assignment: introduce create_recursive_fake_assignments()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-28 Dan Carpenterparse_call_math: store ==$0 even for known values
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-28 Dan Carpenterhooks: save the container->owner
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-28 Dan Carpenterreturns_negative_error_code: low positives are not...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-28 Dan Carpenterreturns_negative_error_code: empty states are not error...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-28 Dan Carpenterpoints_to_user_data: rename set_points_to_user_data...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-27 Dan Carpentersm_hash: export str_to_llu_hash_helper()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-27 Dan Carpentersmatch: don't include "scope.h" for no reason
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-27 Dan Carpenterflow: pull parse_assignment() into its own function
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-24 Dan Carpenterflow: revert previous commit
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-24 Dan Carpenterflow: handle struct assignments later
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-24 Dan Carpenterpoints_to_user_data: handle some pointer math better
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-24 Dan Carpenterpoints_to_user_data: communicate USER_PTR returns to...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-23 Dan Carpenterpoints_to_user_data: hard code some ksmbd stuff as...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-23 Dan Carpenterfunction_hooks: do early stuff even earlier
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-23 Dan Carpenterfunction_hooks: don't call db_return_states() early
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-23 Dan Carpenterfunction_hooks: introduce early add_function_hook_early()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-22 Dan Carpenterunreachable: change int to bool
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-22 Dan Carpenterunreachable: delete an extra space character
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-22 Dan Carpenterunreachable: ignore all for_XXX macros
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-15 Dan Carpenterexpressions: make gen_expression_from_key() handle...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-15 Dan Carpenterexpressions: make gen_expr_from_param_key() work for...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-09 Dan Carpentersleeping in atomic: silence some duplicate warnings
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-08 Dan Carpenterdb/kernel.return_fixes: update notifier_to_errno()...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-08 Dan Carpenterdb/smdb.py: update the type strings
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-08 Dan Carpenterkernel.unreachable.ignore: add damon_for_each_target
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-08 Dan Carpenterexpressions: add cast_expression()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-08 Dan Carpenterexpressions: fix a -> vs . bug in gen_expression_from_key()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-08 Dan Carpenterextra: pass a different mod_expr for vanilla assignments
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-08 Dan Carpenterbuf_comparison: add support for struct_size() array
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-08 Dan Carpenterhooks: commit some missing bits
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-08 Dan Carpenterhelper: 0-s32max returns are success
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-08 Dan Carpenterhelper: add a strip_parens() in get_member_name()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-08 Dan Carpenterkernel_host_data: ignore nonsense information
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-08 Dan Carpenterdb/clear_user_data: clean user data more thoroughly
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-08 Dan Carpenterkernel_user_data: ignore nonsense data
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-08 Dan Carpenterkernel_user_data: add some more functions that return...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-08 Dan Carpenterfunction_hooks: create fake_param_assign_helper()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-07 Dan Carpenterpreempt_info: add rht_lock and bit_spin_lock
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-07 Dan Carpenterscheduling_in_atomic: Add mas_store_gfp() as a special...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-07 Dan Carpenterdma_mapping_error: delete obsolete check
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-07 Dan Carpenterdirect_return_instead_of_goto: don't warn about printk...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-06 Dan Carpentersleep_info: handle mutexes correctly
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-02 Dan Carpenterexpressions: handle a case in gen_expression_from_key()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-02-02 Dan Carpenterdb: improve recording when we return a parameter
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-01-19 Dan Carpenterkernel_user_data: iov_iter_count() returns user data
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-01-18 Dan Carpenterparam_key: export the split_param_key() function
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2023-01-12 Dan Carpenterfree_strict: don't promote "maybe_freed" to "freed...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2022-12-13 Dan Carpenterfunction_hooks: use the correct expression
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2022-12-09 Dan Carpenterdebug: print the param key of a variable
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2022-12-08 Dan Carpentergenerisize.pl: remove the function name from "too small...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2022-12-08 Dan Carpenterfrees_param_strict: handle assigned parameters
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2022-12-07 Dan Carpenterbuf_size: small clean up
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2022-12-06 Dan Carpenterkernel.ignore_side_effects: ignore memcpy/move/set
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2022-11-29 Dan Carpentermath: do another strlen fix
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2022-11-29 Dan Carpenterstrlen: add __builtin and __fortify functions
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2022-11-29 Dan Carpenterstruct_assignment: add __builtin_memset/memcpy()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2022-11-29 Dan Carpenterparam_clear: add __builtin_memset/memcpy
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2022-11-29 Dan Carpenterpostop_timeout: warn about incorrect while (timeout...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2022-11-28 Dan Carpenterunchecked_allocation: warn about potential NULL dereferences
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2022-11-25 Dan Carpentergoto_tracker: still doesn't build
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2022-11-25 Dan Carpentergoto_tracker: create a goto state for goto statements
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2022-11-25 Dan Carpentersmatch.h: export __smatch_lineno
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2022-11-25 Dan Carpenterkernel: add handling for kref_put()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2022-11-25 Dan Carpenterkernel_user_data: clean up variable in tag_struct_members()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2022-11-25 Dan Carpenterkernel_user_data: introduce a param/key table
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2022-11-25 Dan Carpentermissing_error_code2: warn about return ret where ret...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2022-11-25 Dan Carpentermissing_error_code: cleanup s/yup/true/
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2022-11-25 Dan Carpentermissing_error_code: fix bug handling inlines
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2022-11-24 Dan Carpenterdirect_return_instead_of_goto: warn about missing unwinds
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2022-11-24 Dan Carpenterdivide_condition: warn about if (foo / 4) {
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2022-11-23 Dan Carpenterfunction_hooks: do set_fresh_mtag_returns() later
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2011-11-21 Dan Carpenterrecognize binary constants
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2011-09-14 Dan Carpenterderef_check: check_deref: print both line numbers
 commit | commitdiff | tree
2011-09-13 Dan Carpentercore: set position earlier in smatch_flow.c
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2011-09-12 Dan Carpenterslist: preserve the ->line value correctly
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
next
Static analysis for C