SVF::MTA::RaceOccurrence Struct Reference

One occurrence of a memory access under one thread instance. More...

Public Attributes
const SVFStmt *	stmt
const ICFGNode *	node
bool	isStore
NodeID	tid
NodeBS	interleav
bool	locked

Detailed Description

One occurrence of a memory access under one thread instance.

Definition at line 147 of file MTA.h.

Member Data Documentation

interleav

NodeBS SVF::MTA::RaceOccurrence::interleav

Definition at line 153 of file MTA.h.

isStore

bool SVF::MTA::RaceOccurrence::isStore

Definition at line 151 of file MTA.h.

locked

bool SVF::MTA::RaceOccurrence::locked

Definition at line 154 of file MTA.h.

node

const ICFGNode* SVF::MTA::RaceOccurrence::node

Definition at line 150 of file MTA.h.

stmt

const SVFStmt* SVF::MTA::RaceOccurrence::stmt

Definition at line 149 of file MTA.h.

tid

NodeID SVF::MTA::RaceOccurrence::tid

Definition at line 152 of file MTA.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/MTA/MTA.h