diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2009-11-14 12:45:45 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2009-11-14 12:45:45 -0500 |
| commit | 41a0e658a2db1c95bb9ca9ad7dc55a3d7d57e8a4 (patch) | |
| tree | 4ed04f29ac660f69ecd7dbd2a4a2d5fcff57e196 /README | |
| parent | 190351e18b307ae4fef728208fa973e2c8ffd018 (diff) | |
| download | check-cpython-41a0e658a2db1c95bb9ca9ad7dc55a3d7d57e8a4.tar.gz check-cpython-41a0e658a2db1c95bb9ca9ad7dc55a3d7d57e8a4.tar.xz check-cpython-41a0e658a2db1c95bb9ca9ad7dc55a3d7d57e8a4.zip | |
Minor cleanups
Diffstat (limited to 'README')
| -rw-r--r-- | README | 12 |
1 files changed, 7 insertions, 5 deletions
@@ -16,9 +16,11 @@ buggy.c:13: Mismatching type of argument 1: expected "int *" but got "unsigned l which correctly detects an issue seen in socket.htons() on 64bit big endian machines -Similarly, it detects the deliberate bug here: -spatch -sp_file pyarg-parsetuple.cocci ../python-svn/Modules/xxmodule.c +Similarly, it detects the deliberate bug in xxmodule.c: +[david@brick static-analysis]$ spatch -sp_file pyarg-parsetuple.cocci ../../python-svn/Modules/xxmodule.c init_defs_builtins: /usr/share/coccinelle/standard.h -HANDLING: ../python-svn/Modules/xxmodule.c -TYPE: header ../python-svn/Modules/Python.h not found -../python-svn/Modules/xxmodule.c:206: unknown format char: '#' +HANDLING: ../../python-svn/Modules/xxmodule.c +TYPE: header ../../python-svn/Modules/Python.h not found +../../python-svn/Modules/xxmodule.c:207:xx_roj:unknown format char in "O#:roj": '#' +[david@brick static-analysis]$ echo $? +1 |