11 commits

Author	SHA1	Message	Date
Can Bölük	565b8b43ab	Implemented symbolic::context for fast bitwise access to registers.	2020-07-24 07:02:06 +02:00
Can Bölük	33a66414a9	Implemented make_copy, added optional tmp parameters to make_default.	2020-07-11 08:06:56 +02:00
Can Bölük	3276d2343e	Implemented a batch translator.	2020-05-26 22:20:45 +02:00
Can Bölük	57c8cf997b	Moved access testing logic into symbolic::variable::.	2020-05-26 21:34:17 +02:00
Can Bölük	e3c5ad0500	Implemented SymEx -> VTIL translation.	2020-05-26 20:12:30 +02:00
Can Bölük	075679ba71	Shifted all tracing logic to VTIL-Arch and merged headers.	2020-05-26 18:17:58 +02:00
Can Bölük	c4a9a2c1fb	Implemented a lambda virtual machine.	2020-05-25 09:54:45 +02:00
Can Bölük	d59265eeb7	Implemented a basic VTIL Virtual Machine #13.	2020-05-25 07:40:52 +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	04fa4624b9	Minor fixes, implemented routine serialization and destruction.	2020-04-23 08:27:21 +02:00
Can Bölük	305f156674	Fixed project setup, revamped the way registers work, trying to reduce.. ... x86-64 specific components.	2020-04-23 02:52:07 +02:00