![]() Server : Apache System : Linux server2.corals.io 4.18.0-348.2.1.el8_5.x86_64 #1 SMP Mon Nov 15 09:17:08 EST 2021 x86_64 User : corals ( 1002) PHP Version : 7.4.33 Disable Function : exec,passthru,shell_exec,system Directory : /lib/modules/4.18.0-348.2.1.el8_5.x86_64/source/scripts/coccinelle/free/ |
/// Find missing pci_free_consistent for every pci_alloc_consistent. /// // Confidence: Moderate // Copyright: (C) 2013 Petr Strnad. GPLv2. // URL: http://coccinelle.lip6.fr/ // Keywords: pci_free_consistent, pci_alloc_consistent // Options: --no-includes --include-headers virtual report virtual org @search@ local idexpression id; expression x,y,z,e; position p1,p2; type T; @@ id = pci_alloc_consistent@p1(x,y,&z) ... when != e = id if (id == NULL || ...) { ... return ...; } ... when != pci_free_consistent(x,y,id,z) when != if (id) { ... pci_free_consistent(x,y,id,z) ... } when != if (y) { ... pci_free_consistent(x,y,id,z) ... } when != e = (T)id when exists ( return 0; | return 1; | return id; | return@p2 ...; ) @script:python depends on report@ p1 << search.p1; p2 << search.p2; @@ msg = "ERROR: missing pci_free_consistent; pci_alloc_consistent on line %s and return without freeing on line %s" % (p1[0].line,p2[0].line) coccilib.report.print_report(p2[0],msg) @script:python depends on org@ p1 << search.p1; p2 << search.p2; @@ msg = "ERROR: missing pci_free_consistent; pci_alloc_consistent on line %s and return without freeing on line %s" % (p1[0].line,p2[0].line) cocci.print_main(msg,p1) cocci.print_secs("",p2)