Peter Goodman

Is the call to `__gmon_start__` the issue? That is a function to initialize gprof profiling. We declare it somewhere in mcsema just so that its prototype is available. It is...

This is interesting. Can you upload your binary?

Ooh interesting. @kumarak can you look into this. @Aiethel can you replicate this with the Dyninst frontend? @KyleMiles Can you replicate this with the Binary Ninja frontend?

Agh! This is actually an issue in Anvill, where we haven't encoded the actual Win64 calling convention details. Are you familiar enough with the Win64 calling convention, as well as...

Similar may need to be done in anvill.

An alternative is SQLite.

That is a pretty unusual error. It looks like you're using IDA 7.4, can you let us know what version of Python it is using?

Seems possible that there is an exception thrown, e.g. in `instruction_personality`, then through some bad logic, we still move forward with things but `M` is `None`. Can you try replacing...

Also, it looks like `hello.original` is a PIE executable. I recommend adding `--pie-mode` for that, as it changes some of the heuristics.

@Trass3r the answer is "maybe." We generally try to lift by determining an upper bound on size, which we may overestimate, but not type. Therefore, sometimes we will lift two...