Antonio Flores Montoya

Hi @andy201709, `capstone-gt` is GrammaTech's fork of capstone (https://github.com/GrammaTech/capstone/tree/next) so that issue would belong there. Capstone official python package is just `capstone`. That said, we (at GrammaTech) build the python...

Hi @aquynh, we at @GrammaTech have been maintaining a fork https://github.com/GrammaTech/capstone/tree/next of capstone with some fixes. Some of these made it into the official capstone e.g. https://github.com/capstone-engine/capstone/pull/1689 https://github.com/capstone-engine/capstone/pull/1600, other are...

Is this still being worked on?

I would argue for 1 or maybe some version of 3 like @mmcgr suggests. For integers and RamDomains having UB is the least surprising behavior.

One comment regarding: >(2) The current implementation does not use directly the lower-bound of the range; it breaks out of the loop after the first iteration. As a consequence, a...

Nice! I also noticed that right now it does not seem possible to create tuples programmatically that contain ADTs. The definitions of `

@quentin I still think you need this https://github.com/souffle-lang/souffle/pull/2183, or you won't be able to populate at `tuple` once you have the encoded value.

Hi @aruncgowda, thanks for trying ddisasm and gtirb! I believe this should be a different issue. It has nothing to do with radare2. To obtain a gtirb file, you should...

Hi @ajaymas, gtirb is serialized using [protobuf](https://github.com/protocolbuffers/protobuf). This is a binary representation (it is not plain text) so it cannot be opened directly with a text editor. The easiest way...

Hi @ucasqsl, I see you started adding code as a pass in the `passes` directory. This is certainly a feasible approach. However, we are currently working on an alternative way...