From 15f92fcda87e52d0373adf6c1933d17ab2d91a9b Mon Sep 17 00:00:00 2001 From: Josh Brown Date: Thu, 21 Nov 2024 19:52:03 -0800 Subject: [PATCH] No magic isLibraryFile --- javascript/ql/lib/semmle/javascript/filters/ClassifyFiles.qll | 1 + 1 file changed, 1 insertion(+) diff --git a/javascript/ql/lib/semmle/javascript/filters/ClassifyFiles.qll b/javascript/ql/lib/semmle/javascript/filters/ClassifyFiles.qll index 5dd44226351..3e12cc2d96e 100644 --- a/javascript/ql/lib/semmle/javascript/filters/ClassifyFiles.qll +++ b/javascript/ql/lib/semmle/javascript/filters/ClassifyFiles.qll @@ -73,6 +73,7 @@ predicate isExternsFile(File f) { /** * Holds if `f` contains library code. */ +pragma[nomagic] predicate isLibraryFile(File f) { f.getATopLevel() instanceof FrameworkLibraryInstance } /**