Coccinelle archive mirror
 help / color / mirror / Atom feed
- recent:[subjects (threaded)|topics (new)|topics (active)]
2025-11-14 12:16 [cocci] Searching for unused input parameters with SmPL?
2025-11-13  7:44 [cocci] Using @ characters in string literals
2025-11-12 17:18 [cocci] Reacting to negative source code search results with SmPL? 2+ messages
2025-11-11 18:23 [cocci] Checking SmPL support for two special expressions 10+ messages
2025-11-11 14:48 [cocci] Determining names for function parameters with SmPL?
2025-11-10 15:10 [cocci] Moving string literals with SmPL? 5+ messages
2025-11-09 17:23 [cocci] Test case consequences for a special SmPL disjunction
2025-11-09 12:08 [cocci] Restricting information search for header files 5+ messages
2025-11-08 13:30 [cocci] Searching for switch statements with SmPL? 9+ messages
2025-11-08  9:50 [cocci] Avoiding duplicate elements in SmPL disjunctions?
2025-11-01 12:42 [cocci] [RFC] Detecting missing null pointer checks after memory allocations 2+ messages
2025-11-01  9:07 [cocci] Improving expression list selections with SmPL ellipses? 4+ messages
2025-10-29 19:56 [cocci] [RFC] Increasing usage of direct pointer assignments from memcpy() calls with SmPL? 17+ messages
2025-10-29 13:29 [cocci] [PATCH] Revert "scripts/coccinelle: Find PTR_ERR() to %pe candidates" 11+ messages
2025-10-29  9:48 Re: [cocci] drivers/phy/ti/phy-omap-usb2.c:442:4-11: WARNING: Consider using %pe to print PTR_ERR() (fwd)
2025-10-25  8:05 [cocci] Searching for selected function declarations with SmPL? 6+ messages
2025-10-24 17:02 [cocci] Checking another special test call for SmPL
2025-10-19 17:13 Re: [cocci] [1/3] PCI: j721e: Propagate dev_err_probe return value 2+ messages
2025-10-19 14:00 [cocci] Analysis challenges with SmPL for pass-through functions? 12+ messages
2025-10-18 11:40 Re: [cocci] [1/3] PCI: j721e: Propagate dev_err_probe return value 2+ messages
2025-10-17 10:32 Re: [cocci] [PATCH RESEND] Coccinelle: pm_runtime: Fix typo in report message 2+ messages
2025-10-14 15:12 [cocci] [PATCH] coccinelle: of_table: Update Keywords for SPI device ID tables 3+ messages
2025-10-13 11:50 [cocci] Improving source code parsing for “fs/smb/client/dir.c”? 8+ messages
2025-10-08 10:10 [cocci] Reconsidering condition check repetitions with help of SmPL? 3+ messages
2025-09-30 17:30 [cocci] [PATCH 0/6] Coccinelle: ptr_err_to_pe: Adjustments for SmPL code 7+ messages
2025-09-30 12:10 [cocci] Adjusting source code behind “default:” with SmPL?
2025-09-28  9:22 [cocci] Improving handling of position information for SmPL? 2+ messages
2025-09-26 13:50 [cocci] Support for SARIF (by SmPL)?
2025-09-24 14:01 [cocci] [PATCH] cocci: drm: report devm-allocated arguments and fields 3+ messages
2025-09-22 11:23 [cocci] Applying symbolic evaluation/execution together with computation tree logic variants?
2025-09-21 11:26 [cocci] Improving support for iteration statements by SmPL?
2025-09-18 12:40 Re: [cocci] [RFC] coccinelle script: scope-based resource cleanup
2025-09-18 10:43 [cocci] [PATCH net-next 0/2] scripts/coccinelle: Symbolic error names script 16+ messages
2025-09-14 11:47 [cocci] Possible bug 5+ messages
2025-09-11 19:33 [cocci] [PATCH] coccinelle: of_table: Handle SPI device ID tables
2025-09-11 18:47 [cocci] [PATCH RESEND] coccinelle: platform_no_drv_owner: Handle also built-in drivers
2025-09-08 20:42 [cocci] [PATCH] Coccinelle: pm_runtime: Fix typo in report message
2025-09-05 14:06 [cocci] devm as drm-init arg: rule with expression finds less than rule with identifier 3+ messages
2025-09-05  9:15 [cocci] [RFC] Sharing data processing resources for selected SmPL scripts? 3+ messages
2025-09-04 12:36 [cocci] Searching for missing cleanup function calls (with SmPL)? 25+ messages
2025-09-03 14:04 [cocci] Help - Pattern with nested 'if' statements. 2+ messages
2025-08-24 12:40 [cocci] [RFC] Choosing “semantics” better for SmPL script parts? 5+ messages
2025-08-22  6:30 [cocci] Reducing the scope for a selected variable with SmPL? 11+ messages
2025-08-08  8:00 [cocci] Searching for C++ delete expressions (with SmPL)? 7+ messages
2025-07-29 12:51 [cocci] Improving support for searching format strings
2025-07-28 21:40 [cocci] spatch really could use a --keep-going 3+ messages
2025-07-27 13:36 [cocci] Supporting expression fragments with SmPL dot variants? 3+ messages
2025-07-24  6:46 [cocci] Trouble replacing function declarations. 4+ messages
2025-07-23 13:49 Re: [cocci] [PATCH net-next 1/5] net: rpmsg-eth: Add Documentation for RPMSG-ETH Driver 5+ messages
2025-07-23  7:45 [cocci] Searching for questionable call pairs (with SmPL)? 49+ messages
2025-07-19 12:04 [cocci] Reducing parentheses (with SmPL)? 26+ messages
2025-07-13  7:21 [cocci] Deleting duplicate condition checks (with SmPL)? 7+ messages
2025-07-05 20:05 [cocci] [PATCH] Coccinelle: misc: Add SmPL script “show_questionable_count_limit_checks.cocci”
2025-07-05 18:20 [cocci] Support for position variables on comparison operators with SmPL isomorphisms? 3+ messages
2025-07-03 22:51 [cocci] [RESEND PATCH] coccinelle: misc: secs_to_jiffies: Implement context and report modes
2025-07-01 12:38 [cocci] [PATCH v7] coccinelle: misc: Add field_modify script
2025-07-01  8:01 [cocci] Searching function implementations with more than a single return? 23+ messages
2025-07-01  6:33 [cocci] Excluding files from data processing? 4+ messages
2025-06-29 17:04 [cocci] [HELP] Using macro `randomized_struct_fields_end` as context? 13+ messages
2025-06-29 13:05 [cocci] Searching for longer conjunctions (with SmPL)? 5+ messages
2025-06-29  8:19 [cocci] How to improve the software according to stack overflows?
2025-06-28 14:11 [cocci] Avoiding metavariable confusion for duplicate identifiers? 12+ messages
2025-06-26  7:43 Re: [cocci] [PATCH v6] coccinelle: misc: Add field_modify script
2025-06-25 12:45 [cocci] [BUG] Failed assertion triggered by Linux kernel file include/trace/events/mmflags.h
2025-06-24 13:54 Re: [cocci] [PATCH v5] coccinelle: misc: Add field_modify script
2025-06-22  7:30 [cocci] Passing code replacements by APIs (for SmPL)? 3+ messages
2025-06-19 14:26 [cocci] Adjusting applicability of “block markers” (for SmPL)?
2025-06-18 16:15 Re: [cocci] Checking for the usability of SmPL features?
2025-06-12 13:46 [cocci] [PATCH v4 0/5] Add FIELD_MODIFY() helper 8+ messages
2025-06-10 17:49 Re: [cocci] [PATCH] coccinelle: misc: secs_to_jiffies: Implement context and report modes 3+ messages
2025-06-10  8:55 [cocci] Checking another deletion of redundant null pointer checks (with SmPL)? 17+ messages
2025-06-06  7:26 Re: [cocci] [PATCH v2] scripts: coccicheck: filter *.cocci files by MODE 5+ messages
2025-06-05  4:44 [cocci] [PATCH v1] scripts: coccicheck: filter *.cocci files by MODE 3+ messages
2025-05-18  8:50 [cocci] Reconsider software dependencies for PCRE support (with SmPL) 10+ messages
2025-04-30 13:09 [cocci] How to delete selected redundant null pointer checks with SmPL? 8+ messages
2025-04-26 10:41 Re: [cocci] [RFC][PATCH 0/2] Add is_user_thread() and is_kernel_thread() helper functions
2025-04-25 21:57 [cocci] Fatal error: exception Coccinelle_modules.Common.Impossible(126) 4+ messages
2025-04-24 19:40 [cocci] Missing annotated tag for version 1.3 3+ messages
2025-04-17 10:47 [cocci] [PATCH v3 0/6] Add FIELD_MODIFY() helper 34+ messages
2025-04-14 14:32 [cocci]  Utilisation coccinelle sur des [tres tres] gros fichiers source 2+ messages
2025-04-03  2:01 [cocci] [PATCH kdevops] scripts/coccinelle/generation: add example generation script 5+ messages
2025-04-02 11:23 [cocci] Support for unary operator matching 2+ messages
2025-04-02  9:55 [cocci] Fixing indentation for a generated patch?
2025-03-21 11:50 [cocci] scoped_guard 11+ messages
2025-03-19 14:06 [cocci] Improving find commands? 4+ messages
2025-03-19  8:34 [cocci] [PATCH v1] adjust URL in vim README file 2+ messages
2025-03-19  8:14 [cocci] [PATCH v3] replace pcre with pcre2 2+ messages
2025-03-18 15:42 [cocci] [PATCH v1] remove stale log.txt 2+ messages
2025-03-18 11:48 [cocci] Bug: cocci seems to have issues with math expression in struct initialisers 2+ messages
2025-03-18 10:13 [cocci] the future of bundles in coccinelle.git 15+ messages
2025-03-17 22:10 [cocci] [PATCH v1] remove unused version files 2+ messages
2025-03-17 21:35 [cocci] [PATCH v2] replace pcre with pcre2 2+ messages
2025-03-17 20:59 Re: [cocci] __free() attribute inhibits matching? 21+ messages
2025-03-17 15:08 [cocci] [PATCH v1] replace pcre with pcre2 6+ messages
2025-03-17 11:54 [cocci] make check results differ in gadget_sorting_hook 3+ messages
2025-03-17  8:00 [cocci] [PATCH v1] Adjust help text for --with-metainfo configure option 3+ messages
2025-03-17  7:58 [cocci] [PATCH v1] Adjust configure warning for systems without hevea 3+ messages
2025-03-16  8:50 Re: [cocci] [patch 0/7] genirq/generic_chip: Convert locking to guards
2025-03-14  7:52 [cocci] [RFC] Keeping more higher level structures for efficient data processing?
2025-03-10 14:39 [cocci] Detecting Use-After-Free and Analyzing CMake Projects 4+ messages
2025-03-07  0:55 Re: [cocci] behavior change in semantic patches since c36b51ffc889 ("don't drop down on single statement") 14+ messages
2025-03-05 21:14 [cocci] Question about Coccinelle (with __uint macro) 5+ messages
2025-03-02 16:06 [cocci] [PATCH v2 03/11] ext4: reorder capability check last 19+ messages
2025-02-25 20:17 [cocci] [PATCH v3 04/16] ALSA: ac97: convert timeouts to secs_to_jiffies() 40+ messages
2025-02-24 21:24 [cocci] Replacement of the form `x |= function()` 10+ messages
2025-02-22 13:44 [cocci] [RFC] Extending usage of attribute “__free” (with SmPL)?
2025-02-21 13:01 Re: [cocci] [PATCH 1/4] media: nuvoton: Fix reference handling of ece_pdev
2025-02-21 10:11 [cocci] More benefits from higher level structures for coccicheck scripts?
2025-02-15 18:53 [cocci] Adding statement after declarations with zero-length match after 10+ messages
2025-02-11 17:35 [cocci] how to write an spatch in order to replace guard vs #prama once 6+ messages
2025-02-10 11:08 [cocci] Creating function definitions from function pointers in a struct with coccinelle 11+ messages
2025-02-10  5:20 [cocci] [RFC PATCH 0/6] debugfs: Replace dentry with an opaque handle in debugfs API 18+ messages
2025-02-06  9:31 [cocci] possible regressions in 1.1.1 -> 1.2 28+ messages
2025-02-05 14:28 [cocci] [PATCH/RFC v2] coccinelle: of_table: Do not add commas after sentinels 2+ messages
2025-02-05 12:05 [cocci] Increasing awareness for short-circuit evaluation consequences by SmPL disjunctions? 3+ messages
2025-02-03 23:50 [cocci] [PATCH v2 0/3] Converge on using secs_to_jiffies() part two 9+ messages
2025-01-30 14:19 [cocci] Help to match variables with different names 8+ messages
2025-01-29  8:06 [cocci] [PATCH] coccinelle: misc: secs_to_jiffies script: Create dummy report 11+ messages
2025-01-28 18:21 [cocci] [PATCH 01/16] coccinelle: misc: secs_to_jiffies: Patch expressions too 42+ messages
2025-01-23 13:53 [cocci] [PATCH v2 0/5] kci-gitlab: Introducing GitLab-CI Pipeline for Kernel Testing 42+ messages
2025-01-21 20:18 [cocci] linux-next: virtual rule report not supported 10+ messages
2025-01-17 22:51 [cocci] Replacing cast in nested initializers 2+ messages
2025-01-17  7:55 [cocci] Improving test case constructions
2025-01-14 16:42 [cocci] Ellipses usage in line addition 11+ messages
2025-01-13 11:54 [cocci] spatch #include statements and include search path 9+ messages
2025-01-04 14:14 [cocci] [PATCH] coccinelle: platform_no_drv_owner: Handle also built-in drivers 2+ messages
2025-01-03 10:48 [cocci] Matching and replacing array types in sizeof() 2+ messages
2024-12-19  7:25 [cocci] Depends on with negative matches 11+ messages
2024-12-17 19:18 [cocci] Training: Semantic Patching of C and C++ Code with Coccinelle
2024-12-17 17:33 Re: [cocci] [PATCH v3 02/19] coccinelle: misc: Add secs_to_jiffies script
2024-12-11 12:20 [cocci] Development challenges for handling of selected code repetitions (with SmPL)? 4+ messages
2024-12-04 12:13 [cocci] RFC: Fix on bash completion script for `_spatch not found` issue
2024-11-26  6:12 [cocci] Replacing type names 25+ messages
2024-11-25 13:16 [cocci] Reconsidering application of selected SmPL isomorphisms 14+ messages
2024-11-25 10:39 [cocci] [PATCH 03/11] ext4: reorder capability check last 25+ messages
2024-11-25  8:40 [cocci] Searching resources for software documentation?
2024-11-19 13:14 [cocci] Marking several issues as “not planned” 8+ messages
2024-11-17  9:26 [cocci] Reconsidering special return statements (with SmPL)? 3+ messages
2024-11-15 21:26 [cocci] [PATCH v2 00/21] Converge on using secs_to_jiffies() 53+ messages
2024-11-15 21:22 [cocci] [PATCH 04/22] s390: kernel: Convert timeouts to use secs_to_jiffies() 31+ messages
2024-11-15 15:51 [cocci] new release, 1.3 3+ messages
2024-11-12 16:50 [cocci] Same identifier for type and variable
2024-11-11 19:59 [cocci] How to add error handling code before first use 4+ messages
2024-11-10  1:34 [cocci] [PATCH v2 00/11] kbuild: support building external modules in a separate build directory 26+ messages
2024-11-09 13:14 [cocci] EBNF for Coccinelle file formats? 9+ messages
2024-11-06 16:20 [cocci] Generating parse trees? 3+ messages
2024-11-04 16:28 [cocci] Importing source code into graph databases? 7+ messages
2024-11-02 12:10 [cocci] Searching for selected identifiers in code parts (with SmPL)? 3+ messages
2024-10-27 15:25 Re: [cocci] [PATCH] coccinelle: Add str_off_on() and str_no_yes() rules 3+ messages
2024-10-24 11:56 [cocci] Multiple returns significant performance impact 39+ messages
2024-10-17 18:20 [cocci] [RFC] Growing usage of the attribute “__free”?
2024-10-17 15:36 [cocci] Clarifying a “syntax error” in SmPL Python code? 8+ messages
2024-09-30 15:21 [cocci] Assistance in Coccinelle script 8+ messages
2024-09-27  9:30 [cocci] Searching compound statements without “if” filter (by SmPL)? 7+ messages
2024-09-25 12:40 [cocci] Avoiding duplicate statements with SmPL?
2024-09-23 10:24 Re: [cocci] [PATCH -next v3 01/10] coccinelle: Add rules to find str_true_false() replacements
2024-09-21 19:50 [cocci] Determining a return code variable for a jump target (with SmPL)? 15+ messages
2024-09-19  6:25 Re: [cocci] [PATCH -next v3 01/10] coccinelle: Add rules to find str_true_false() replacements 3+ messages
2024-09-13 13:16 Re: [cocci] [PATCH] pmdomain: rockchip: Simplify dropping OF node reference 2+ messages
2024-09-09 16:00 Re: [cocci] [PATCH -next v2 1/9] coccinelle: Add rules to find str_true_false() replacements 2+ messages
2024-08-25 19:30 [cocci] old versions of OCaml
2024-08-24 12:23 [cocci] Symbolic names in iso-files 5+ messages
2024-08-13  6:15 [cocci] Iterator macros 12+ messages
2024-08-09  3:31 [cocci] [PATCH] coccinelle: locks: call_kern: Add rcu_read_lock case
2024-08-05  8:39 [cocci] Cocci MUCH more slow after 6.11 22+ messages
2024-07-26 13:15 [cocci] How to fix a parse error for another SmPL script? 16+ messages
2024-07-23 10:50 Re: [cocci] cgroup: Use seq_putc() in three functions
2024-07-19 10:21 [cocci] How to fix parse errors for two SmPL scripts? 4+ messages
2024-07-16 17:06 Re: [cocci] latencytop: Use seq_putc() in lstats_show()
2024-07-07 12:14 [cocci] Deleting unwanted semicolons (with SmPL)? 7+ messages
2024-07-05  8:53 [cocci] Improving handling of nested if statements (with SmPL)? 2+ messages
2024-06-23 12:48 [cocci] Flatpak package for Coccinelle 5+ messages
2024-06-17 13:13 [cocci] Disabling code blocks from cocci 4+ messages
2024-06-04 20:08 [cocci] strange braces behaviour 7+ messages
2024-06-03 16:37 Re: [cocci] [PATCH] scripts: coccicheck: Replace http with https
2024-06-02 14:17 [cocci] Function name change 3+ messages
2024-05-27  7:46 [cocci] patch idea: convert trivial call_rcu users to kfree_rcu 12+ messages
2024-05-26 16:34 [cocci] Increasing usage of mutex guards (with SmPL)? 13+ messages
2024-05-22 11:20 [cocci] Specifying program parameters within SmPL scripts?
2024-05-21 15:12 [cocci] Determining the statement end according to a pointer dereference (with SmPL)? 2+ messages
2024-05-15  0:44 [cocci] ChatGPT 4 and Coccinelle 5+ messages
2024-05-14  9:30 [cocci] Checking CTL code? 4+ messages
2024-05-12  5:11 Re: [cocci] [PATCH] Coccinelle: pm_runtime: Fix grammar in comment
2024-05-06 17:53 [cocci] coccinelle matching of identifiers 2+ messages
2024-05-06 10:08 [cocci] Searching for repeated source code with SmPL? 36+ messages
2024-05-02  8:54 [cocci] Very long compile times on parsing_cocci/parser_cocci_menhir.ml 26+ messages
2024-04-16  8:32 Re: [cocci] [PATCH] coccinelle: misc: minmax: Suppress reports for err returns 9+ messages
2024-04-13  6:57 [cocci] [PATCH 0/2] docs: updates to hevea handling 6+ messages
2024-04-11 17:33 [cocci] making a coccinelle rule apply only for a specific file
2024-04-11  9:54 [cocci] type of integer decimal constants 4+ messages
2024-04-10  8:15 [cocci] Data processing challenges for adjustments of header information (with SmPL)
2024-03-29  9:45 [cocci] Further adjustments for pretty-printing (with SmPL)?
2024-03-28 21:05 [cocci] new version 1.2 18+ messages
2024-03-28  8:41 [cocci] Returning statically allocated nested structs 7+ messages
2024-03-27 13:10 [cocci] [PATCH] Coccinelle: api: Add SmPL script “use_return_ptr.cocci”
2024-03-26 13:26 [cocci] Improving support for return macro variants with SmPL? 2+ messages
2024-03-25  9:01 [cocci] Improving support for argument lists with SmPL 5+ messages
2023-12-23 19:15 [cocci] [PATCH 0/2] powerpc/powernv/vas: Adjustments for two function implementations 12+ messages
2023-04-09 18:30 [cocci] Checking pointer dereferences with SmPL 129+ messages
2023-03-15 17:36 [cocci] Reconsidering repeated pointer checks with SmPL 137+ messages

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).