?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
flow: add --time-stmt option
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
2020-10-23 Dan Carpenterstates: introduce has_states()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-10-23 Dan Carpentermath: don't use type_value for get_implied_rl()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-10-23 Dan Carpenterleaks: small white space cleanup
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-10-23 Dan Carpentermath: remove a stray space character
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-10-23 Dan Carpenterparam_limit/filter/set: use param_key code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-10-23 Dan Carpenterparam_key: export some functions and introduce map_to_param()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-10-23 Dan Carpentersmatch: save less stuff, run faster
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-10-23 Dan Carpentertype_val: speed up type_val cache
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-10-23 Dan Carpenterflow: clear out fake assignments after they're not...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-10-23 Dan Carpentermath: store all constant EXPR_BINOP results
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-10-15 Dan Carpenterdb: handle extern inline functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-10-14 Dan Carpenterderef: avoid the big_statement_stack
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-10-14 Dan Carpenterparam_used: always assume "$" and "*$" are used
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-10-13 Dan Carpentersmatch: add a [smatch.check_name] to the output with...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-30 Dan Carpentersmatch_scripts/new_bugs.pl: total re-write of the script...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-30 Dan Carpenterdb/create_db: don't use corrupted DB
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-29 Dan Carpenterparam_limit: use the shared copy of start states
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-29 Dan Carpenterparam_filter: delete unused code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-28 Dan Carpenterflow: fake a parameter assignment for literals
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-25 Dan Carpenterparam_key: remove bogus consts
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-25 Dan Carpenterparam_key: don't export state_name_to_param_name()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-25 Dan Carpentercapped: convert return info to modern code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-25 Dan Carpenterassigned_expr: clean up old ancient code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-25 Dan Carpenterlocking: fix compile (broken by add_function_data())
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-25 Dan Carpentercapped: change how binops are handled
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-25 Dan Carpentercapped: change += assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-25 Dan Carpenterkernel: add support for array_size()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
next
Static analysis for C