qtil
advanced-security/qtil-ruby 0.0.2
Search

Predicate uninitializedWrite

Holds if v is uninitialized at index i in entry block bb.

Import path

import codeql.ruby.dataflow.internal.SsaImpl
predicate uninitializedWrite(EntryBasicBlock bb, int i, LocalVariable v)