File manager - Edit - /home/newsbmcs.com/public_html/static/img/logo/alloc.tar
Back
zalloc-simple.cocci 0000644 00000020576 15030427551 0010335 0 ustar 00 // SPDX-License-Identifier: GPL-2.0-only /// /// Use zeroing allocator rather than allocator followed by memset with 0 /// /// This considers some simple cases that are common and easy to validate /// Note in particular that there are no ...s in the rule, so all of the /// matched code has to be contiguous /// // Confidence: High // Copyright: (C) 2009-2010 Julia Lawall, Nicolas Palix, DIKU. // Copyright: (C) 2009-2010 Gilles Muller, INRIA/LiP6. // Copyright: (C) 2017 Himanshu Jha // URL: http://coccinelle.lip6.fr/rules/kzalloc.html // Options: --no-includes --include-headers // // Keywords: kmalloc, kzalloc // Version min: < 2.6.12 kmalloc // Version min: 2.6.14 kzalloc // virtual context virtual patch virtual org virtual report //---------------------------------------------------------- // For context mode //---------------------------------------------------------- @depends on context@ type T, T2; expression x; expression E1; statement S; @@ * x = (T)\(kmalloc(E1, ...)\|vmalloc(E1)\|dma_alloc_coherent(...,E1,...)\| kmalloc_node(E1, ...)\|kmem_cache_alloc(...)\|kmem_alloc(E1, ...)\| devm_kmalloc(...,E1,...)\|kvmalloc(E1, ...)\|kvmalloc_node(E1,...)\); if ((x==NULL) || ...) S * memset((T2)x,0,E1); //---------------------------------------------------------- // For patch mode //---------------------------------------------------------- @depends on patch@ type T, T2; expression x; expression E1,E2,E3,E4; statement S; @@ ( - x = kmalloc(E1,E2); + x = kzalloc(E1,E2); | - x = (T *)kmalloc(E1,E2); + x = kzalloc(E1,E2); | - x = (T)kmalloc(E1,E2); + x = (T)kzalloc(E1,E2); | - x = vmalloc(E1); + x = vzalloc(E1); | - x = (T *)vmalloc(E1); + x = vzalloc(E1); | - x = (T)vmalloc(E1); + x = (T)vzalloc(E1); | - x = kmalloc_node(E1,E2,E3); + x = kzalloc_node(E1,E2,E3); | - x = (T *)kmalloc_node(E1,E2,E3); + x = kzalloc_node(E1,E2,E3); | - x = (T)kmalloc_node(E1,E2,E3); + x = (T)kzalloc_node(E1,E2,E3); | - x = kmem_cache_alloc(E3,E4); + x = kmem_cache_zalloc(E3,E4); | - x = (T *)kmem_cache_alloc(E3,E4); + x = kmem_cache_zalloc(E3,E4); | - x = (T)kmem_cache_alloc(E3,E4); + x = (T)kmem_cache_zalloc(E3,E4); | - x = kmem_alloc(E1,E2); + x = kmem_zalloc(E1,E2); | - x = (T *)kmem_alloc(E1,E2); + x = kmem_zalloc(E1,E2); | - x = (T)kmem_alloc(E1,E2); + x = (T)kmem_zalloc(E1,E2); | - x = devm_kmalloc(E2,E1,E3); + x = devm_kzalloc(E2,E1,E3); | - x = (T *)devm_kmalloc(E2,E1,E3); + x = devm_kzalloc(E2,E1,E3); | - x = (T)devm_kmalloc(E2,E1,E3); + x = (T)devm_kzalloc(E2,E1,E3); | - x = kvmalloc(E1,E2); + x = kvzalloc(E1,E2); | - x = (T *)kvmalloc(E1,E2); + x = kvzalloc(E1,E2); | - x = (T)kvmalloc(E1,E2); + x = (T)kvzalloc(E1,E2); | - x = kvmalloc_node(E1,E2,E3); + x = kvzalloc_node(E1,E2,E3); | - x = (T *)kvmalloc_node(E1,E2,E3); + x = kvzalloc_node(E1,E2,E3); | - x = (T)kvmalloc_node(E1,E2,E3); + x = (T)kvzalloc_node(E1,E2,E3); ) if ((x==NULL) || ...) S - memset((T2)x,0,E1); @depends on patch@ type T, T2; expression x; expression E1,E2,E3,E4; statement S; @@ x = (T)dma_alloc_coherent(E1, E2, E3, E4); if ((x==NULL) || ...) S - memset((T2)x, 0, E2); //---------------------------------------------------------- // For org mode //---------------------------------------------------------- @r depends on org || report@ type T, T2; expression x; expression E1,E2; statement S; position p; @@ x = (T)kmalloc@p(E1,E2); if ((x==NULL) || ...) S memset((T2)x,0,E1); @script:python depends on org@ p << r.p; x << r.x; @@ msg="%s" % (x) msg_safe=msg.replace("[","@(").replace("]",")") coccilib.org.print_todo(p[0], msg_safe) @script:python depends on report@ p << r.p; x << r.x; @@ msg="WARNING: kzalloc should be used for %s, instead of kmalloc/memset" % (x) coccilib.report.print_report(p[0], msg) //----------------------------------------------------------------- @r1 depends on org || report@ type T, T2; expression x; expression E1; statement S; position p; @@ x = (T)vmalloc@p(E1); if ((x==NULL) || ...) S memset((T2)x,0,E1); @script:python depends on org@ p << r1.p; x << r1.x; @@ msg="%s" % (x) msg_safe=msg.replace("[","@(").replace("]",")") coccilib.org.print_todo(p[0], msg_safe) @script:python depends on report@ p << r1.p; x << r1.x; @@ msg="WARNING: vzalloc should be used for %s, instead of vmalloc/memset" % (x) coccilib.report.print_report(p[0], msg) //----------------------------------------------------------------- @r2 depends on org || report@ type T, T2; expression x; expression E1,E2,E3,E4; statement S; position p; @@ x = (T)dma_alloc_coherent@p(E1,E2,E3,E4); if ((x==NULL) || ...) S memset((T2)x,0,E2); @script:python depends on org@ p << r2.p; x << r2.x; @@ msg="%s" % (x) msg_safe=msg.replace("[","@(").replace("]",")") coccilib.org.print_todo(p[0], msg_safe) @script:python depends on report@ p << r2.p; x << r2.x; @@ msg="WARNING: dma_alloc_coherent used in %s already zeroes out memory, so memset is not needed" % (x) coccilib.report.print_report(p[0], msg) //----------------------------------------------------------------- @r3 depends on org || report@ type T, T2; expression x; expression E1,E2,E3; statement S; position p; @@ x = (T)kmalloc_node@p(E1,E2,E3); if ((x==NULL) || ...) S memset((T2)x,0,E1); @script:python depends on org@ p << r3.p; x << r3.x; @@ msg="%s" % (x) msg_safe=msg.replace("[","@(").replace("]",")") coccilib.org.print_todo(p[0], msg_safe) @script:python depends on report@ p << r3.p; x << r3.x; @@ msg="WARNING: kzalloc_node should be used for %s, instead of kmalloc_node/memset" % (x) coccilib.report.print_report(p[0], msg) //----------------------------------------------------------------- @r4 depends on org || report@ type T, T2; expression x; expression E1,E2,E3; statement S; position p; @@ x = (T)kmem_cache_alloc@p(E2,E3); if ((x==NULL) || ...) S memset((T2)x,0,E1); @script:python depends on org@ p << r4.p; x << r4.x; @@ msg="%s" % (x) msg_safe=msg.replace("[","@(").replace("]",")") coccilib.org.print_todo(p[0], msg_safe) @script:python depends on report@ p << r4.p; x << r4.x; @@ msg="WARNING: kmem_cache_zalloc should be used for %s, instead of kmem_cache_alloc/memset" % (x) coccilib.report.print_report(p[0], msg) //----------------------------------------------------------------- @r5 depends on org || report@ type T, T2; expression x; expression E1,E2; statement S; position p; @@ x = (T)kmem_alloc@p(E1,E2); if ((x==NULL) || ...) S memset((T2)x,0,E1); @script:python depends on org@ p << r5.p; x << r5.x; @@ msg="%s" % (x) msg_safe=msg.replace("[","@(").replace("]",")") coccilib.org.print_todo(p[0], msg_safe) @script:python depends on report@ p << r5.p; x << r5.x; @@ msg="WARNING: kmem_zalloc should be used for %s, instead of kmem_alloc/memset" % (x) coccilib.report.print_report(p[0], msg) //----------------------------------------------------------------- @r6 depends on org || report@ type T, T2; expression x; expression E1,E2,E3; statement S; position p; @@ x = (T)devm_kmalloc@p(E2,E1,E3); if ((x==NULL) || ...) S memset((T2)x,0,E1); @script:python depends on org@ p << r6.p; x << r6.x; @@ msg="%s" % (x) msg_safe=msg.replace("[","@(").replace("]",")") coccilib.org.print_todo(p[0], msg_safe) @script:python depends on report@ p << r6.p; x << r6.x; @@ msg="WARNING: devm_kzalloc should be used for %s, instead of devm_kmalloc/memset" % (x) coccilib.report.print_report(p[0], msg) //----------------------------------------------------------------- @r7 depends on org || report@ type T, T2; expression x; expression E1,E2; statement S; position p; @@ x = (T)kvmalloc@p(E1,E2); if ((x==NULL) || ...) S memset((T2)x,0,E1); @script:python depends on org@ p << r7.p; x << r7.x; @@ msg="%s" % (x) msg_safe=msg.replace("[","@(").replace("]",")") coccilib.org.print_todo(p[0], msg_safe) @script:python depends on report@ p << r7.p; x << r7.x; @@ msg="WARNING: kvzalloc should be used for %s, instead of kvmalloc/memset" % (x) coccilib.report.print_report(p[0], msg) //----------------------------------------------------------------- @r9 depends on org || report@ type T, T2; expression x; expression E1,E2,E3; statement S; position p; @@ x = (T)kvmalloc_node@p(E1,E2,E3); if ((x==NULL) || ...) S memset((T2)x,0,E1); @script:python depends on org@ p << r9.p; x << r9.x; @@ msg="%s" % (x) msg_safe=msg.replace("[","@(").replace("]",")") coccilib.org.print_todo(p[0], msg_safe) @script:python depends on report@ p << r9.p; x << r9.x; @@ msg="WARNING: kvzalloc_node should be used for %s, instead of kvmalloc_node/memset" % (x) coccilib.report.print_report(p[0], msg) pool_zalloc-simple.cocci 0000644 00000003354 15030427551 0011361 0 ustar 00 // SPDX-License-Identifier: GPL-2.0-only /// /// Use *_pool_zalloc rather than *_pool_alloc followed by memset with 0 /// // Copyright: (C) 2015 Intel Corp. // Options: --no-includes --include-headers // // Keywords: dma_pool_zalloc, pci_pool_zalloc // virtual context virtual patch virtual org virtual report //---------------------------------------------------------- // For context mode //---------------------------------------------------------- @depends on context@ expression x; statement S; @@ * x = \(dma_pool_alloc\|pci_pool_alloc\)(...); if ((x==NULL) || ...) S * memset(x,0, ...); //---------------------------------------------------------- // For patch mode //---------------------------------------------------------- @depends on patch@ expression x; expression a,b,c; statement S; @@ - x = dma_pool_alloc(a,b,c); + x = dma_pool_zalloc(a,b,c); if ((x==NULL) || ...) S - memset(x,0,...); @depends on patch@ expression x; expression a,b,c; statement S; @@ - x = pci_pool_alloc(a,b,c); + x = pci_pool_zalloc(a,b,c); if ((x==NULL) || ...) S - memset(x,0,...); //---------------------------------------------------------- // For org and report mode //---------------------------------------------------------- @r depends on org || report@ expression x; expression a,b,c; statement S; position p; @@ x = @p\(dma_pool_alloc\|pci_pool_alloc\)(a,b,c); if ((x==NULL) || ...) S memset(x,0, ...); @script:python depends on org@ p << r.p; x << r.x; @@ msg="%s" % (x) msg_safe=msg.replace("[","@(").replace("]",")") coccilib.org.print_todo(p[0], msg_safe) @script:python depends on report@ p << r.p; x << r.x; @@ msg="WARNING: *_pool_zalloc should be used for %s, instead of *_pool_alloc/memset" % (x) coccilib.report.print_report(p[0], msg) alloc_cast.cocci 0000644 00000007072 15030427551 0007662 0 ustar 00 // SPDX-License-Identifier: GPL-2.0-only /// Remove casting the values returned by memory allocation functions /// like kmalloc, kzalloc, kmem_cache_alloc, kmem_cache_zalloc etc. /// //# This makes an effort to find cases of casting of values returned by //# kmalloc, kzalloc, kcalloc, kmem_cache_alloc, kmem_cache_zalloc, //# kmem_cache_alloc_node, kmalloc_node and kzalloc_node and removes //# the casting as it is not required. The result in the patch case may //# need some reformatting. // // Confidence: High // Copyright: (C) 2014 Himangi Saraogi // Copyright: (C) 2017 Himanshu Jha // Comments: // Options: --no-includes --include-headers // virtual context virtual patch virtual org virtual report @initialize:python@ @@ import re pattern = '__' m = re.compile(pattern) @r1 depends on context || patch@ type T; @@ (T *) \(kmalloc\|kzalloc\|kcalloc\|kmem_cache_alloc\|kmem_cache_zalloc\| kmem_cache_alloc_node\|kmalloc_node\|kzalloc_node\|vmalloc\|vzalloc\| dma_alloc_coherent\|devm_kmalloc\|devm_kzalloc\| kvmalloc\|kvzalloc\|kvmalloc_node\|kvzalloc_node\|pci_alloc_consistent\| pci_zalloc_consistent\|kmem_alloc\|kmem_zalloc\|kmem_zone_alloc\| kmem_zone_zalloc\|vmalloc_node\|vzalloc_node\)(...) //---------------------------------------------------------- // For context mode //---------------------------------------------------------- @script:python depends on context@ t << r1.T; @@ if m.search(t) != None: cocci.include_match(False) @depends on context && r1@ type r1.T; @@ * (T *) \(kmalloc\|kzalloc\|kcalloc\|kmem_cache_alloc\|kmem_cache_zalloc\| kmem_cache_alloc_node\|kmalloc_node\|kzalloc_node\|vmalloc\|vzalloc\| dma_alloc_coherent\|devm_kmalloc\|devm_kzalloc\| kvmalloc\|kvzalloc\|kvmalloc_node\|kvzalloc_node\|pci_alloc_consistent\| pci_zalloc_consistent\|kmem_alloc\|kmem_zalloc\|kmem_zone_alloc\| kmem_zone_zalloc\|vmalloc_node\|vzalloc_node\)(...) //---------------------------------------------------------- // For patch mode //---------------------------------------------------------- @script:python depends on patch@ t << r1.T; @@ if m.search(t) != None: cocci.include_match(False) @depends on patch && r1@ type r1.T; @@ - (T *) \(kmalloc\|kzalloc\|kcalloc\|kmem_cache_alloc\|kmem_cache_zalloc\| kmem_cache_alloc_node\|kmalloc_node\|kzalloc_node\|vmalloc\|vzalloc\| dma_alloc_coherent\|devm_kmalloc\|devm_kzalloc\| kvmalloc\|kvzalloc\|kvmalloc_node\|kvzalloc_node\|pci_alloc_consistent\| pci_zalloc_consistent\|kmem_alloc\|kmem_zalloc\|kmem_zone_alloc\| kmem_zone_zalloc\|vmalloc_node\|vzalloc_node\)(...) //---------------------------------------------------------- // For org and report mode //---------------------------------------------------------- @r2 depends on org || report@ type T; position p; @@ (T@p *) \(kmalloc\|kzalloc\|kcalloc\|kmem_cache_alloc\|kmem_cache_zalloc\| kmem_cache_alloc_node\|kmalloc_node\|kzalloc_node\|vmalloc\|vzalloc\| dma_alloc_coherent\|devm_kmalloc\|devm_kzalloc\| kvmalloc\|kvzalloc\|kvmalloc_node\|kvzalloc_node\|pci_alloc_consistent\| pci_zalloc_consistent\|kmem_alloc\|kmem_zalloc\|kmem_zone_alloc\| kmem_zone_zalloc\|vmalloc_node\|vzalloc_node\)(...) @script:python depends on org@ p << r2.p; t << r2.T; @@ if m.search(t) != None: cocci.include_match(False) else: coccilib.org.print_safe_todo(p[0], t) @script:python depends on report@ p << r2.p; t << r2.T; @@ if m.search(t) != None: cocci.include_match(False) else: msg="WARNING: casting value returned by memory allocation function to (%s *) is useless." % (t) coccilib.report.print_report(p[0], msg)
| ver. 1.4 |
Github
|
.
| PHP 8.2.28 | Generation time: 0.02 |
proxy
|
phpinfo
|
Settings