C++ (Cpp) AnalysisProcessor::createFlagSE Exemples

Exemple #1

Fichier : CmcIRBuilder.cpp Projet : v0re/Triton

void CmcIRBuilder::none(AnalysisProcessor &ap, Inst &inst) const {
  smt2lib::smtAstAbstractNode *expr, *op1;

  /* Create the SMT semantic */
  op1 = ap.buildSymbolicFlagOperand(ID_TMP_CF);

  /* Finale expr */
  expr = smt2lib::bvnot(op1);

  /* Create the symbolic expression */
  ap.createFlagSE(inst, expr, ID_TMP_CF);
}