I'm a little skeptical of the claim that detecting function start boundaries is undecidable. What, precisely, is the language/decision prob?
That's not necessarily easy. You can clearly do it restricted to external (ABI) functions given a grid-aligned ISA tho.
-
-
I couldn't think of a good definition of a function that wasn't "the compiler intended this to be a function."
-
Here's an outlined function prologue and epilogue. The prologue is called with `call`. Are these functions? IDA thinks so.pic.twitter.com/sHqzRAuyF0
-
Thus "slightly stupid". Asserting ABI postconditions may tighten the definition usefully.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.