From: elfring@users.sourceforge.net (SF Markus Elfring)
To: cocci@systeme.lip6.fr
Subject: [Cocci] Remove unnecessary null pointer checks?
Date: Sun, 26 Oct 2014 07:07:47 +0100 [thread overview]
Message-ID: <544C8FB3.9030000@users.sourceforge.net> (raw)
In-Reply-To: <5308E617.60705@users.sourceforge.net>
> spatch version 1.0.0-rc20 with Python support and with PCRE support
[...]
> Fatal error: exception Failure("Show_functions_with_input_pointer_validation:
> already tagged token:
> C code context
I tried this small source code search out again.
elfring at Sonne:~/Projekte/Coccinelle/janitor> date \
> && MY_PATTERN=find_input_pointer_validation2.cocci \
> && cat $MY_PATTERN \
> && echo '-----' \
> && spatch.opt --version \
> && spatch.opt --profile --include-headers-for-types --recursive-includes \
> -I /usr/src/linux-stable/include/linux \
> -I /usr/src/linux-stable/include/uapi \
> -I /usr/src/linux-stable/arch/ia64/include \
> -I /usr/src/linux-stable/include/asm-generic \
> -I /usr/src/linux-stable/include/asm-generic/bitops \
> -I /usr/local/include/c++/4.8.2 \
> -I /usr/local/include/c++/4.8.2/x86_64-unknown-linux-gnu \
> -I /usr/local/include \
> -I /usr/include \
> --sp-file $MY_PATTERN /usr/src/linux-stable/mm/slab.c; \
> date
So 26. Okt 07:02:18 CET 2014
@Show_functions_with_input_pointer_validation@
identifier fun, x;
type t;
@@
*void fun(..., t* x, ...)
{
...
if (unlikely(ZERO_OR_NULL_PTR(x)))
return;
...
}
-----
spatch version 1.0.0-rc22 with Python support and with PCRE support
init_defs_builtins: /usr/local/share/coccinelle/standard.h
HANDLING: /usr/src/linux-stable/mm/slab.c
(ONCE) TYPE: header process.h not found
[...]
(ONCE) TYPE: header trace/events/kmem.h not found
(ONCE) already tagged but only removed, so safe
diff =
--- /usr/src/linux-stable/mm/slab.c
@@ -3598,7 +3598,6 @@ EXPORT_SYMBOL(kmem_cache_free);
* Don't free memory not originally allocated by kmalloc()
* or you will run into trouble.
*/
-void kfree(const void *objp)
{
struct kmem_cache *c;
unsigned long flags;
Note: processing took 43.5s: /usr/src/linux-stable/mm/slab.c
starting: Common.group_assoc_bykey_eff
ending: Common.group_assoc_bykey_eff, 0.000005s
---------------------
profiling result
---------------------
Main total : 43.552 sec 1 count
Main.outfiles computation : 43.490 sec 1 count
full_engine : 43.481 sec 1 count
C parsing : 17.765 sec 866 count
TOTAL : 17.763 sec 866 count
HACK : 6.017 sec 2001 count
C parsing.fix_cpp : 5.559 sec 1134 count
C parsing.tokens : 3.528 sec 867 count
LEXING : 3.506 sec 866 count
Parsing: multi pass : 2.818 sec 2369 count
Parsing: 1st pass : 2.258 sec 42256 count
MACRO managment : 1.725 sec 2671 count
YACC : 1.634 sec 40007 count
TAC.annotate_program : 0.983 sec 433 count
show_xxx : 0.855 sec 310 count
C parsing.fix_define : 0.761 sec 1733 count
MACRO mgmt prep 2 : 0.494 sec 866 count
C consistencycheck : 0.461 sec 866 count
C parsing.lookahead : 0.407 sec 455401 count
Common.full_charpos_to_pos_large : 0.389 sec 867 count
flow : 0.371 sec 20946 count
C parsing.mk_info_item : 0.361 sec 42256 count
C parsing.lex_ident : 0.314 sec 313227 count
Type_c.type_of_s : 0.234 sec 10649 count
fix_flow : 0.154 sec 15138 count
TAC.add_binding : 0.075 sec 18856 count
MACRO mgmt prep 1 : 0.064 sec 866 count
pre_engine : 0.036 sec 1 count
parse cocci : 0.032 sec 1 count
bigloop : 0.026 sec 1 count
Show_functions_with_input_pointer_validation : 0.023 sec 1 count
process_a_ctl_a_env_a_toplevel : 0.023 sec 300 count
mysat : 0.022 sec 300 count
Common.info_from_charpos : 0.018 sec 82 count
Common.=~ : 0.013 sec 9107 count
worth_trying : 0.009 sec 1 count
Common.full_charpos_to_pos : 0.005 sec 2 count
TAC.typedef_fix : 0.005 sec 14621 count
C unparsing : 0.005 sec 2 count
asttoctl2 : 0.003 sec 1 count
ctl : 0.000 sec 3 count
Transformation3.transform : 0.000 sec 1 count
get_glimpse_constants : 0.000 sec 1 count
Main.result analysis : 0.000 sec 1 count
check_duplicate : 0.000 sec 1 count
Common.group_assoc_bykey_eff : 0.000 sec 1 count
C_vs_c : 0.000 sec 1 count
merge_env : 0.000 sec 1 count
post_engine : 0.000 sec 1 count
Main.infiles computation : 0.000 sec 1 count
So 26. Okt 07:03:01 CET 2014
Do you find this analysis result interesting?
Regards,
Markus
next prev parent reply other threads:[~2014-10-26 6:07 UTC|newest]
Thread overview: 268+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-02-21 21:52 [Cocci] Remove unnecessary null pointer checks? SF Markus Elfring
2014-02-21 22:27 ` Julia Lawall
2014-02-22 8:09 ` SF Markus Elfring
2014-02-22 12:36 ` Julia Lawall
2014-02-22 18:01 ` SF Markus Elfring
2014-10-26 6:07 ` SF Markus Elfring [this message]
[not found] ` <alpine.DEB.2.10.1410260614460.2563@hadrien>
2014-10-26 13:54 ` SF Markus Elfring
2014-02-23 14:40 ` SF Markus Elfring
2014-02-23 15:37 ` Julia Lawall
2014-02-23 16:33 ` SF Markus Elfring
2014-02-23 16:42 ` Julia Lawall
2014-02-23 22:14 ` SF Markus Elfring
2014-02-24 6:00 ` Julia Lawall
2014-02-24 10:55 ` SF Markus Elfring
2014-02-24 11:22 ` Julia Lawall
2014-02-24 15:05 ` SF Markus Elfring
2014-02-24 15:19 ` Julia Lawall
2014-02-24 15:58 ` SF Markus Elfring
2014-02-24 16:14 ` Julia Lawall
2014-02-24 16:34 ` SF Markus Elfring
2014-02-25 9:10 ` SF Markus Elfring
2014-02-25 9:16 ` Julia Lawall
2014-02-25 10:01 ` SF Markus Elfring
2014-02-25 17:28 ` SF Markus Elfring
2014-02-25 17:42 ` Julia Lawall
2014-02-25 20:11 ` SF Markus Elfring
2014-02-25 20:20 ` Julia Lawall
2014-02-25 20:37 ` [Cocci] Source code analysis with big regular expressions? SF Markus Elfring
2014-02-25 20:44 ` Julia Lawall
2014-02-25 20:54 ` SF Markus Elfring
2014-02-25 21:02 ` Julia Lawall
2014-02-25 21:19 ` SF Markus Elfring
2014-02-25 21:29 ` Julia Lawall
2014-02-25 21:44 ` [Cocci] Remove unnecessary null pointer checks? SF Markus Elfring
2014-02-25 21:48 ` Julia Lawall
2014-02-26 8:04 ` SF Markus Elfring
2014-02-26 11:30 ` SF Markus Elfring
2014-02-26 20:35 ` Julia Lawall
2014-02-26 21:01 ` SF Markus Elfring
2014-02-26 21:09 ` Julia Lawall
2014-03-06 8:39 ` SF Markus Elfring
2014-03-06 16:24 ` Julia Lawall
2014-03-06 17:04 ` SF Markus Elfring
2014-09-30 13:24 ` [Cocci] Fix for "lexing: empty token" needed? SF Markus Elfring
2014-03-05 22:30 ` [Cocci] [PATCH with Coccinelle?] Deletion of unnecessary checks before specific function calls SF Markus Elfring
2014-03-05 22:48 ` [Cocci] [coccicheck Linux 3.14-rc5 PATCH 1 of 5] " SF Markus Elfring
2014-03-05 22:50 ` [Cocci] [coccicheck Linux 3.14-rc5 PATCH 2 " SF Markus Elfring
2014-03-05 22:52 ` [Cocci] [coccicheck Linux 3.14-rc5 PATCH 3 " SF Markus Elfring
2014-03-05 22:55 ` [Cocci] [coccicheck Linux 3.14-rc5 PATCH 4 " SF Markus Elfring
2014-03-05 22:58 ` [Cocci] [coccicheck Linux 3.14-rc5 PATCH 5 " SF Markus Elfring
2014-10-01 13:01 ` [Cocci] [PATCH with Coccinelle?] " SF Markus Elfring
2014-10-01 14:06 ` [Cocci] [coccicheck PATCH 1/5] " SF Markus Elfring
2014-10-01 14:06 ` [Cocci] [coccicheck PATCH 2/5] " SF Markus Elfring
2014-10-01 14:06 ` [Cocci] [coccicheck PATCH 3/5] " SF Markus Elfring
2014-10-01 14:07 ` [Cocci] [coccicheck PATCH 4/5] " SF Markus Elfring
2014-10-01 14:07 ` [Cocci] [coccicheck PATCH 5/5] " SF Markus Elfring
2014-10-22 14:30 ` [Cocci] [PATCH 1/1] GPU-DRM-nouveau: Deletion of unnecessary checks before two " SF Markus Elfring
2014-10-22 16:48 ` [Cocci] [PATCH 1/1] GPU-DRM-GMA500: " SF Markus Elfring
2014-10-23 11:26 ` One Thousand Gnomes
2014-10-26 12:10 ` SF Markus Elfring
2014-10-26 14:56 ` Arthur Borsboom
2014-10-22 18:00 ` [Cocci] [PATCH 1/1] IOMMU-MSM: Deletion of unnecessary checks before the function call "clk_disable" SF Markus Elfring
2014-10-23 12:51 ` Jörg Rödel
2014-10-22 18:55 ` [Cocci] [PATCH 1/1] SCSI-QLA2XXX: Deletion of unnecessary checks before the function call "vfree" SF Markus Elfring
2014-10-22 19:10 ` [Cocci] [PATCH 1/1] SCSI-QLA2...: " SF Markus Elfring
2014-10-23 19:20 ` [Cocci] [PATCH 1/1] staging - rtl8188eu: Deletion of unnecessary checks before three function calls SF Markus Elfring
2014-10-29 8:47 ` Greg Kroah-Hartman
2014-10-31 17:55 ` [Cocci] [PATCH resent] staging: " SF Markus Elfring
2014-10-31 18:01 ` Julia Lawall
2014-10-31 18:08 ` SF Markus Elfring
2014-10-31 18:11 ` Julia Lawall
2014-11-12 10:51 ` [Cocci] [PATCH with SmPL?] staging: rtl8188eu: Adjustments around jump labels SF Markus Elfring
2014-11-12 20:20 ` [Cocci] [PATCH v2 0/2] staging: rtl8188eu: Deletion of a few unnecessary checks SF Markus Elfring
2014-11-12 20:25 ` [Cocci] [PATCH v2 1/2] staging: rtl8188eu: Deletion of unnecessary checks before three function calls SF Markus Elfring
2014-11-12 21:18 ` Dan Carpenter
2014-11-12 21:28 ` SF Markus Elfring
2014-11-12 21:40 ` Julia Lawall
2014-11-12 22:08 ` Dan Carpenter
2014-11-13 8:47 ` Julia Lawall
2014-11-12 20:30 ` [Cocci] [PATCH v2 2/2] staging: rtl8188eu: Better memory clean-up in efuse_phymap_to_logical() SF Markus Elfring
2014-11-12 21:14 ` Dan Carpenter
2014-11-12 21:50 ` SF Markus Elfring
2014-11-12 22:05 ` Dan Carpenter
2014-11-13 8:50 ` SF Markus Elfring
2014-11-13 8:43 ` Julia Lawall
2014-11-13 9:33 ` SF Markus Elfring
2014-10-31 17:40 ` [Cocci] [PATCH 1/1] s390/net: Deletion of unnecessary checks before two function calls SF Markus Elfring
2014-11-03 9:50 ` Dan Carpenter
2014-11-03 15:55 ` [Cocci] " SF Markus Elfring
2014-11-03 16:25 ` Dan Carpenter
2014-11-03 16:50 ` SF Markus Elfring
2014-11-03 17:02 ` Julia Lawall
2014-11-03 17:16 ` Dan Carpenter
2014-11-03 17:40 ` SF Markus Elfring
2014-11-03 17:05 ` Derek M Jones
2014-11-03 17:32 ` Julia Lawall
2014-11-03 21:30 ` [Cocci] Are defensive checks treated differently in specific areas? SF Markus Elfring
2014-11-03 11:04 ` [Cocci] [PATCH 1/1] s390/net: Deletion of unnecessary checks before two function calls Ursula Braun
2014-11-03 16:10 ` [Cocci] " SF Markus Elfring
2014-11-03 16:28 ` Dan Carpenter
2014-10-31 21:52 ` [Cocci] [PATCH 1/1] btrfs: Deletion of unnecessary checks before six " SF Markus Elfring
2014-10-31 21:59 ` Julia Lawall
2014-11-02 9:40 ` [Cocci] [PATCH 1/1] ocfs2: Deletion of unnecessary checks before two " SF Markus Elfring
2014-11-02 10:51 ` Julia Lawall
2014-11-02 14:20 ` [Cocci] [PATCH 1/1] ceph: " SF Markus Elfring
2014-11-03 10:35 ` Ilya Dryomov
2014-11-03 13:27 ` [Cocci] " SF Markus Elfring
2014-11-03 14:23 ` Ilya Dryomov
2014-11-02 15:12 ` [Cocci] [PATCH 1/1] PCI: Deletion of unnecessary checks before three " SF Markus Elfring
2014-11-11 4:07 ` Bjorn Helgaas
2014-11-02 18:27 ` [Cocci] [PATCH 1/1] PCI: EMU10K1: " SF Markus Elfring
2014-11-03 9:45 ` Takashi Iwai
2014-11-03 14:10 ` [Cocci] [PATCH resent] ALSA: emu10k1: " SF Markus Elfring
2014-11-03 14:17 ` Takashi Iwai
2014-11-02 19:42 ` [Cocci] [PATCH 1/1] kconfig: Deletion of unnecessary checks before the function call "sym_calc_value" SF Markus Elfring
2014-11-03 10:35 ` Paul Bolle
2014-11-03 18:40 ` [Cocci] [PATCH v2] " SF Markus Elfring
2014-11-15 18:19 ` [Cocci] [PATCH 1/1] fs-ext4: Deletion of an unnecessary check before the function call "iput" SF Markus Elfring
2014-11-26 1:16 ` [Cocci] [1/1] " Theodore Ts'o
2014-11-15 18:42 ` [Cocci] [PATCH 1/1] ntfs: Deletion of unnecessary checks " SF Markus Elfring
2014-11-15 19:54 ` Julia Lawall
2014-11-15 20:01 ` [Cocci] [PATCH 1/1] fs-fat: Less function calls in fat_fill_super() after error detection SF Markus Elfring
2014-11-15 20:18 ` Julia Lawall
2014-11-29 6:44 ` [Cocci] [PATCH v2] " SF Markus Elfring
[not found] ` <87sih22sn8.fsf@devron.myhome.or.jp>
2014-11-29 12:40 ` Julia Lawall
[not found] ` <87lhmu2jl8.fsf@devron.myhome.or.jp>
2014-11-29 14:50 ` [Cocci] " SF Markus Elfring
2014-12-01 6:52 ` [Cocci] [PATCH v2] " Dan Carpenter
2014-12-01 8:43 ` Julia Lawall
2014-12-01 15:30 ` SF Markus Elfring
2014-12-01 19:17 ` Dan Carpenter
2014-12-01 21:22 ` SF Markus Elfring
2014-12-02 7:34 ` Dan Carpenter
2014-12-02 7:37 ` Julia Lawall
2014-12-02 8:59 ` [Cocci] [patch] CodingStyle: add some more error handling guidelines Dan Carpenter
2014-12-02 9:09 ` Julia Lawall
2014-12-02 13:56 ` Jonathan Corbet
2014-12-03 12:31 ` SF Markus Elfring
2014-12-03 12:39 ` Arend van Spriel
2014-12-03 12:51 ` SF Markus Elfring
2014-12-03 12:45 ` Dan Carpenter
2014-12-03 12:52 ` Julia Lawall
2014-12-03 15:45 ` [Cocci] while compiling coccci 1.0.0-rc22 Francois Berenger
2014-12-03 15:50 ` Francois Berenger
2014-12-03 16:00 ` Francois Berenger
2014-12-03 16:20 ` Francois Berenger
2014-12-03 17:24 ` Julia Lawall
2014-11-15 20:44 ` [Cocci] [PATCH 1/1] lib/mpi: Deletion of unnecessary checks before the function call "mpi_free_limb_space" SF Markus Elfring
2014-11-16 10:40 ` [Cocci] [PATCH 1/1] kernel-audit: Deletion of an unnecessary check before the function call "audit_log_end" SF Markus Elfring
2014-11-16 11:10 ` Dan Carpenter
2014-11-16 11:14 ` Dan Carpenter
2014-11-16 11:48 ` SF Markus Elfring
2014-11-17 7:34 ` Dan Carpenter
2014-11-17 8:56 ` SF Markus Elfring
2014-11-17 13:45 ` Dan Carpenter
2014-11-23 11:51 ` Julia Lawall
2014-11-23 13:24 ` [Cocci] " SF Markus Elfring
2014-11-24 9:03 ` Dan Carpenter
2014-11-16 11:24 ` [Cocci] [PATCH 1/1] " Dan Carpenter
2014-11-16 12:07 ` [Cocci] [PATCH 1/1] kernel-audit: Deletion of an unnecessary check before the function call "audit_log_end" (or improve error handling?) SF Markus Elfring
2014-11-16 12:34 ` [Cocci] [PATCH 1/1] kprobes: Deletion of an unnecessary check before the function call "module_put" SF Markus Elfring
2014-11-16 13:29 ` Julia Lawall
2014-11-16 14:26 ` SF Markus Elfring
2014-11-16 15:43 ` Julia Lawall
2014-11-16 16:57 ` SF Markus Elfring
[not found] ` <5469B08E.90104@hitachi.com>
2014-11-19 7:08 ` SF Markus Elfring
2014-11-16 13:28 ` [Cocci] [PATCH 1/1] kernel-power: Deletion of an unnecessary check before the function call "vfree" SF Markus Elfring
2014-11-16 13:50 ` [Cocci] [PATCH 1/1] kernel-trace: Deletion of an unnecessary check before the function call "iput" SF Markus Elfring
2014-11-16 15:56 ` Julia Lawall
2014-11-16 19:13 ` [Cocci] [PATCH v2 0/2] kernel-trace: Fixes around the jump label "fail_address_parse" SF Markus Elfring
2014-11-16 19:18 ` [Cocci] [PATCH v2 1/2] kernel-trace: Deletion of an unnecessary check before the function call "iput" SF Markus Elfring
2014-11-16 19:22 ` [Cocci] [PATCH v2 2/2] kernel-trace: Less calls for iput() in create_trace_uprobe() after error detection SF Markus Elfring
[not found] ` <20141116143120.44421df2@gandalf.local.home>
2014-11-16 19:34 ` Julia Lawall
2014-11-16 22:40 ` [Cocci] [PATCH 1/1] fs-jbd: Deletion of an unnecessary check before the function call "iput" SF Markus Elfring
2014-11-17 10:07 ` [Cocci] [PATCH 1/1] ALSA: hda: Deletion of unnecessary checks before two function calls SF Markus Elfring
2014-11-17 10:34 ` [Cocci] [PATCH 1/1] ALSA: ice17xx: Deletion of unnecessary checks before the function call "snd_ac97_resume" SF Markus Elfring
2014-11-17 11:48 ` [Cocci] [PATCH 1/1] ALSA: lola: Deletion of an unnecessary check before the function call "vfree" SF Markus Elfring
2014-11-17 12:12 ` [Cocci] [PATCH 1/1] ALSA: hdsp: Deletion of an unnecessary check before the function call "release_firmware" SF Markus Elfring
2014-11-17 12:41 ` [Cocci] [PATCH 1/1] ALSA: powermac: Deletion of an unnecessary check before the function call "pci_dev_put" SF Markus Elfring
2014-11-17 13:42 ` [Cocci] [PATCH 1/1] tools lib traceevent: Deletion of an unnecessary check before the function call "free_arg" SF Markus Elfring
2014-11-17 17:11 ` [Cocci] [PATCH 1/1] perf tools: Deletion of unnecessary checks before two function calls SF Markus Elfring
2014-11-17 17:40 ` [Cocci] [PATCH 1/1] mm/zswap: Deletion of an unnecessary check before the function call "free_percpu" SF Markus Elfring
2014-11-17 18:19 ` [Cocci] [PATCH 1/1] hfs/hfs+: Deletion of unnecessary checks before the function call "hfs_bnode_put" SF Markus Elfring
2014-11-17 18:42 ` [Cocci] [PATCH 1/1] configfs: Deletion of unnecessary checks before the function call "config_item_put" SF Markus Elfring
2014-11-18 8:35 ` [Cocci] [PATCH 1/1] fs-eventpoll: Deletion of unnecessary checks before the function call "__pm_stay_awake" SF Markus Elfring
2014-11-18 9:10 ` [Cocci] [PATCH 1/1] exofs: Deletion of an unnecessary check before the function call "ore_put_io_state" SF Markus Elfring
2014-11-18 10:35 ` [Cocci] [PATCH 1/1] GFS2: Deletion of unnecessary checks before two function calls SF Markus Elfring
2014-11-18 11:20 ` [Cocci] [PATCH 1/1] fs-namespace: Deletion of unnecessary checks before the function call "mntput" SF Markus Elfring
2014-11-18 13:10 ` [Cocci] [PATCH 1/1] NFS: Deletion of unnecessary checks before the function call "nfs_put_client" SF Markus Elfring
2014-11-18 13:48 ` [Cocci] [PATCH 1/1] nilfs2: Deletion of an unnecessary check before the function call "iput" SF Markus Elfring
2014-11-18 14:51 ` [Cocci] [PATCH 1/1] fs-proc: One function call less in proc_sys_lookup() after error detection SF Markus Elfring
2014-11-18 17:55 ` [Cocci] [PATCH 0/2] fs-udf: Deletion of two unnecessary checks SF Markus Elfring
2014-11-18 18:00 ` [Cocci] [PATCH 1/2] fs-udf: Deletion of unnecessary checks before the function call "iput" SF Markus Elfring
2014-11-18 18:02 ` [Cocci] [PATCH 2/2] fs-udf: One function call less in udf_fill_super() after error detection SF Markus Elfring
2014-11-18 19:16 ` [Cocci] [PATCH 1/1] net: pktgen: Deletion of an unnecessary check before the function call "proc_remove" SF Markus Elfring
2014-11-18 20:08 ` [Cocci] [PATCH 1/1] netlink: Deletion of an unnecessary check before the function call "__module_get" SF Markus Elfring
2014-11-18 20:26 ` [Cocci] [PATCH 1/1] net: sched: Deletion of an unnecessary check before the function call "kfree" SF Markus Elfring
2014-11-18 20:45 ` [Cocci] [PATCH 1/1] net: xfrm: Deletion of an unnecessary check before the function call "ipcomp_free_tfms" SF Markus Elfring
2014-11-19 8:45 ` Dan Carpenter
2014-11-18 21:03 ` [Cocci] [PATCH 1/1] keys: Deletion of an unnecessary check before the function call "key_put" SF Markus Elfring
2014-11-29 13:42 ` [Cocci] [PATCH 1/1] HID: Wacom: Deletion of an unnecessary check before the function call "vfree" SF Markus Elfring
2014-11-29 14:05 ` [Cocci] [PATCH 1/1] net: cassini: " SF Markus Elfring
2014-11-29 14:33 ` [Cocci] [PATCH 1/1] HID: Wacom: Deletion of unnecessary checks before the function call "input_free_device" SF Markus Elfring
[not found] ` <66bd684a-98f1-0ec4-aa95-1a966d7c4e90@users.sourceforge.net>
[not found] ` <6a8f4258-188e-36f6-28fa-1626c29cf361@users.sourceforge.net>
[not found] ` <alpine.DEB.2.10.1607172056220.3177@hadrien>
[not found] ` <20160720155333.GE1688@katana>
[not found] ` <b249584b-47b8-ffd9-432e-986d69260ff1@users.sourceforge.net>
[not found] ` <20160721062726.GC1664@katana>
[not found] ` <b221aadb-2af7-8d0f-ce8e-99b1efa31edd@users.sourceforge.net>
[not found] ` <20160721163714.GB1616@katana>
2016-07-21 19:00 ` [Cocci] Changing return value determination in if statements with SmPL SF Markus Elfring
2016-07-21 20:00 ` Julia Lawall
2016-07-21 20:40 ` SF Markus Elfring
2016-07-21 20:47 ` Julia Lawall
2016-07-21 21:00 ` [Cocci] Better explanation for the usage of expression/parameter lists with SmPL? SF Markus Elfring
2016-07-21 21:05 ` Julia Lawall
2016-07-21 21:15 ` SF Markus Elfring
2014-03-01 8:16 ` [Cocci] Improvements for passing of big regular expressions in SmPL constraints? SF Markus Elfring
2014-03-01 13:15 ` Julia Lawall
2014-03-01 13:34 ` SF Markus Elfring
2014-03-01 13:36 ` Julia Lawall
2014-03-08 12:30 ` [Cocci] Determination of the number for named function parameters SF Markus Elfring
2014-03-08 14:16 ` Julia Lawall
2014-03-08 15:10 ` SF Markus Elfring
2014-03-08 20:01 ` SF Markus Elfring
2014-03-08 21:41 ` Julia Lawall
2014-03-09 8:00 ` SF Markus Elfring
2014-03-09 8:12 ` Julia Lawall
2014-03-09 8:50 ` SF Markus Elfring
2014-03-14 14:25 ` SF Markus Elfring
2014-03-09 12:51 ` SF Markus Elfring
2014-03-09 13:06 ` Julia Lawall
2014-03-09 13:36 ` SF Markus Elfring
2014-03-09 13:40 ` Julia Lawall
2014-03-09 13:51 ` SF Markus Elfring
2014-12-03 8:09 ` SF Markus Elfring
2014-12-03 8:48 ` Julia Lawall
2014-12-03 9:13 ` SF Markus Elfring
2014-12-03 9:19 ` Julia Lawall
2014-12-03 10:02 ` SF Markus Elfring
2014-12-03 10:36 ` Julia Lawall
2014-03-10 18:00 ` [Cocci] Selection of class libraries ...? SF Markus Elfring
2014-03-10 18:19 ` Julia Lawall
2014-03-10 18:30 ` SF Markus Elfring
2014-03-10 19:24 ` Julia Lawall
2014-03-10 21:10 ` SF Markus Elfring
2014-03-10 21:15 ` Julia Lawall
2014-03-10 21:26 ` SF Markus Elfring
2014-03-12 10:10 ` [Cocci] Clarification for OCaml scripts in SmPL SF Markus Elfring
2014-03-12 12:10 ` SF Markus Elfring
2014-03-14 0:19 ` Julia Lawall
2014-03-13 23:56 ` Julia Lawall
2014-03-13 23:58 ` Julia Lawall
2014-03-14 0:09 ` Julia Lawall
2014-03-14 7:14 ` SF Markus Elfring
2014-03-14 8:29 ` Julia Lawall
2014-03-14 8:39 ` SF Markus Elfring
2014-03-14 8:48 ` Julia Lawall
2014-03-14 9:01 ` SF Markus Elfring
2014-03-08 21:59 ` [Cocci] Determination of the number for named function parameters Julia Lawall
2014-03-09 7:01 ` SF Markus Elfring
2014-03-09 7:13 ` Julia Lawall
2014-03-09 7:18 ` [Cocci] Improvements for the SmPL grammar description? SF Markus Elfring
2014-02-26 7:25 ` [Cocci] Branch layout for if statements with SmPL disjunctions SF Markus Elfring
2014-02-26 9:39 ` Julia Lawall
2014-11-28 16:00 ` [Cocci] Remove unnecessary null pointer checks? SF Markus Elfring
2014-03-27 13:41 ` [Cocci] How to exclude volatile data accesses in expressions with SmPL? SF Markus Elfring
2014-03-27 18:10 ` Julia Lawall
2014-03-27 18:39 ` SF Markus Elfring
2014-03-27 18:43 ` Julia Lawall
2014-03-27 18:59 ` SF Markus Elfring
2014-04-07 15:07 ` SF Markus Elfring
2014-04-07 15:16 ` Julia Lawall
2014-04-07 15:28 ` SF Markus Elfring
2014-04-07 15:34 ` Julia Lawall
2014-04-07 15:40 ` SF Markus Elfring
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=544C8FB3.9030000@users.sourceforge.net \
--to=elfring@users.sourceforge.net \
--cc=cocci@systeme.lip6.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox