From bbf3fa750615f04e48eb6f0a55ef81c7abfc79bc Mon Sep 17 00:00:00 2001 From: Owen Mansel-Chan Date: Fri, 1 Mar 2024 09:59:27 +0000 Subject: [PATCH] do not generate models for toString --- .../lib/semmle/code/java/dataflow/internal/ModelExclusions.qll | 1 + 1 file changed, 1 insertion(+) diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/ModelExclusions.qll b/java/ql/lib/semmle/code/java/dataflow/internal/ModelExclusions.qll index b8c86badd4f..22a37275244 100644 --- a/java/ql/lib/semmle/code/java/dataflow/internal/ModelExclusions.qll +++ b/java/ql/lib/semmle/code/java/dataflow/internal/ModelExclusions.qll @@ -64,6 +64,7 @@ predicate isUninterestingForModels(Callable c) { isInTestFile(c.getCompilationUnit().getFile()) or isInternal(c.getCompilationUnit()) or c instanceof MainMethod or + c instanceof ToStringMethod or c instanceof StaticInitializer or exists(FunctionalExpr funcExpr | c = funcExpr.asMethod()) or c.getDeclaringType() instanceof TestLibrary or