__ __ __ __ _____ _ _ _____ _ _ _ | \/ | \ \ / / | __ \ (_) | | / ____| | | | | | \ / |_ __\ V / | |__) | __ ___ ____ _| |_ ___ | (___ | |__ ___| | | | |\/| | '__|> < | ___/ '__| \ \ / / _` | __/ _ \ \___ \| '_ \ / _ \ | | | | | | |_ / . \ | | | | | |\ V / (_| | || __/ ____) | | | | __/ | | |_| |_|_(_)_/ \_\ |_| |_| |_| \_/ \__,_|\__\___| |_____/|_| |_|\___V 2.1 if you need WebShell for Seo everyday contact me on Telegram Telegram Address : @jackleetFor_More_Tools:
// SPDX-License-Identifier: GPL-2.0-only
/// Free of a structure field
///
// Confidence: High
// Copyright: (C) 2013 Julia Lawall, INRIA/LIP6.
// URL: https://coccinelle.gitlabpages.inria.fr/website
// Comments:
// Options: --no-includes --include-headers
virtual org
virtual report
virtual context
@r depends on context || report || org @
expression e;
identifier f;
position p;
@@
(
* kfree@p(&e->f)
|
* kfree_sensitive@p(&e->f)
)
@script:python depends on org@
p << r.p;
@@
cocci.print_main("kfree",p)
@script:python depends on report@
p << r.p;
@@
msg = "ERROR: invalid free of structure field"
coccilib.report.print_report(p[0],msg)
| Name | Type | Size | Permission | Actions |
|---|---|---|---|---|
| clk_put.cocci | File | 1.27 KB | 0644 |
|
| devm_free.cocci | File | 2.53 KB | 0644 |
|
| ifnulldev_put.cocci | File | 1.06 KB | 0644 |
|
| ifnullfree.cocci | File | 1.29 KB | 0644 |
|
| iounmap.cocci | File | 1.28 KB | 0644 |
|
| kfree.cocci | File | 1.83 KB | 0644 |
|
| kfreeaddr.cocci | File | 646 B | 0644 |
|
| pci_free_consistent.cocci | File | 1.28 KB | 0644 |
|
| put_device.cocci | File | 1.3 KB | 0644 |
|