?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
deref: avoid the big_statement_stack
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
2020-09-25 Dan Carpenterkernel: fix implied_err_cast_return() return
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-25 Dan Carpenterfrees_param_strict: use get_param_key_from_sm()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-25 Dan Carpenteratomic_inc_dec: add some more inc_dec functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-25 Dan Carpenterimplied: add a comment in possible_false_helper()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-25 Dan Carpenterparam_key: use get_name_sym_from_key() instead of return_sta...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-25 Dan Carpenterflow: Use add_function_data() to clean up the code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-25 Dan Carpenterdb/param_key: move some key related functions from...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-22 Dan Carpenterunwind: add some more functions that need to be freed
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-22 Dan Carpentermath: improve AND handling
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-22 Dan Carpenterfunction_ptrs: don't store nonsense fake pointers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-22 Dan Carpenterunwind: handle freeing in other functions better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-22 Dan Carpenterflow: introduce function data
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-22 Dan Carpenterparam_key: preserve parameter assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-16 Dan Carpentercheck_unwind: remove request_resource()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-16 Dan Carpenterdb: fix db_incomplete
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-16 Dan Carpenterunwind: fix a spelling mistake "ballance" --> "balance"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-16 Dan Carpenterdb: record if the DB is missing information
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-16 Dan Carpenterunwind: fix request_resource() checking
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-16 Dan Carpenterdb: split ranged implication hooks
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-15 Dan Carpenterparam_key: introduce get_name_sym_from_key()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-15 Dan Carpenterranges: add is_err_or_null()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-15 Dan Carpenterunwind: re-write the check
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-15 Dan Carpenterparam_key: move functions to new file
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-11 Dan Carpenterhelper: introduce get_param_key_from_var_sym()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-11 Dan Carpenterreturn_to_param: delete debug code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-11 Dan Carpenterreturn_to_param: Fix returned function parsing
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-10 Dan Carpenterfunction_hooks: check the return from the implied_return_hooks
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-10 Dan Carpenterfunction_hooks: rename a variable
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-04 Dan Carpenterdb/kernel.insert: the device_add() function sets the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-04 Dan Carpenterdb/kernel.insert: Insert some vmalloc() limits
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-01 Dan Carpentervalidation: update locking tests
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-01 Dan CarpenterMerge git://git.kernel.org/pub/scm/devel/sparse/sparse...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-01 Dan Carpenterhelper: export get_param_key_from_sm()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-09-01 Dan Carpenterlocking: turn off locking check for non-SMP configs
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-08-24 Gwendal GrignouMakefile: Install database in a share directory
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-08-14 Dan Carpenterfree_strict/frees_param: re-write these checks a bit
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-08-14 Dan Carpenterfree: fix parsing of parent_is_free_var_sym()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-08-14 Dan Carpenterbuf_size: add support for kvcalloc()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-08-14 Dan Carpenterbuf_size: improve support for variable size arrays
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-08-14 Dan Carpenterbuf_size: improve support for zero size arrays
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-08-13 Dan Carpentercapped: move binop handling into a separate function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-08-13 Dan Carpentercapped: hard max does not mean capped
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-08-11 Dan Carpenterdb/smdb: port it to python3
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-08-11 Dan Carpenterdb/smdb: add USER_PTR types
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-08-06 Dan Carpenterequiv: delete unused remove_from_equiv_expr() function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-08-05 Dan Carpenteruser_data: clean up match_assign()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-08-05 Dan Carpenteruser_data: mark array_index_mask_nospec as capped
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-08-05 Dan Carpenterpoints_to_user_data: reset the state to not user data...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-08-05 Dan Carpenterdb: don't store unreachable calls
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-08-05 Dan Carpenterdereferences_param: mark more parameters as dereferenced
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-08-05 Dan Carpentermath: array parameters can be NULL
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-08-03 Dan Carpenterpoints_to_user_data: Fix a segfault parsing kernel...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-07-21 Dan Carpenteratomic_inc_dec: create a new inc_dec table
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-07-14 Dan Carpenteruser_data/points_to_user_data: re-write user tracking
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-07-14 Dan Carpenterflow: fix certain inline functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-07-14 Dan Carpenterdb: create fake assignments for calls and returns
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-07-14 Dan Carpenterkernel: improve handling of kernel parameters
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-07-14 Dan Carpenterkernel: improve handling for IS_ERR()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-07-14 Dan Carpenteruser_data: update a comment
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-07-14 Dan Carpentermath: fix a compile issue
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-07-14 Dan Carpentermath: assume pointer additions don't overflow
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-07-14 Dan Carpenterbuf_size: fake function assigns are always unknown...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-07-14 Dan Carpentermath: add support for __builtin_ffs()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-07-14 Dan Carpenterallocating_enough_data: silence container_of() false...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-07-14 Dan CarpenterMerge git://git.kernel.org/pub/scm/devel/sparse/sparse...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-06-19 Dan Carpentertype: mark foo.bar.baz as a local variable
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-06-18 Dan Carpenterextra: mtag: don't store unknown states
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-06-08 Dan Carpenterdb: Fix buffer overflow in state_name_to_param_name()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-26 Dan Carpenteratomic_inc_dec: remove an unused parameter
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-26 Dan Carpenteratomic_inc_dec: don't warn about impossible paths
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-26 Dan Carpenteratomic_inc_dec: ignore local static variables
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-26 Dan Carpenteratomic_inc_dec: unknown values are not failures
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-26 Dan Carpenteratomic_inc_dec: don't record increment/decrement if...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-26 Dan Carpenteratomic_inc_dec: record potential decrements as a decrement
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-26 Dan Carpenteratomic_inc_dec: don't store information in impossible...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-26 Dan Carpenteratomic_inc_dec: add more functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-26 Dan Carpenteratomic_inc_dec: don't double set states to &inc/&dec
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-26 Dan Carpenteratomic_inc_dec: change how unmatched states are handled
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-26 Dan Carpenteratomic_inc_dec: rename "orig" to "start_state"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-20 Dan Carpenterkernel_printf: print error pointers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-20 Dan Carpenterkernel_printf: add support for %ls
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-20 Dan Carpenterkernel_printf: add _GNU_SOURCE define
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-19 Dan CarpenterDocumentation/smatch: add a reference to the mailing...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2020-05-12 John LevonCheck for NULL stmt in check_all_func_returns
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
next
Static analysis for C