menu
anteater package
documentation
reasoner/abstract/null_verifier.dart
NullDereference
instruction property
instruction property
dark_mode
light_mode
instruction
property
Instruction
instruction
final
The instruction performing the dereference.
Implementation
final Instruction instruction;
anteater package
documentation
reasoner/abstract/null_verifier
NullDereference
instruction property
NullDereference class