messages from 2021-02-15 12:37:21 to 2023-10-30 11:18:27 UTC [more...]
Need help with understanding format in check_unwind.c
2023-10-30 11:18 UTC (4+ messages)
[PATCH] check_ida_alloc: Improve check to not warn when min is '1'
2023-10-26 12:27 UTC (2+ messages)
List some ideas about Smatch as public projects in our open source club
2023-10-24 5:08 UTC (3+ messages)
Smatch or Coccinelle for BPF static code analysis
2023-01-18 15:46 UTC (2+ messages)
hugetlb BUILD REGRESSION in linux-next20221121
2022-11-29 17:23 UTC (4+ messages)
DB changes and job changes
2022-10-27 15:12 UTC
[PATCH 1/2] host_data: export checking for host function name/param
2022-10-03 6:42 UTC (2+ messages)
` [PATCH 2/2] check_host_input: add a new pattern
[PATCH] allocation: Track the size of allocated elements
2022-08-26 10:33 UTC (4+ messages)
[PATCH] allocation: Add some kv... variants
2022-08-25 17:45 UTC
[PATCH] continue_vs_break: Fix some style issue
2022-08-25 17:38 UTC
[PATCH 1/2] smatch_allocations: Record the function that allocates memory
2022-08-16 8:12 UTC (4+ messages)
` [PATCH 2/2] check_freeing_devm: Take advantage of the new add_allocation hook
[PATCH] smatch_allocations: Add devm_kmemdup() to list
2022-08-15 16:13 UTC
[PATCH] smatch_allocations: Remove dma_alloc_consistent() from the list
2022-08-15 11:45 UTC (2+ messages)
[PATCH] smatch_allocations: Give a hint about dma_alloc_(attrs|coherent)
2022-08-15 11:42 UTC (2+ messages)
[PATCH] smatch_allocations: Fix and improve the kernel_alloc_funcs list
2022-08-15 8:14 UTC
Smatch v1.73 released
2022-08-10 10:59 UTC
[PATCH] smatch_kernel_host_data: enable additional debug
2022-06-28 8:27 UTC (5+ messages)
[PATCH] check_ida_alloc: Add a new check to spot invalid conversion from ida_simple_get()
2022-06-10 10:25 UTC (2+ messages)
[PATCH] check_dma_mapping_error: Remove check for pci_dma_mapping_error()
2022-06-01 15:25 UTC (2+ messages)
[PATCH] check_release_resource: Remove some test about functions that are no more part of linux
2022-05-31 11:12 UTC (2+ messages)
[PATCH] check_checking_for_null_instead_of_err_ptr: Save a few cycles
2022-05-30 20:02 UTC
new locking check
2022-05-30 5:49 UTC
[PATCH] check_freeing_devm: Report the correct function name that triggered the warning
2022-05-27 6:04 UTC (2+ messages)
[PATCH] Remove pci_alloc_consistent() and pci_alloc_coherent() checks
2022-05-26 14:40 UTC (2+ messages)
[RFC PATCH] check_freeing_devm: Also track erroneous usage of kfree when the pointer has been re-assigned
2022-05-26 14:22 UTC (9+ messages)
[PATCH] check_all_func_returns: Fix a test against "vfprintf"
2022-05-26 11:56 UTC (2+ messages)
[PATCH] check_freeing_devm: Add some new devm_ function
2022-05-26 11:55 UTC (2+ messages)
[PATCH] check_release_resource: Use INT_PTR instead of hand writing it
2022-05-26 10:17 UTC (2+ messages)
[PATCH] check_bogus_irqrestore: Preparation work in order to add more functions
2022-05-26 5:15 UTC
[PATCH] check_kvmalloc_NOFS: Report the correct function name that triggered the warning
2022-05-26 5:02 UTC
[PATCH] kmalloc_wrong_size: Preparation work in order to add more functions
2022-05-23 13:00 UTC (2+ messages)
[PATCH] test_bit: Add some more functions to test
2022-05-23 12:13 UTC (2+ messages)
[PATCH] test_bit: Report the correct function name that triggered the warning
2022-05-21 9:49 UTC
[PATCH] check_spectre: Add a switch to optionally use host data
2022-05-17 18:43 UTC (5+ messages)
[PATCH] Add tracking of host/VMM data for confidential computing
2022-05-15 7:55 UTC
[PATCH v3 0/2] Add a section for static analysis tools
2022-04-05 15:50 UTC (8+ messages)
` [PATCH v3 1/2] Documentation: dev-tools: "
` [PATCH v3 2/2] Documentation: dev-tools: Enhance static analysis section with discussion
[PATCH v2 0/2] Add a section for static analysis tools
2022-04-01 0:19 UTC (13+ messages)
` [PATCH v2 1/2] Documentation: dev-tools: "
` [PATCH v2 2/2] Documentation: dev-tools: Enhance static analysis section with discussion
[PATCH] Documentation: dev-tools: Add a section for static analysis tools
2022-03-29 9:24 UTC (8+ messages)
` [cocci] "
alloc_page leaks tracing
2022-03-25 6:48 UTC (5+ messages)
[PATCH] media: lirc: suppress false positive smatch warning
2022-03-10 14:49 UTC (3+ messages)
[PATCH] Quick trial on tracing host inputs
2022-03-08 12:38 UTC (4+ messages)
[PATCH 0/1] New smatch pattern for Confidential Cloud Computing
2022-03-08 11:12 UTC (4+ messages)
` [PATCH 1/1] check_host_input: add a pattern
FW: [error27/smatch] smatch misidentifies uninitialized variable after switch with no default: (Issue #3)
2022-01-10 12:42 UTC (2+ messages)
[PATCH v1 1/3] media: staging: tegra-vde: Support reference picture marking
2021-11-19 16:14 UTC (2+ messages)
offline for the next two weeks
2021-10-16 19:32 UTC
BKM on generating a call graph for smatch warnings
2021-09-14 6:06 UTC (3+ messages)
Smatch v1.72 released
2021-09-01 15:23 UTC
[PATCH] check_netdev_priv: warn about using netdev priv data after free_netdev
2021-08-04 14:55 UTC (8+ messages)
[PATCH] check_do_while_loop_limit: implements checker for do_while loops
2021-07-27 9:39 UTC (2+ messages)
[PATCH] check_do_while_loop_limit: implements checker for do_while loops
2021-07-26 13:50 UTC (2+ messages)
[PATCH] bits_clear and bits_set: Track bits cleared and set inside a function
2021-07-22 8:57 UTC (2+ messages)
[PATCH] bits_clear and bits_set: Track bits cleared and set inside a function
2021-07-22 8:55 UTC
[PATCH] bits_clear and bits_set: Track bits cleared and set inside a function
2021-07-22 8:47 UTC
[PATCH] bits_clear and bits_set: Track bits cleared and set inside a function
2021-07-22 8:27 UTC (2+ messages)
[PATCH] bits_clear and bits_set: Track bits cleared and set inside a function
2021-07-21 11:25 UTC
[PATCH] bits_clear and bits_set: Track bits cleared and set inside a function
2021-07-21 11:21 UTC (2+ messages)
[PATCH] extra: Fix handle_bit_test so that null set condition is taken care of
2021-07-21 10:51 UTC
[PATCH] check_iterator: Warn about end of loop tests for list_for_each_entry
2021-07-20 19:39 UTC
[PATCH] power_of_two: Track variables which are powers of two
2021-07-20 19:47 UTC
[PATCH 2/2] extra: Fix handle_bit_test so that null set condition is taken care of
2021-07-13 18:05 UTC
[PATCH 1/2] extra: Fix false output of handle_AND_op and handle_AND_condition
2021-07-13 15:35 UTC (3+ messages)
` [PATCH 2/2] extra: Fix handle_bit_test so that null set condition is taken care of
[PATCH 1/2] extra: Fix false output of handle_AND_op and handle_AND_condition
2021-07-12 13:57 UTC (4+ messages)
` [PATCH 2/2] [PATCH 2/2] Fix handle_bit_test so that null set condition is taken care of
[PATCH 1/2] extra: Fix false output of handle_AND_op and handle_AND_condition
2021-07-12 12:59 UTC (4+ messages)
` [PATCH 2/2] Fix handle_bit_test so that null set condition is taken care of
[PATCH] extra: Fixed false output of handle_AND_op and handle_AND_condition
2021-07-12 7:30 UTC (2+ messages)
[PATCH] extra: Fixed handle_bit_test so that null set condition is taken care of
2021-07-12 6:36 UTC (3+ messages)
Retrieving status of local variables
2021-05-12 19:25 UTC (4+ messages)
Smatch mailing list archives
2021-05-11 14:10 UTC (10+ messages)
possible incompletely defined array smatch test addition?
2021-04-15 14:17 UTC
compiling smatch 1.71
2021-04-01 11:09 UTC (3+ messages)
smatch and copy_{to,from}_user return values
2021-03-10 10:01 UTC (5+ messages)
False Positive return_cast check
2021-02-15 16:04 UTC (3+ messages)
page: next (older) | prev (newer) | latest
- recent:[subjects (threaded)|topics (new)|topics (active)]
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox