From 0ed66faabf8d4a394bb7eb6d0103ed0822dc0388 Mon Sep 17 00:00:00 2001 From: Nischal Paliwal <156404171+NischalPaliwal@users.noreply.github.com> Date: Wed, 21 May 2025 07:03:53 +0530 Subject: [PATCH] updated --skips flag doc --- doc/MANUAL.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/MANUAL.md b/doc/MANUAL.md index 568c17b66a..f90f8953e7 100644 --- a/doc/MANUAL.md +++ b/doc/MANUAL.md @@ -870,7 +870,7 @@ To disable multiple data sources, the data sources should be specified as a comm ### -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. +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 may apply to the binary you are scanning or what language parsers are needed. The `--skips` flag works for both binary checkers and language parsers. ### -r CHECKERS, --runs CHECKERS