?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
smdb: add a "preempt" option
2021-08-12 Dan Carpentersmdb: add a "preempt" option
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-12 Dan Carpentersmdb: add an option for smdb.py functions struct_type...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-12 Dan Carpentersmdb.py: add more types
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-12 Dan Carpenterpower_of_two: don't record everything as a power of two
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-12 Dan Carpenterdb: prefer storing param data over return data
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-12 Dan Carpenterfree_param: delete a blank line
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-12 Dan Carpenterchecking_for_null_instead_of_err_ptr: silence a false...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-11 Dan Carpenterhelper: add a short cut in expr_equiv() for testing...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-10 Dan Carpenteruninitialized: silence false postives warnings about...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-10 Dan Carpenterkernel_printf: print a warning for potential precision...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-10 Dan Carpenterkernel: fix a NULL dereference
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-06 Dan Carpenterdb: change how inline functions which are not inlineable...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-06 Dan Carpenterimplied: find implications for assignment conditions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-06 Dan Carpenterkernel_user_data: record when a type is set to user...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-06 Dan Carpenterextra: clean up variable use in handle_bit_test()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-06 Dan Carpenterextra: ignore self assignments "foo = foo;"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-05 Dan Carpentervalidation: update sm_switch2.c (remove NULL dereference...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-05 Dan Carpenterparam_key: introduce get_implied_rl_from_call_str()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-04 Dan Carpentersmatch.h: introduce sm_pedantic()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-04 Dan Carpentervalidation: delete obsolete dev_hold() check
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-08-04 Dan Carpenternetdev_priv: small tweaks
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-30 Dan Carpenterindex_overflow: fix false positives when we're memcpy...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-30 Dan Carpenterheld_dev: delete this check
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-29 Dan Carpenterbits: fix match_assign()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-29 Dan Carpenterparam_key: fix build, add container_of() stuff
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-29 Dan Carpenterbits: get rid of "unknown_bit_info"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-28 Dan Carpenterparam_key: handle &foo in swap_names
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-28 Dan Carpenterslist: allocate snames for all show_sm() returns
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-28 Dan Carpenterssa: introduce ssa_set_all_states()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-28 Dan Carpenterssa: fix the modification hook
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-28 Dan Carpenterssa: don't dynamically allocate &undefined and &merged
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-28 Dan Carpenterstored_conditions: record links better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-28 Dan Carpenterstored_conditions: ignore known conditions more thoroughly
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-28 Dan Carpentertype: add support for parsing <~ container_of keys
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-27 Dan Carpenterfunction_hooks: move code around
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-26 Dan Carpenterimplied,db: fix a bug faking history
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-19 Dan Carpenterkernel_user_data: delete obselete comment
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-19 Dan Carpenterkernel_user_data: AND and MOD are ways to cap data
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-19 Dan Carpentermath: assume container_of() return valid pointers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-19 Dan Carpenterstates: delete unused &ghost state
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-19 Dan CarpenterDocumentation/smatch: update build requirements for...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-06 Dan Carpentertype: handle key type for "*$" where the parameter...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-05 Dan Carpenteratomic_inc_dec: tweak how the return states are calculated
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-05 Dan Carpenteratomic_inc_dec: improve how inc/dec is recorded in...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-05 Dan Carpenteratomic_inc_dec: create separate test_id for freeing...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-01 Dan Carpenterkernel: delete PCIBIOS_BAD_VENDOR_ID returns
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-01 Dan Carpenterdb: add a feature which lets people delete a return...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-07-01 Dan CarpenterDocumentation: add libssl-dev and libtry-tiny-perl...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-30 Dan Carpenterbuf_comparison: improve handling of binop sizes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-30 Dan Carpenterextra: re-write get_long_name_sym()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-30 Dan Carpenterkernel.ignored_macros: add ASSERT() to ignored macros
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-30 Dan Carpentersmatch_data/kernel.clears_argument: add more functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-30 Dan Carpentersmatch_data/kernel.unreachable.ignore: add BUG(), WARN_ON...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-30 Dan Carpenteruser_data: kvm_read_guest_virt() is user data
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-30 Dan Carpenterrosenberg_funcs: warn about information leaks to the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-30 Dan Carpentercomparison: handle code like if (size - used == 0)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-30 Dan Carpenterkernel: hook match_fls() into the code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-30 Dan Carpenterkernel: introduce get_gfp_param()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-28 Dan Carpenterexpressions: introduce get_parent_stmt()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-24 Dan Carpenterparam_key: mark get_variable_from_key() as deprecated
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-24 Dan Carpenterfunction_hooks: update comment explaining various function...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-24 Dan Carpenterfunction_hooks: don't record parameters == as =
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-24 Dan Carpenterfunction_hooks: introduce add_function_param_key_hook_late()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-24 Dan Carpenterstates: add has_possible_state()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-18 Dan Carpenterparam_set: setting stack data doesn't not affect the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-08 Dan Carpenterdb: add support for deleting and splitting returns...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-08 Dan Carpenterdb: call caller_info hooks when local debug is enabled
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-06-02 Dan Carpenterfunction_hooks: print impossible return in debug output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-05-29 Dan Carpenterunwind: ignore drmm_add_action() paths
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-05-29 Dan Carpenterunwind: tweaks to how clk_prepare_enable() is handled
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-05-27 Dan Carpenterhooks: add DECLARATION_HOOK_AFTER
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-05-27 Dan Carpenterallocation_funcs: add a lot more functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-05-27 Dan Carpenterextra: preserve hard max over LIMIT/FILTER actions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-05-27 Dan Carpenterflow: don't parse empty pre statements
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-05-20 Dan Carpenteratomic_inc_dec: make get_best_match() stricter
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-05-20 Dan Carpenteratomic_inc_dec: silence some common false positives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-05-20 Dan Carpenteratomic_inc_dec: move custom function hook to end of...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-05-20 Dan Carpenteratomic_inc_dec: make the implied start/end a pointer
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-05-20 Dan Carpenteratomic_inc_dec: fix names of reference counters
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-05-20 Dan Carpentercontainer_of: fix the build
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-05-20 Dan Carpenterfree_strict: silence some kfree_skb() false positives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-05-20 Dan Carpenterpoints_to_user_data: ignore fake call assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-05-20 Dan Carpenterpasses_array_size: handle "frob(skb->data, skb->len)"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-05-20 Dan Carpenterdb: export is_fn_ptr()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-05-20 Dan Carpenterconditions: set the parent expression for fake assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-05-20 Dan Carpentersymbol: introduce lookup_macro_symbol()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-05-18 Dan Carpenterkernel_user_data: ignore v4l2_subdev_call()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-05-18 Dan Carpenterlocking: ignore efx_rwsem_assert_write_locked()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-05-17 Dan Carpenterextra: fix type bug handling fake parameter assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-05-14 Dan Carpenterssa: parse the assignments later
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-05-14 Dan Carpenterssa: fix a crash
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-05-11 Dan Carpentervalidation/sm_equiv4: update unwind check output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-05-11 Dan Carpentersmatch.h: introduce sm_warning_line()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-05-10 Dan Carpenterlocking: don't store garbage lock information
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-05-10 Dan Carpenterdb: introduce select_caller_name_sym()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-05-10 Dan Carpenterlocking: fix a reversed if statement in do_lock()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-05-10 Dan Carpenterlocking: fix handling of passed in locks
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-05-10 Dan Carpenterpoints_to_user_data: handle arrays inside a user controlled...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-05-10 Dan Carpenterflow: introduce get_last_stmt()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2021-05-10 Dan Carpenterflow: set the parent statement for case statements
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
next
Static analysis for C