@dryak that would require an intimate knowledge of the C language and its typing system (not trivial depending on one's background).
It's mostly a leak abstraction if the underneath machine code.

And a complete overhaul of how C is parsed in order to carry over the necessary extra information about type to detect this.

BUT!...