VTIL-Core

VTIL-Core copied to clipboard

Support for 32-bit architectures.

6

Is it possible to add support for x32_86 architecture?

GiaNTizmO

How to compile VTIL IR?

10

solitudecc

Stack overflow in Tracer

2

https://github.com/vtil-project/VTIL-Core/blob/7e741095abbe571a9feddb09066fe13109d204a7/VTIL-Architecture/trace/tracer.cpp#L504-L507 ... https://github.com/vtil-project/VTIL-Core/blob/7e741095abbe571a9feddb09066fe13109d204a7/VTIL-Architecture/trace/tracer.cpp#L526-L529 lvm.execute can do read_register: https://github.com/vtil-project/VTIL-Core/blob/7e741095abbe571a9feddb09066fe13109d204a7/VTIL-Architecture/vm/interface.cpp#L45-L51 read_register in turn calls tracer: https://github.com/vtil-project/VTIL-Core/blob/7e741095abbe571a9feddb09066fe13109d204a7/VTIL-Architecture/vm/lambda.hpp#L66-L71 And se we end up with a stack overflow.

leecher1337

Symbolic rewrite corruption

1

The following code is producing corrupt results: ```C++ void run_err_test_1() { auto b = vtil::basic_block::begin(0); auto first = vtil::register_desc(vtil::register_flag::register_local, 0, 64); auto second_ptr = vtil::register_desc(vtil::register_flag::register_local, 5, 64); auto second =...

ghost

Implement the x64 backend.

1

can1357

Implement constraint extraction and optimization.

1

can1357

Include <utility> in copy_on_write.hpp

1

It is required for std::exchange() on GCC. Some other compilers include it automatically (maybe for ``?) See: https://en.cppreference.com/w/cpp/utility#Swap See also this issue: https://github.com/doxygen/doxygen/issues/9312

MarSoft

BUG: Some basic blocks have been incorrectly removed.

1

Hello. ```cpp DOCTEST_TEST_CASE("dummy") { vtil::logger::log("\n\n>> %s \n", __FUNCTION__); auto block = vtil::basic_block::begin(0); auto [t0, t1, t2, t3] = block->tmp(64, 64, 1, 64); auto rtn = block->owner; block->mov(t0, vtil::REG_FLAGS); block->bnot(t0); block->ifs(t1,...

wallds

Bug fix: Argument register will be renamed by `register_renaming_pass`.

1

bug ```cpp auto block = vtil::basic_block::begin(0x1337); vtil::register_desc reg_ecx(vtil::register_physical, registers::cx, vtil::arch::bit_count, 0); auto sr0 = block->owner->alloc(vtil::arch::bit_count); // The ecx register here is a potential function argument, register_renaming_pass should not work here....

wallds

Stack overflow on test_access

10

 Here it is without the annoying function_view stuff obscuring the call stack:  I will update the issue with more information and code snippets as I acquire...

xtremegamer1