SVF::AndersenWaveDiff::LoadStoreState Struct Reference

Public Attributes
PointsTo	pts
NodeBS	loadDsts
NodeBS	storeSrcs

Detailed Description

Definition at line 456 of file Andersen.h.

Member Data Documentation

loadDsts

NodeBS SVF::AndersenWaveDiff::LoadStoreState::loadDsts

Definition at line 459 of file Andersen.h.

pts

PointsTo SVF::AndersenWaveDiff::LoadStoreState::pts

Definition at line 458 of file Andersen.h.

storeSrcs

NodeBS SVF::AndersenWaveDiff::LoadStoreState::storeSrcs

Definition at line 460 of file Andersen.h.

---

The documentation for this struct was generated from the following file:

• /home/runner/work/SVF/SVF/svf/include/WPA/Andersen.h