naci comments

Repositories
Issues
Comments

Results 1 comments of


                                            naci

windows 16bit and 8 bit registers not simplified

I traced the issue back to https://github.com/JonathanSalwan/Triton/blob/e2faa65f07891d2635619864343d82ac289a7361/src/libtriton/engines/symbolic/symbolicEngine.cpp#L496 ``` auto worklist = triton::ast::childrenExtraction(expr->getAst(), true /* unroll */, false /* revert */); for (auto&& n : worklist) { if (n->getType() == triton::ast::REFERENCE_NODE)...