denuvo-ref/VTIL-Core
1
0
Fork 0
mirror of https://github.com/vtil-project/VTIL-Core synced 2026-08-17 08:23:03 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fixing the arithmetic hinting for equals.

Browse source
This commit is contained in:
Can Bölük 2021-05-29 18:33:25 +02:00 • committed by GitHub
parent 46213d285a
commit c768c59650
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

5
VTIL-SymEx/expressions/expression.cpp
View file

@ -826,13 +826,10 @@ namespace vtil::symbolic
//
int8_t a_hint = a->is_expression() ? a->get_op_desc().hint_bitwise : 0;
int8_t b_hint = b->is_expression() ? b->get_op_desc().hint_bitwise : 0;
int8_t m_hint = a_hint != 0 && b_hint != 0
? ( a_hint == 1 && b_hint == 1 )
: ( a_hint != 0 ? a_hint : b_hint );
// If arithmetic hint, try A-B==0 first and then A^B==0.
//
if ( m_hint == +1 )
if ( ( a_hint + b_hint ) <= -1 )
return ( a - b ).get().value_or( -1 ) == 0 ||
( a ^ b ).get().value_or( -1 ) == 0;