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
777 commits 8 branches 0 tags 4.6 MiB
Commit graph

26 commits

Author SHA1 Message Date
Can Bölük
0409394e2f I hate MSVC. 2020-06-28 21:38:50 +02:00
Can Bölük
d77ce575e9 Lazy flag is now "stolen" instead of being carried. 2020-06-26 11:32:28 +02:00
Can Bölük
6a795f964e Prioritized constant check in simplify_expression. 2020-06-26 09:27:02 +02:00
Can Bölük
3212197bc3 Fixing some tracer bugs and branch correction pass. 2020-06-26 04:21:31 +02:00
Can Bölük
2b575e2d50 Implemented self-organization of directive tables. 2020-06-25 05:32:28 +02:00
Can Bölük
d203c6ebd3 ::access_size and ::to_string now work with bitcnt, added safe narrowing 2020-06-21 00:04:03 +02:00
Can Bölük
fd65890e00 Removing some boolean joiners that cause infinite loops for now. 2020-06-19 06:40:25 +02:00
Can Bölük
315b457b4c Minor simplifier caching changes. 2020-06-17 16:58:24 +02:00
Can Bölük
026c66b181 Implemented very trivial boolean simplification. 2020-06-17 08:12:02 +02:00
Can Bölük
80c20db2c9 Fixed commutativeness of some operators. 2020-06-17 08:05:23 +02:00
Can Bölük
d2afb6ef2e Implemented optimising resizing for comparisons, fixed boolean negation. 2020-06-17 05:39:35 +02:00
Can Bölük
1968d7c01a Fixed multiple bugs in simplifier effecting resizing and packers. 2020-06-15 13:50:42 +02:00
Can Bölük
d0733c31f5 Fixing unpacking directives... 2020-06-15 12:48:18 +02:00
Can Bölük
ac83ce257b Fixed buggy xor directive and simplifier prints. 2020-05-27 14:46:24 +02:00
Can Bölük
b9e0d0d19c Implemented a much more aggressive string conversion during log. 2020-05-25 13:23:31 +02:00
Can Bölük
664d0c36f3 Added automatic comparison sign deduction and unsigned eq/neq. 2020-05-20 12:56:54 +02:00
Can Bölük
c1d785dda7 Added XOR joins, fixed depth problem related to Issue #8, removed setcc. 2020-05-15 16:43:57 +02:00
Can Bölük
40e9fe3ad8 Implemented limited top-level simplifier for joins. Fixes issue #8 and.. 
all infinite recursions.
 2020-05-13 18:09:04 +02:00
Can Bölük
173adfd168 Paths are now compatible with UNIX and fixed MSVC extension usage w/ ... 
std::exception.
 2020-05-02 23:14:15 +02:00
Can Bölük
a868350e6c Enforced simplification, improved join directives, fixed certain.... 
resizing rules, renamed subtract, fixed verbose logic.
 2020-05-02 02:09:22 +02:00
Can Bölük
f7e9180672 Implemented configurables. 2020-04-28 07:00:38 +02:00
Can Bölük
ceba0ad25a Fixed a major bug related to commutative property and SUB directives. 2020-04-26 14:51:17 +02:00
Can Bölük
563ba78671 All hash-related routines now use vtil::hash 2020-04-26 01:16:43 +02:00
Can Bölük
857cb054d4 Changed the logic of expression::equals() and implemented is_identical() 2020-04-25 08:23:35 +02:00
Can Bölük
507c0e6f03 Implemented variant UIDs and scope-purging cache guard. 2020-04-25 06:50:46 +02:00
Can Bölük
3d5b1f3394 Fixed project setup. 2020-04-23 02:46:55 +02:00
Renamed from VTIL-SymEx/simplifier/expression_simplifier.cpp (Browse further)