Kait
Kait
The semantics provided for the SDIV instruction trigger undefined behaviour on INT_MIN / -1. For example, 010cc19a sdiv x1, x0, x1 gives us something like: ```llvm %4 = load i64,...
For an instruction like 200c229b smaddl x0, w1, w2, x3, the LLVM IR has "nsw" flags: ```llvm // ... %mul.i.i = mul nsw i64 %conv.i31.i, %conv.i29.i %add.i.i = add nsw...
Previously, there were warnings such as: ``` CMake Warning at CMakeLists.txt:131 (message): /usr/bin/python3.11 --version is 3.11.7 , which is less then the minimum required, 3.5.2; disabling building of API. ```...
For platforms such as aarch64 with a non 80-bit "long double" type, the tests fail since they assume an 80-bit long double type. ``` retdec-tests-utils /build/source/tests/utils/byte_value_storage_tests.cpp:357: Failure Expected equality of...
We have found several bugs in the LLVM semantics emitted by the capstone2llvmir tool. - [ ] For instructions using the carry flag, the overflow calculation is done after adding...
## Expected Behavior Hello, I am compiling a module using jsoo using separate sourcemap files. After passing --sourcemap in both flags and link_flags, js_of_ocaml will emit both .bc.js and .bc.map...
Hello! Thanks for the plugin, it's a pleasure to use. I was wondering if there's an option or a suggested way to automatically move the cursor to the end of...
implements --extract flag, fixes #39. the implementation is rather unsatisfactory. it is done by "pretending" the code has generated the Python source as its output and then setting no_generate =...
Hello, thanks for the useful project! I'm interested in applying a type-checker to the generator's Python code. To do this, is there a mode which emits a Python file containing...
`ping` doesn't seem to work for any servers I've tested, most of which return: ```python OSError: Server did not respond with any information! ``` ```python Traceback (most recent call last):...