cloud9_root/src/cloud9/lib/Core/CacheSideChannel.cpp
// record the memory address of load/store insts, invoked in executeMemoryOperation function
record the memory address of load/store insts, invoked in executeMemoryOperation function
record the memory address of load / store insts invoked in executeMemoryOperation function
void CacheChannel::logMemoryAddr(ExecutionState& state, ref<Expr> address) {
	if (state.symbolicAddrNum + state.concreteAddrNum <= STAGE_THRESHOLD) {
		state.memAddrs.push_back(address);
		if (address->getKind() == Expr::Constant) {
			state.concreteAddrNum++;
		} else {
			state.symbolicAddrNum++;
		}
	}
}
void CacheChannel :: logMemoryAddr ( ExecutionState & state , ref < Expr > address ) { if ( state . symbolicAddrNum + state . concreteAddrNum <= STAGE_THRESHOLD ) { state . memAddrs . push_back ( address ) ; if ( address -> getKind ( ) == Expr :: Constant ) { state . concreteAddrNum ++ ; } else { state . symbolicAddrNum ++ ; } } }
record the memory address of load/store insts, invoked in executeMemoryOperation function
record the memory address of load / store insts invoked in executeMemoryOperation function