cocci  

Messages by Thread

• [Cocci] Converting a function return type to void based on a SmPL constraint? Markus Elfring
  • Re: [Cocci] Converting a function return type to void based on a SmPL constraint? Markus Elfring
  • [Cocci] Converting a function return type to void based on a SmPL constraint? Markus Elfring
  • Re: [Cocci] Converting a function return type to void based on a SmPL constraint? Julia Lawall
  • Re: [Cocci] Converting a function return type to void based on a SmPL constraint? Markus Elfring
• [Cocci] Checking pretty-printing around a transformation for array_size() Markus Elfring
  • Re: [Cocci] Checking placement of spaces for code changes with SmPL Markus Elfring
  • Re: [Cocci] Checking placement of spaces for code changes with SmPL Julia Lawall
  • Re: [Cocci] Checking placement of spaces for code changes with SmPL Markus Elfring
• [Cocci] macro parameters and expressions? Jürgen Groß
  • Re: [Cocci] macro parameters and expressions? Julia Lawall
  • Re: [Cocci] macro parameters and expressions? Markus Elfring
  • Re: [Cocci] Adjusting macros with SmPL? Markus Elfring
  • Re: [Cocci] Adjusting macros with SmPL? Julia Lawall
  • Re: [Cocci] Adjusting macros with SmPL? Markus Elfring
  • Re: [Cocci] Adjusting macros with SmPL? Markus Elfring
  • Re: [Cocci] Adjusting macros with SmPL? Julia Lawall
  • Re: [Cocci] Adjusting macros with SmPL? Markus Elfring
  • Re: [Cocci] Adjusting macros with SmPL? Markus Elfring
  • Re: [Cocci] Adjustments with SmPL after macros? Markus Elfring
  • Re: [Cocci] Adjustments with SmPL after macros? Julia Lawall
  • Re: [Cocci] Adjustments with SmPL after macros? Markus Elfring
  • Re: [Cocci] Adjustments with SmPL after macros? Markus Elfring
  • Re: [Cocci] Adjustments with SmPL after macros? Markus Elfring
  • Re: [Cocci] macro parameters and expressions? Julia Lawall
  • Re: [Cocci] macro parameters and expressions? Markus Elfring
  • Re: [Cocci] macro parameters and expressions? Jürgen Groß
  • Re: [Cocci] macro parameters and expressions? Julia Lawall
  • Re: [Cocci] macro parameters and expressions? Markus Elfring
  • Re: [Cocci] macro parameters and expressions? Julia Lawall
  • Re: [Cocci] Checking the influence of “virtual” SmPL variables Markus Elfring
  • Re: [Cocci] Checking the influence of “virtual” SmPL variables Julia Lawall
  • Re: [Cocci] Checking the influence of “virtual” SmPL variables Markus Elfring
  • Re: [Cocci] macro parameters and expressions? Markus Elfring
  • Re: [Cocci] macro parameters and expressions? Markus Elfring
  • Re: [Cocci] macro parameters and expressions? Markus Elfring
  • Re: [Cocci] macro parameters and expressions? Markus Elfring
  • Re: [Cocci] macro parameters and expressions? Markus Elfring
  • Re: [Cocci] macro parameters and expressions? Julia Lawall
  • Re: [Cocci] macro parameters and expressions? Markus Elfring
  • Re: [Cocci] macro parameters and expressions? Markus Elfring
  • Re: [Cocci] macro parameters and expressions? Julia Lawall
• Re: Searching for missing variable checks Markus Elfring
• [Cocci] Software analysis with SmPL around unchecked function calls Markus Elfring
  • Re: [Cocci] Software analysis with SmPL around unchecked function calls Julia Lawall
  • Re: [Cocci] Software analysis with SmPL around unchecked function calls Markus Elfring
  • Re: [Cocci] Software analysis with SmPL around unchecked function calls Julia Lawall
  • Re: [Cocci] Software analysis with SmPL around unchecked function calls Markus Elfring
  • Re: [Cocci] Software analysis with SmPL around unchecked function calls Markus Elfring
  • Re: [Cocci] Software analysis with SmPL around unchecked function calls Markus Elfring
  • Re: [Cocci] Software analysis with SmPL around unchecked function calls Julia Lawall
  • Re: [Cocci] Software analysis with SmPL around unchecked function calls Markus Elfring
  • Re: [Cocci] Software analysis with SmPL around unchecked function calls Markus Elfring
  • Re: [Cocci] Software analysis with SmPL around unchecked function calls Markus Elfring
  • Re: [Cocci] Software analysis with SmPL around unchecked function calls Markus Elfring
  • Re: [Cocci] Software analysis with SmPL around unchecked pointer function calls Markus Elfring
  • Re: [Cocci] Software analysis with SmPL around unchecked pointer function calls Julia Lawall
  • Re: [Cocci] Software analysis with SmPL around unchecked pointer function calls Markus Elfring
  • Re: [Cocci] Software analysis with SmPL around unchecked pointer function calls Julia Lawall
  • Re: [Cocci] Software analysis with SmPL around unchecked pointer function calls Markus Elfring
  • Re: [Cocci] Software analysis with SmPL around unchecked pointer function calls Julia Lawall
  • Re: [Cocci] Software analysis with SmPL around unchecked pointer function calls Markus Elfring
  • Re: [Cocci] Software analysis with SmPL around unchecked pointer function calls Julia Lawall
  • Re: [Cocci] Software analysis with SmPL around unchecked pointer function calls Markus Elfring
  • Re: [Cocci] Software analysis with SmPL around unchecked pointer function calls Julia Lawall
  • Re: [Cocci] Software analysis with SmPL around unchecked pointer function calls Markus Elfring
  • Re: [Cocci] Software analysis with SmPL around unchecked pointer function calls Markus Elfring
  • Re: [Cocci] Software analysis with SmPL around unchecked pointer function calls Julia Lawall
  • Re: [Cocci] Software analysis with SmPL around unchecked pointer function calls Markus Elfring
  • Re: [Cocci] Software analysis with SmPL around unchecked pointer function calls Markus Elfring
  • Re: [Cocci] Software analysis with SmPL around unchecked pointer function calls Julia Lawall
  • Re: [Cocci] Software analysis with SmPL around unchecked pointer function calls Markus Elfring
  • Re: [Cocci] Software analysis with SmPL around unchecked pointer function calls Markus Elfring
  • Re: [Cocci] Software analysis with SmPL around unchecked pointer function calls Julia Lawall
  • Re: [Cocci] Software analysis with SmPL around unchecked pointer function calls Markus Elfring
  • Re: [Cocci] Software analysis with SmPL around unchecked pointer function calls Markus Elfring
• Re: string.h: Mark 34 functions with __must_check Markus Elfring
• [Cocci] Checking function annotations with SmPL Markus Elfring
• [Cocci] Adding code after function return types with SmPL Markus Elfring
  • [Cocci] Adding code after function return types with SmPL Markus Elfring
  • Re: [Cocci] Adding code after function return types with SmPL Julia Lawall
  • Re: [Cocci] Adding code after function return types with SmPL Markus Elfring
• [Cocci] Checking the parsing status for “linux/string.h” Markus Elfring
• [Cocci] Missing support in SmPL for wide char character constants and string literals Michael Stefaniuc
  • Re: [Cocci] Missing support in SmPL for wide char character constants and string literals Julia Lawall
  • Re: [Cocci] Missing support in SmPL for wide char character constants and string literals Markus Elfring
  • Re: [Cocci] Missing support in SmPL for wide char character constants and string literals Michael Stefaniuc
  • Re: [Cocci] Missing support in SmPL for wide char character constants and string literals Markus Elfring
  • Re: [Cocci] Missing support in SmPL for wide char character constants and string literals Michael Stefaniuc
  • Re: [Cocci] Missing support in SmPL for wide char character constants and string literals Markus Elfring
  • Re: [Cocci] Missing support in SmPL for wide char character constants and string literals Julia Lawall
  • Re: [Cocci] Missing support in SmPL for wide char character constants and string literals Michael Stefaniuc
• [Cocci] 1.0.8 on Ubuntu Julia Lawall
  • Re: [Cocci] 1.0.8 on Ubuntu Kaspar Schleiser
  • Re: [Cocci] 1.0.8 on Ubuntu Nicolas Palix
  • Re: [Cocci] 1.0.8 on Ubuntu Kaspar Schleiser
  • Re: [Cocci] 1.0.8 on Ubuntu Nicolas Palix
  • Re: [Cocci] 1.0.8 on Ubuntu Julia Lawall
  • Re: [Cocci] 1.0.8 on Ubuntu kaspar
  • Re: [Cocci] 1.0.8 on Ubuntu Kaspar Schleiser
• [RFC PATCH] scripts: Fix coccicheck failed YueHaibing
  • Re: [Cocci] [RFC PATCH] scripts: Fix coccicheck failed Julia Lawall
  • Re: [RFC PATCH] scripts: Fix coccicheck failed Yuehaibing
  • Re: [RFC PATCH] scripts: Fix coccicheck failed Julia Lawall
  • Re: [Cocci] [RFC PATCH] scripts: Fix coccicheck failed Markus Elfring
  • Re: [Cocci] [RFC PATCH] scripts: Fix coccicheck failed Julia Lawall
  • Re: [Cocci] [RFC] scripts: Fix coccicheck failed Markus Elfring
  • Re: [RFC PATCH] scripts: Fix coccicheck failed Yuehaibing
  • Re: [Cocci] [RFC PATCH] scripts: Fix coccicheck failed Matthias Maennich
  • Re: [Cocci] [RFC] scripts: Fix coccicheck failed Markus Elfring
  • Re: [RFC PATCH] scripts: Fix coccicheck failed Julia Lawall
  • Re: [RFC PATCH] scripts: Fix coccicheck failed Masahiro Yamada
  • Re: [RFC PATCH] scripts: Fix coccicheck failed Julia Lawall
  • Re: [RFC PATCH] scripts: Fix coccicheck failed Masahiro Yamada
  • Re: [Cocci] [RFC] scripts: Fix coccicheck failed Markus Elfring
  • Re: [Cocci] [RFC] scripts: Fix coccicheck failed Julia Lawall
  • Re: [Cocci] [RFC] scripts: Fix coccicheck failed Markus Elfring
  • Re: [Cocci] [RFC] scripts: Fix coccicheck failed Markus Elfring
  • Re: [Cocci] [RFC] scripts: Fix coccicheck failed Markus Elfring
  • Re: [Cocci] [RFC] scripts: Fix coccicheck failed Julia Lawall
  • Re: [Cocci] [RFC] scripts: Fix coccicheck failed Markus Elfring
  • Re: [Cocci] [RFC] scripts: Fix coccicheck failed Greg Kroah-Hartman
  • Re: [RFC PATCH] scripts: Fix coccicheck failed Yuehaibing
  • [PATCH] scripts: add_namespace: Fix coccicheck failed YueHaibing
  • Re: [PATCH] scripts: add_namespace: Fix coccicheck failed Markus Elfring
  • Re: [Cocci] [PATCH] scripts: add_namespace: Fix coccicheck failed Julia Lawall
  • Re: [Cocci] scripts: add_namespace: Fix coccicheck failed Markus Elfring
  • Re: [PATCH] scripts: add_namespace: Fix coccicheck failed Matthias Maennich
  • Re: [PATCH] scripts: add_namespace: Fix coccicheck failed Jessica Yu
  • Re: [Cocci] [RFC] scripts: Fix coccicheck failed Markus Elfring
  • Re: [Cocci] [RFC] scripts: Fix coccicheck failed Markus Elfring
  • Re: [Cocci] [RFC] scripts: Fix coccicheck failed Julia Lawall
  • Re: [Cocci] [RFC] scripts: Fix coccicheck failed Markus Elfring
  • Re: [Cocci] [RFC PATCH] scripts: Fix coccicheck failed Markus Elfring
  • Re: [Cocci] [RFC PATCH] scripts: Fix coccicheck failed Markus Elfring
  • Re: [Cocci] [RFC PATCH] scripts: Fix coccicheck failed Julia Lawall
  • [PATCH 0/2] Coccinelle: Extend directory hierarchy Markus Elfring
  • [PATCH 1/2] Coccinelle: Move the SmPL script “add_namespace.cocci” into a new directory Markus Elfring
  • [Cocci] [PATCH 2/2] Coccinelle: Move coccicheck directories into a new subdirectory Markus Elfring
• [Cocci] 1.0.8 Julia Lawall
  • Re: [Cocci] Progress around Coccinelle 1.0.8 Markus Elfring
• [Cocci] [PATCH] clarify misleading warning message Michele Martone
  • Re: [Cocci] [PATCH] clarify misleading warning message Markus Elfring
  • Re: [Cocci] [PATCH] clarify misleading warning message Julia Lawall
  • Re: [Cocci] clarify misleading warning message Markus Elfring
• [Cocci] Reducing source code around return statements with SmPL? Markus Elfring
  • Re: [Cocci] Reducing source code around return statements with SmPL? Julia Lawall
  • Re: [Cocci] Reducing source code around return statements with SmPL? Markus Elfring
  • Re: [Cocci] Reducing source code around return statements with SmPL? Markus Elfring
  • Re: [Cocci] Reducing source code around return statements with SmPL? Julia Lawall
  • Re: [Cocci] Reducing source code around return statements with SmPL? Markus Elfring
  • Re: [Cocci] Reducing source code around return statements with SmPL? Markus Elfring
  • Re: [Cocci] Reducing source code around return statements with SmPL? Markus Elfring
  • Re: [Cocci] Reducing source code around return statements with SmPL? Markus Elfring
  • Re: [Cocci] Reducing source code around return statements with SmPL? Julia Lawall
  • Re: [Cocci] Reducing source code around return statements with SmPL? Markus Elfring
  • Re: [Cocci] Reducing source code around return statements with SmPL? Julia Lawall
  • Re: [Cocci] Reducing source code around return statements with SmPL? Markus Elfring
  • Re: [Cocci] Reducing source code around return statements with SmPL? Markus Elfring
  • Re: [Cocci] Reducing source code around return statements with SmPL? Julia Lawall
  • Re: [Cocci] Reducing source code around return statements with SmPL? Markus Elfring
  • Re: [Cocci] Reducing source code around return statements with SmPL? Markus Elfring
  • Re: [Cocci] Reducing source code around return statements with SmPL? Markus Elfring
  • Re: [Cocci] Reducing source code around return statements with SmPL? Markus Elfring
  • Re: [Cocci] Reducing source code around return statements with SmPL? Markus Elfring
  • Re: [Cocci] Reducing source code around return statements with SmPL? Julia Lawall
  • Re: [Cocci] Reducing source code around return statements with SmPL? Markus Elfring
  • Re: [Cocci] Reducing source code around return statements with SmPL? Julia Lawall
  • Re: [Cocci] Reducing source code around return statements with SmPL? Markus Elfring
  • Re: [Cocci] Reducing source code around return statements with SmPL? Julia Lawall
  • Re: [Cocci] Reducing source code around return statements with SmPL? Markus Elfring
  • Re: [Cocci] Reducing source code around return statements with SmPL? Markus Elfring
  • Re: [Cocci] Reducing source code around return statements with SmPL? Markus Elfring
  • Re: [Cocci] Reducing source code around return statements with SmPL? Markus Elfring
  • [Cocci] [PATCH] Coccinelle: Add a SmPL script for the reconsideration of specific combinations of assignment and return statements Markus Elfring
  • [PATCH v2] Coccinelle: Add a SmPL script for the reconsideration of specific combinations of assignment and return statements Markus Elfring
• [Cocci] Munich, Germany, Oct. 8th: Intro to Semantic Patching with Coccinelle Michele Martone
• [Cocci] const in parameter lists Christoph Böhmwalder
  • Re: [Cocci] const in parameter lists Julia Lawall
  • Re: [Cocci] const in parameter lists Christoph Böhmwalder
  • Re: [Cocci] const in parameter lists Julia Lawall
  • Re: [Cocci] const in parameter lists Markus Elfring
  • Re: [Cocci] const in parameter lists Julia Lawall
  • Re: [Cocci] const in parameter lists Markus Elfring
  • Re: [Cocci] const in parameter lists Julia Lawall
  • Re: [Cocci] const in parameter lists Markus Elfring
• [Cocci] continue statement of death? David Young
  • Re: [Cocci] continue statement of death? Julia Lawall
  • Re: [Cocci] continue statement of death? Markus Elfring
  • Re: [Cocci] continue statement of death? Julia Lawall
  • Re: [Cocci] continue statement of death? David Young
• [Cocci] Checking parsing difficulties around SmPL when constraints Markus Elfring
  • Re: [Cocci] Checking parsing difficulties around SmPL when constraints Julia Lawall
  • Re: [Cocci] Checking parsing difficulties around SmPL when constraints Markus Elfring
• [Cocci] Adjusting SmPL script “tests/nest3.cocci”? Markus Elfring
  • Re: [Cocci] Adjusting SmPL script “tests/nest3.cocci”? Julia Lawall
• Coccinelle: pci_free_consistent: Checking when constraints Markus Elfring
  • Re: Coccinelle: pci_free_consistent: Checking when constraints Julia Lawall
  • Re: [Cocci] Coccinelle: pci_free_consistent: Checking when constraints Markus Elfring
  • Re: Coccinelle: pci_free_consistent: Checking when constraints Markus Elfring

• Earlier messages
• Later messages