hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-29 18:55:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

JavaScript: Add utility predicate SSA::implicitInit.

Browse Source
This commit is contained in:
Max Schaefer
2020-09-02 14:34:52 +01:00
parent d81d80430e
commit 9840a7ddfb
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
javascript/ql/src/semmle/javascript/SSA.qll
View File

@@ -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 }