From 41a0e658a2db1c95bb9ca9ad7dc55a3d7d57e8a4 Mon Sep 17 00:00:00 2001 From: David Malcolm Date: Sat, 14 Nov 2009 12:45:45 -0500 Subject: Minor cleanups --- README | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) (limited to 'README') diff --git a/README b/README index b3713db..aa837ce 100644 --- a/README +++ b/README @@ -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 -- cgit