|
Static Value-Flow Analysis
|
Continuation and field nodes for one call; see the example above. More...
Public Attributes | |
| const Instruction * | continuation |
| std::map< AggregateField, AggregateCallField > | fields |
Continuation and field nodes for one call; see the example above.
Definition at line 130 of file SVFIRBuilder.h.
| const Instruction* SVF::SVFIRBuilder::AggregateCall::continuation |
Definition at line 132 of file SVFIRBuilder.h.
| std::map<AggregateField, AggregateCallField> SVF::SVFIRBuilder::AggregateCall::fields |
Definition at line 133 of file SVFIRBuilder.h.