04 Jul, 2013
2 commits
-
The naming convention of options has changed one year ago.
The options have been recently updated in the cocci file
and in scripts/coccicheck. This patch also adds this information
in the documentation.Signed-off-by: Nicolas Palix
Signed-off-by: Michal Marek -
spatch has changed its option scheme.
E.g., --no_show_diff is now --no-show-diffThis patch updates:
- scripts/coccicheck
- Semantic patches under scripts/coccinelle/Signed-off-by: Nicolas Palix
Signed-off-by: Michal Marek
03 Jul, 2013
1 commit
-
This adds parallelism by default to the "coccicheck" target using
spatch's "-max" and "-index" arguments.Signed-off-by: Kees Cook
Signed-off-by: Nicolas Palix
Signed-off-by: Michal Marek
14 Jun, 2013
1 commit
-
It appears that the 'report' mode is the one always
provided by the semantic patches included in the kernel.
It is thus more natural to select it by default.The 'chain' mode is however kept and the 'patch' mode
is still the first tried in that case.Signed-off-by: Nicolas Palix
Signed-off-by: Michal Marek
08 Apr, 2013
4 commits
-
When the M variable is used, the -patch option should be given
to spatch. This patch fixes the case where C is used.Signed-off-by: Nicolas Palix
Signed-off-by: Michal Marek -
The SPFLAGS variable allows to pass additional options
to spatch, e.g. -use_glimpse.Signed-off-by: Nicolas Palix
Signed-off-by: Michal Marek -
The FLAGS variable is factorized independently of the ONLINE mode.
The OPTIONS variable is now based on LINUXINCLUDE and explicit
includes are thus removed.The format of the -I option differs between gcc and spatch.
The COCCIINCLUDE is used to adapt the format. This rewritting
needs bash.Signed-off-by: Nicolas Palix
Signed-off-by: Michal Marek -
A recent patch have introduce the VERBOSE variable and comments
now depend on it. However, the message printed for each cocci file
such not be printed when the ONLINE mode is active, whatever is
the value of VERBOSE.Signed-off-by: Nicolas Palix
Signed-off-by: Michal Marek
22 Feb, 2013
2 commits
-
On my system one of the tests failed with
"Fatal error: exception Failure("No OCaml compiler found! Install either ocamlopt or ocamlopt.opt")".Investigating such issues is easier if the executed command line is
being shown.Signed-off-by: Bernd Schubert
CC: Julia Lawall
Acked-by: Nicolas Palix
Signed-off-by: Michal Marek -
Do not run with verbosity on/off depending on the ONLINE variable,
which gets set with C=1 or C=2, but allow the user to set the
verbosity using kernel default make V= paramemter.
Verbosity is off by default now.Signed-off-by: Bernd Schubert
CC: Julia Lawall
Acked-by: Nicolas Palix
Signed-off-by: Michal Marek
11 Oct, 2012
1 commit
-
This adds a 'rep+ctxt' mode which prints the warning
message followed by the context.Signed-off-by: Nicolas Palix
Signed-off-by: Michal Marek
25 Feb, 2012
1 commit
-
This patch reverts a portion of d0bc1fb4 so that coccicheck will
work properly when C=1 or C=2.Reported-and-tested-by: Brice Goglin
Signed-off-by: Greg Dietsche
Signed-off-by: Julia Lawall
Signed-off-by: Michal Marek
15 Jan, 2012
1 commit
-
Examples:
make coccicheck M=drivers/net/wireless/
make coccicheck SUBDIRS=drivers/net/wireless/Version 2:
fix patch file names when using M=
tell coccinelle where the include files areVersion 3:
Add second include option to support out of tree development
Fix error messageSigned-off-by: Greg Dietsche
Acked-by: Julia Lawall
Signed-off-by: Michal Marek
28 Oct, 2010
1 commit
-
Change the message displayed to the user according
to the current mode used.Fix trailing white-space and spelling
Signed-off-by: Nicolas Palix
Signed-off-by: Michal Marek
13 Oct, 2010
3 commits
-
This allows to write the semantic patches with code sharing
for the matching parts.Signed-off-by: Nicolas Palix
Signed-off-by: Julia Lawall
Signed-off-by: Michal Marek -
spatch now returns -1 when a virtual rule (given with
-D on the command line) is not defined in the semantic patch.Using this spatch feature, coccicheck is now
tries several modes by default, in the order:
patch, report, context, orgSigned-off-by: Nicolas Palix
Signed-off-by: Julia Lawall
Signed-off-by: Michal Marek -
Improve user information with a new kind of comment
about semantic patch output.Fix spelling.
Signed-off-by: Nicolas Palix
Signed-off-by: Julia Lawall
Signed-off-by: Michal Marek
28 Jun, 2010
1 commit
-
This patch makes it possible to use the Coccinelle checker with the C
variable of the build system. To check only newly edited code, the
following command may be used:'make C={1,2} CHECK="scripts/coccicheck"'
This runs every semantic patch in scripts/coccinelle by default. The
COCCI variable may additionally be used to only apply a single
semantic patch.Signed-off-by: Nicolas Palix
Signed-off-by: Julia Lawall
Signed-off-by: Michal Marek
12 Jun, 2010
1 commit
-
A 'coccicheck' target is added. It can be called with four different
modes. Each one generates a different kind of output, i.e. context,
patch, org, report, according to the corresponding mode to be
activated.The new target calls the 'coccicheck' front-end in the 'scripts'
directory with the MODE argument. Every SmPL file in the
subdirectories of 'scripts/coccinelle' is then given to the front-end
and applied to the entire source tree.The four modes behave as follows:
'report' generates a list in the following format:
file:line:column-column: message'patch' proposes a fix, when possible.
'context' highlights lines of interest and their context in a
diff-like style. Lines of interest are indicated with '-'.'org' generates a report in the Org mode format of Emacs.
Signed-off-by: Nicolas Palix
Signed-off-by: Julia Lawall
Acked-by: Sam Ravnborg
Acked-by: Joerg Roedel
Signed-off-by: Michal Marek