04 Jul, 2013
1 commit
-
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
15 Jan, 2012
1 commit
-
This patch ensures that all semantic patches in the scripts/coccinelle
directory provide the report option. Report messages that include line
numbers now have the line number preceded by "line" for easier subsequent
processing.Signed-off-by: Julia Lawall
Signed-off-by: Michal Marek
13 Oct, 2010
1 commit
-
Use new comment format to separate proposed commit message
and information about generated false positivesSigned-off-by: Nicolas Palix
Signed-off-by: Julia Lawall
Signed-off-by: Michal Marek
31 Aug, 2010
1 commit
-
Find a use after free. Values of variables may imply that some
execution paths are not possible, resulting in false positives.
Another source of false positives are macros such as
SCTP_DBG_OBJCNT_DEC that do not actually evaluate their argumentSigned-off-by: Nicolas Palix
Signed-off-by: Julia Lawall
Signed-off-by: Michal Marek