19 commits

Author	SHA1	Message	Date
Can Bölük	fac4c68236	Removed vector allocating ::recurse, replacing with ::enum_paths.	2020-08-22 03:47:49 +02:00
Can Bölük	8a79ca03ba	Fixed everything else to work with the changes.	2020-07-29 02:36:10 +02:00
Can Bölük	d6f6b5a8be	Fixing recursive pointer tracing with a hack for now.	2020-07-14 15:28:37 +02:00
Can Bölük	af37f9d80f	Implemented an _alright_ stack propagation for now.	2020-07-13 01:03:47 +02:00
Can Bölük	bc6dc89429	Prefer slow stack propagation for now, will be reworked soon.	2020-07-13 00:52:03 +02:00
Can Bölük	02e2271822	Fixed a concurrency issue with stack_propagation.	2020-07-13 00:42:21 +02:00
Can Bölük	715735b5ac	Further reference usage, added [[nodiscard]] attributes.	2020-07-12 15:34:30 +02:00
Can Bölük	00d5c2c6cb	Further pushing use of expression references.	2020-07-12 14:17:46 +02:00
Can Bölük	6304c98989	Fixing minor stack prop issues.	2020-07-11 17:20:37 +02:00
Can Bölük	6bc8fe6f85	Apply symex rewrite once more after propagation, ignore dup in apply_each.	2020-07-11 13:07:00 +02:00
Can Bölük	80793d9d04	Replacing ::null_expression with the new make_default.	2020-07-11 06:53:15 +02:00
Can Bölük	392e02d973	Fixing license headers yet once again.	2020-07-09 02:43:51 +02:00
Can Bölük	614309aa11	Fixing license.	2020-07-06 21:41:04 +02:00
Can Bölük	02adad1ea7	Switching to inline const instruction definitions.	2020-06-26 00:24:11 +02:00
Can Bölük	0e97bff634	Avoiding copying symbolic variables in tracer.	2020-06-25 09:50:03 +02:00
Can Bölük	5654355754	Switch to forced is_valid for all passes.	2020-06-22 02:53:20 +02:00
Can Bölük	523d35d53c	Implemented a way to fix unknown access when rtracing is allowed.	2020-06-21 01:30:21 +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	c268107f4a	Renamed some leftover files.	2020-06-20 10:56:42 +02:00

Renamed from VTIL-Compiler/passes/stack_propagation_pass.cpp (Browse further)