Type inference and correspondence between representations about rellic HOT 2 CLOSED

I think that you should pre-define a bunch of "built-in" types / typedefs, e.g. int8_t, uint8_t, etc. When deciding on the signedness of a variable, I'd inspect the graph of all like-typed llvm uses, uses-of-uses, etc. and try to find the most "popular" interpretation, based on observed operations, then use that as the high-level type, and where an oppositely-signed operation is done, I'd inject casts and stuff. Not sure if this helps :-P

Also, I'd be wary of assuming pointers are always 64 bits in with, be sure to check the datalayout.

from rellic.

Resolved by #121

from rellic.