Jessy Campos

Allow specifying flag writes for float comparisons

4

Hey! I've been doing some work on the x86 Architecture module, notably on the flag lifting. I need to be able to specify some flag writes for FP comparison instructions...

Setting symbolic memory with concrete value using SYMBOLIC_STORE and SYMBOLIC_LOAD doesn't concretize the memory

3

Evening, I was recently making use of `triton::modes::SYMBOLIC_STORE`, `triton::modes::SYMBOLIC_LOAD` with `triton::modes::MEMORY_ARRAY` as it seemed to be perfect when acting in arbitrary context. Except that when attempting to concretize a previously...

Allow for FlowGraphWidget to not have a backing view or function

5

**Description** Currently, `FlowGraph::Show` is very limited in terms of cutomization since we don't have access to the underlying QWidget. There is a `FlowGraphWidget` type available that allow for more control,...

Invalid operand size lifted as MLIL_CALL argument.

2

**Version and Platform (required):** - Binary Ninja Version: 4.1.5061-dev (587afcf1) - OS: Windows 11 - CPU Architecture: x64 Looking at `MLIL_CALL` specifically, with the following prototype: `uint32_t DbgPrintEx(uint32_t ComponentId, uint32_t...