From fe4018967ee1f1b266b13a373a93e90ba322bfa6 Mon Sep 17 00:00:00 2001 From: llaubin <20232176+llaubin@users.noreply.github.com> Date: Sat, 12 Oct 2024 13:54:22 +0200 Subject: [PATCH] Fix comment in symbolicexpression --- src/libtriton/arch/arm/aarch64/aarch64Semantics.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/libtriton/arch/arm/aarch64/aarch64Semantics.cpp b/src/libtriton/arch/arm/aarch64/aarch64Semantics.cpp index ce8689f53..0acea8b1e 100644 --- a/src/libtriton/arch/arm/aarch64/aarch64Semantics.cpp +++ b/src/libtriton/arch/arm/aarch64/aarch64Semantics.cpp @@ -1795,7 +1795,7 @@ namespace triton { auto node = this->getCodeConditionAst(inst, op1, op2); /* Create symbolic expression */ - auto expr = this->symbolicEngine->createSymbolicExpression(inst, node, dst, "CSNEG operation"); + auto expr = this->symbolicEngine->createSymbolicExpression(inst, node, dst, "CSINV operation"); /* Spread taint */ expr->isTainted = this->taintEngine->setTaint(dst, this->taintEngine->isTainted(src1) | this->taintEngine->isTainted(src2));