Ivan Gotovchits

The `M-x ansi-color-for-comint-mode-on ` will solve the colorizing issue (as well as bolding and other ansi terminal controlling escape sequences will be rendered correctly).

As a follow up can we also add a `define` declaration (to generate `#define`'ed constants) or that would be too much for the ctypes_inverted? Proposed interface: ``` val define :...

Yeah, we're actually using the `Root` to return [opaque pointers][1] to OCaml values (we also added RTTI on top of root, to reduce a probability of a crash). For the...

Also, probably I'm already confused with two many dereferences, but it looks like that your solution should crash (hence the name :rofl:): ```ocaml let () = internal "lets_crash_allocate" Ctypes.(void @->...

Can you elaborate a little bit more? I don't see any changes to the addresses. Here is the output of the newer bap, that is more readable: ``` $ bap-mc...

Aha! Now I totally see your point. It looks like a family of bugs where we use the original variable instead of the temporal. I will create an issue in...

So, what I'm seeing here is that OF is cleared. The expression is just not simplified. In BAP 1.3 we have much better printer (that doesn't print unnecessary parenthesis), as...

Let me elaborate a little bit on this issue. First of all the prefix here doesn't really matter, the issue is observed even without it; ``` bap-mc "660fc1c0" --show-bil --arch=X86...

Yep, in bap.1.3 it is even more visible: ``` $ bap-mc "c000ff" --show-bil --arch=X86 --show-insn=asm --x86-lifter=legacy rolb $0xff, (%eax) { orig_count1 := 0x1F mem := mem with [EAX] 8 -...

From our discussion in gitter, there are two bugs actually, 1. `is_32bit` is a function not a field. 2. `is_32bit()` is `True` for x86_64, because it is indeed backward compatible...