smatch.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
Treat macro call like ordinary functions in smatch
 2024-06-20 19:57 UTC  (4+ messages)

[PATCH 0/2] Support custom build directory for kernel
 2024-06-19  7:36 UTC  (4+ messages)
` [PATCH 1/2] kchecker: Fix --outfile handling
` [PATCH 2/2] kernel: Add support for custom build directory

[PATCH] sentinel_ctltable: Add a check for sentinel elements in ctl_table arrays
 2024-06-14 13:28 UTC  (2+ messages)

How do I make a contribution to the automatic analysis done on the kernel
 2024-06-04 15:48 UTC  (3+ messages)

likely/unlikely usage validation
 2024-05-29 14:36 UTC  (9+ messages)

[PATCH] pre-proc: use uname() syscall instead of invoking uname
 2024-05-10 17:41 UTC  (3+ messages)

About building the database for smatch
 2024-04-08  5:42 UTC  (2+ messages)

[PATCH 0/3] Documentation/smatch: RST conversion and fixes
 2024-04-02 14:33 UTC  (5+ messages)
` [PATCH 1/3] Documentation/smatch: fix paths in the examples
` [PATCH 2/3] Documentation/smatch: convert to RST
` [PATCH 3/3] Documentation/smatch: fix typo in submitting-patches.md

[PATCH v2 net] ice: Fix freeing uninitialized pointers
 2024-03-24 13:22 UTC  (3+ messages)
    ` [v2] "

about using smatch in all debian C code
 2024-03-22  7:55 UTC  (32+ messages)
  `  "
      `  "
            `  "
                `  "
                  `  "
                      `  "
                        `  "
                          `  "
                              `  "
                                  `  "
                                      `  "

[PATCH] kernel_user_data: add ceph_decode_n() as returning user data
 2024-03-20 11:45 UTC  (2+ messages)

Improving data processing with prepared SQL statements
 2024-03-18 14:56 UTC 

Growing development interests for Smatch issues?
 2024-03-18 11:30 UTC 

Growing benefits from the Smatch cross function database?
 2024-03-17  9:33 UTC 

smatch and locking checks
 2024-03-15 10:56 UTC  (3+ messages)

[bug report] bcachefs: missing error checks for bio_alloc_bioset()
 2024-02-22  0:02 UTC  (4+ messages)

[PATCH] untracked_param: fix compilation errors with GCC 14
 2024-01-22  6:25 UTC  (2+ messages)

PSA: this list has moved to new vger infra (no action required)
 2023-12-08 18:25 UTC 

[PATCH smatch] check_uninitialized_kobj: Add a new check
 2023-12-01 10:48 UTC  (3+ messages)

sparse feature request: nocast integer types
 2023-11-27 17:26 UTC  (3+ messages)

PSA: smatch is now archived on lore.kernel.org
 2023-11-23 21:40 UTC 

about using smatch in all debian C code(the previous email forgot to cc Dan,please ignore it)
 2023-11-09  5:36 UTC 

Kernel config usage
 2023-11-02 11:21 UTC  (3+ messages)

[PATCH v2] check_unwind: Add request/release_firmware to the function table
 2023-11-01  7:36 UTC  (2+ messages)

[PATCH] check_unwind: Add request/release_firmware to the function table
 2023-10-31 15:22 UTC  (3+ messages)

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  (4+ messages)
    ` [cocci] "


This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).