Will / Does diaphora supports HotColdSplitting Optimized Binaries

[Naville]

Reference Basically it's a compiler optimization that splits out the "cold" basicblocks (BBs that rarely got actually executed) and split them into a separate function.

I'd assume this sort of splitting breaks Diaphora's analysis algorithms

[joxeankoret]

Uhm... Diaphora does nothing right now with cold basic blocks. I will research about them. Thanks for pointing it out!

[Naville]

Ping. One idea at the top of my head is to allow generic inlining of whatever intermediate representation diaphora is currently using. From there the user should be able to config whether a function is to be inlined thus achieving whatever is required here

[joxeankoret]

I know this is an old issue but, does anyone have such binaries? I cannot find anywhere how to build them myself.

[joxeankoret]

I'm closing it for now as there is nothing I can see I should be doing here. Feel free to reopen if you have binaries to test.

[Naville]

This seems to be heavily used on Darwin/*OS Kernel / SystemLibraries.

That being said, IDA themselves tried to implement one but didnt work well :(