loop symbol lost

[imliuxin]

#include <stdio.h>
#include <stdlib.h>

int main(int argc,char* argv[])
{
char *endptr;
int n=strtoul(argv[1],&endptr, 10);
int sum=0;
for(int i=0;i<n;i++)
sum+=i;
printf("%d",sum);
return 0;
}

The variable n in the above code has been symbolized using Triton. However, when calling result = TritonContext(ARCH.X86_64).getRegisterAst(sum) or ctx.getSymbolicRegister(ctx.registers.rsi), Triton reports that no symbolic components exist. How can this issue be resolved?

[cheatcodezky]

已收到您的邮件，我会尽快回复。