Add UninitializedLocal.ql query

This commit is contained in:
Tom Hvitved
2021-01-27 10:44:49 +01:00
parent 8abedaee8a
commit 9dfea8006d

View File

@@ -0,0 +1,32 @@
/**
* @name Potentially uninitialized local variable
* @description Using a local variable before it is initialized gives the variable a default
* 'nil' value.
* @kind problem
* @problem.severity error
* @id rb/uninitialized-local-variable
* @tags reliability
* correctness
* @precision low
*/
import ruby
import codeql_ruby.dataflow.SSA
class RelevantLocalVariableReadAccess extends LocalVariableReadAccess {
RelevantLocalVariableReadAccess() {
not exists(Call c |
c.getReceiver() = this and
c.getMethodName() = "nil?"
)
}
}
from RelevantLocalVariableReadAccess read, LocalVariable v
where
v = read.getVariable() and
exists(Ssa::Definition def |
def.getAnUltimateDefinition() instanceof Ssa::UninitializedDefinition and
exists(def.getARead(read))
)
select read, "Local variable $@ may be used before it is initialized.", v, v.getName()