~ [ source navigation ] ~ [ diff markup ] ~ [ identifier search ] ~

TOMOYO Linux Cross Reference
Linux/scripts/coccinelle/free/kfreeaddr.cocci

Version: ~ [ linux-6.11.5 ] ~ [ linux-6.10.14 ] ~ [ linux-6.9.12 ] ~ [ linux-6.8.12 ] ~ [ linux-6.7.12 ] ~ [ linux-6.6.58 ] ~ [ linux-6.5.13 ] ~ [ linux-6.4.16 ] ~ [ linux-6.3.13 ] ~ [ linux-6.2.16 ] ~ [ linux-6.1.114 ] ~ [ linux-6.0.19 ] ~ [ linux-5.19.17 ] ~ [ linux-5.18.19 ] ~ [ linux-5.17.15 ] ~ [ linux-5.16.20 ] ~ [ linux-5.15.169 ] ~ [ linux-5.14.21 ] ~ [ linux-5.13.19 ] ~ [ linux-5.12.19 ] ~ [ linux-5.11.22 ] ~ [ linux-5.10.228 ] ~ [ linux-5.9.16 ] ~ [ linux-5.8.18 ] ~ [ linux-5.7.19 ] ~ [ linux-5.6.19 ] ~ [ linux-5.5.19 ] ~ [ linux-5.4.284 ] ~ [ linux-5.3.18 ] ~ [ linux-5.2.21 ] ~ [ linux-5.1.21 ] ~ [ linux-5.0.21 ] ~ [ linux-4.20.17 ] ~ [ linux-4.19.322 ] ~ [ linux-4.18.20 ] ~ [ linux-4.17.19 ] ~ [ linux-4.16.18 ] ~ [ linux-4.15.18 ] ~ [ linux-4.14.336 ] ~ [ linux-4.13.16 ] ~ [ linux-4.12.14 ] ~ [ linux-4.11.12 ] ~ [ linux-4.10.17 ] ~ [ linux-4.9.337 ] ~ [ linux-4.4.302 ] ~ [ linux-3.10.108 ] ~ [ linux-2.6.32.71 ] ~ [ linux-2.6.0 ] ~ [ linux-2.4.37.11 ] ~ [ unix-v6-master ] ~ [ ccs-tools-1.8.9 ] ~ [ policy-sample ] ~
Architecture: ~ [ i386 ] ~ [ alpha ] ~ [ m68k ] ~ [ mips ] ~ [ ppc ] ~ [ sparc ] ~ [ sparc64 ] ~

Diff markup

Differences between /scripts/coccinelle/free/kfreeaddr.cocci (Version linux-6.11.5) and /scripts/coccinelle/free/kfreeaddr.cocci (Version linux-4.10.17)


  1 // SPDX-License-Identifier: GPL-2.0-only       << 
  2 /// Free of a structure field                       1 /// Free of a structure field
  3 ///                                                 2 ///
  4 // Confidence: High                                 3 // Confidence: High
  5 // Copyright: (C) 2013 Julia Lawall, INRIA/LIP !!   4 // Copyright: (C) 2013 Julia Lawall, INRIA/LIP6.  GPLv2.
  6 // URL: https://coccinelle.gitlabpages.inria.f !!   5 // URL: http://coccinelle.lip6.fr/
  7 // Comments:                                        6 // Comments:
  8 // Options: --no-includes --include-headers         7 // Options: --no-includes --include-headers
  9                                                     8 
 10 virtual org                                         9 virtual org
 11 virtual report                                     10 virtual report
 12 virtual context                                    11 virtual context
 13                                                    12 
 14 @r depends on context || report || org @           13 @r depends on context || report || org @
 15 expression e;                                      14 expression e;
 16 identifier f;                                      15 identifier f;
 17 position p;                                        16 position p;
 18 @@                                                 17 @@
 19                                                    18 
 20 (                                                  19 (
 21 * kfree@p(&e->f)                                   20 * kfree@p(&e->f)
 22 |                                                  21 |
 23 * kfree_sensitive@p(&e->f)                     !!  22 * kzfree@p(&e->f)
 24 )                                                  23 )
 25                                                    24 
 26 @script:python depends on org@                     25 @script:python depends on org@
 27 p << r.p;                                          26 p << r.p;
 28 @@                                                 27 @@
 29                                                    28 
 30 cocci.print_main("kfree",p)                        29 cocci.print_main("kfree",p)
 31                                                    30 
 32 @script:python depends on report@                  31 @script:python depends on report@
 33 p << r.p;                                          32 p << r.p;
 34 @@                                                 33 @@
 35                                                    34 
 36 msg = "ERROR: invalid free of structure field"     35 msg = "ERROR: invalid free of structure field"
 37 coccilib.report.print_report(p[0],msg)             36 coccilib.report.print_report(p[0],msg)
                                                      

~ [ source navigation ] ~ [ diff markup ] ~ [ identifier search ] ~

kernel.org | git.kernel.org | LWN.net | Project Home | SVN repository | Mail admin

Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.

sflogo.php