Skip to content

Commit a2251ec

Browse files
committed
JS: Add a few missing node types
1 parent e0fb2d0 commit a2251ec

File tree

1 file changed

+8
-0
lines changed

1 file changed

+8
-0
lines changed

javascript/ql/lib/semmle/javascript/ApiGraphs.qll

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -763,10 +763,16 @@ module API {
763763
or
764764
nd = any(DataFlow::FunctionNode fn).getAReturn()
765765
or
766+
nd = any(DataFlow::FunctionNode fn).getExceptionalReturn()
767+
or
766768
nd = any(DataFlow::InvokeNode i).getAnArgument()
767769
or
768770
nd = any(DataFlow::InvokeNode i).getASpreadArgument()
769771
or
772+
nd = any(DataFlow::InvokeNode i).getExceptionalReturn()
773+
or
774+
nd = any(ThrowStmt stmt).getExpr().flow()
775+
or
770776
nd = any(DataFlow::CallNode c).getReceiver()
771777
or
772778
nd = DataFlow::valueNode(any(ExportNamedDeclaration decl).getOperand())
@@ -776,6 +782,8 @@ module API {
776782
nd = any(ExportNamedDeclaration decl).getOperand().(DeclStmt).getADecl().getInit().flow()
777783
or
778784
nd = any(ExportNamespaceSpecifier spec | exists(spec.getExportedName())).flow()
785+
or
786+
nd = any(MemberDeclaration m).getInit().flow()
779787
} or
780788
MkUse(DataFlow::Node nd) { nd instanceof DataFlow::SourceNode } or
781789
/** A use of a TypeScript type. */

0 commit comments

Comments
 (0)