From 6f61ed04956336d32173de4ef267b1fc8d224b70 Mon Sep 17 00:00:00 2001 From: roshanData Date: Wed, 21 May 2025 00:06:02 -0400 Subject: [PATCH] docs: clarify --skips flag disables both binary checkers and language parsers This commit updates the documentation for the --skips flag to clarify that it works for both binary checkers and language parsers, as requested in issue #5071. Fixes #5071 --- doc/MANUAL.md | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/doc/MANUAL.md b/doc/MANUAL.md index 568c17b66a..ef17f2547a 100644 --- a/doc/MANUAL.md +++ b/doc/MANUAL.md @@ -868,9 +868,8 @@ To disable multiple data sources, the data sources should be specified as a comm ## Checkers Arguments -### -s SKIPS, --skips SKIPS - -This option allows one to skip (disable) a comma-separated list of checkers. This can be useful for improving the performance of the tool when you have some prior knowledge about what checkers may apply to the binary you are scanning. +#### -s SKIPS, --skips SKIPS +This option allows one to skip (disable) a comma-separated list of checkers and language parsers. This can be useful for improving the performance of the tool when you have some prior knowledge about what checkers or language parsers may apply to the binary you are scanning. The flag works for both binary checkers (e.g., curl, openssl) and language parsers (e.g., python, java). ### -r CHECKERS, --runs CHECKERS