From b022b39da0f796a5a9183655d4d27dc67c8cf2fd Mon Sep 17 00:00:00 2001 From: Josselin Date: Sat, 22 Aug 2020 14:33:16 +0200 Subject: [PATCH] Increase default stack depth limit --- slither/__main__.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/slither/__main__.py b/slither/__main__.py index d0b043cd9..313fd8fb2 100644 --- a/slither/__main__.py +++ b/slither/__main__.py @@ -514,6 +514,9 @@ class FormatterCryticCompile(logging.Formatter): def main(): + # Codebase with complex domninators can lead to a lot of SSA recursive call + sys.setrecursionlimit(1500) + detectors, printers = get_detectors_and_printers() main_impl(all_detector_classes=detectors, all_printer_classes=printers)