diff options
| author | Laurent Vivier <lvivier@redhat.com> | 2016-05-09 15:24:55 +0200 |
|---|---|---|
| committer | Michael Tokarev <mjt@tls.msk.ru> | 2016-06-07 18:02:49 +0300 |
| commit | e9d5150739c4e321088eddfe46b88a8654d86eae (patch) | |
| tree | 9a47ab91710c6f160a534dffdeb00d9c18e872ad /scripts/coccinelle/overflow_muldiv64.cocci | |
| parent | 96165b9eb4207a34a87c46df731d3cc42c052e13 (diff) | |
scripts: add muldiv64() checking coccinelle scripts
Signed-off-by: Laurent Vivier <lvivier@redhat.com>
Signed-off-by: Michael Tokarev <mjt@tls.msk.ru>
Diffstat (limited to 'scripts/coccinelle/overflow_muldiv64.cocci')
| -rw-r--r-- | scripts/coccinelle/overflow_muldiv64.cocci | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/scripts/coccinelle/overflow_muldiv64.cocci b/scripts/coccinelle/overflow_muldiv64.cocci new file mode 100644 index 0000000000..08ec4a8de0 --- /dev/null +++ b/scripts/coccinelle/overflow_muldiv64.cocci @@ -0,0 +1,16 @@ +// Find muldiv64(i64, i64, x) for potential overflow +@filter@ +typedef uint64_t; +typedef int64_t; +{ uint64_t, int64_t, long, unsigned long } a, b; +expression c; +position p; +@@ + +muldiv64(a,b,c)@p + +@script:python@ +p << filter.p; +@@ + +cocci.print_main("potential muldiv64() overflow", p) |