C++ (Cpp) SymbolicVariable::setSymVarConcreteValueの例

コード例 #1

ファイル: analysisProcessor.cpp プロジェクト: nnamon/Triton

SymbolicVariable *AnalysisProcessor::convertRegToSymVar(uint64 regId, uint64 symVarSize, std::string symVarComment) {
  uint128 mask     = 1;
  mask             = (mask << symVarSize) - 1;
  uint128 regValue = this->getRegisterValue(regId) & mask;

  SymbolicVariable *symVar = this->symEngine.convertRegToSymVar(regId, symVarSize, symVarComment);
  symVar->setSymVarConcreteValue(regValue);
  return symVar;
}

コード例 #2

ファイル: analysisProcessor.cpp プロジェクト: h0wl/Triton

SymbolicVariable *AnalysisProcessor::convertMemToSymVar(MemoryOperand &mem, uint64 symVarSize, std::string symVarComment) {
  uint64 address = mem.getAddress();
  SymbolicVariable *symVar = this->symEngine.convertMemToSymVar(address, symVarSize, symVarComment);
  symVar->setSymVarConcreteValue(this->getMemValue(address, symVarSize));
  return symVar;
}

コード例 #3

ファイル: analysisProcessor.cpp プロジェクト: nnamon/Triton

SymbolicVariable *AnalysisProcessor::convertMemToSymVar(uint64 memAddr, uint64 symVarSize, std::string symVarComment) {
  SymbolicVariable *symVar = this->symEngine.convertMemToSymVar(memAddr, symVarSize, symVarComment);
  symVar->setSymVarConcreteValue(this->getMemValue(memAddr,symVarSize));
  return symVar;
}