Query module UninitializedLocal
- Potentially uninitialized local variable
- Reading from a local variable that has not been assigned to will typically yield garbage.
- security external/cwe/cwe-665 external/cwe/cwe-457
Auxiliary predicate: Types that don’t require initialization before they are used, since they’re stack-allocated.
Auxiliary predicate: List common exceptions or false positives for this check to exclude them.
A declaration of a local variable that leaves the variable uninitialized.