JavaScript: Add utility predicate SSA::implicitInit.

Max Schaefer · Max Schaefer · commit cd64ce7b1a77 · 2020-09-02T14:34:52.000+01:00
diff --git a/javascript/ql/src/semmle/javascript/SSA.qll b/javascript/ql/src/semmle/javascript/SSA.qll
@@ -737,6 +737,9 @@ class SsaRefinementNode extends SsaPseudoDefinition, TRefinement {
 }
 
 module SSA {
+  /** Gets the SSA definition corresponding to the implicit initialization of `v`. */
+  SsaImplicitInit implicitInit(SsaSourceVariable v) { result.getSourceVariable() = v }
+
   /** Gets the SSA definition corresponding to `d`. */
   SsaExplicitDefinition definition(VarDef d) { result.getDef() = d }
 

Original file line number	Diff line number	Diff line change
`@@ -737,6 +737,9 @@ class SsaRefinementNode extends SsaPseudoDefinition, TRefinement {`
`737`	`737`	`}`
`738`	`738`
`739`	`739`	`module SSA {`
	`740`	+ /** Gets the SSA definition corresponding to the implicit initialization of `v`. */
	`741`	`+ SsaImplicitInit implicitInit(SsaSourceVariable v) { result.getSourceVariable() = v }`
	`742`	`+`
`740`	`743`	/** Gets the SSA definition corresponding to `d`. */
`741`	`744`	`SsaExplicitDefinition definition(VarDef d) { result.getDef() = d }`
`742`	`745`