2over12

Currently known signatures for thunks are not getting ingested properly because thunks are effectively ignored. We resolve thunks before passing IR to binary_type_inference so we don't impose constraints on thunks...

Poor Pointer Analysis Inside of Store Prevents us From Associating a Field of the Abstract Object to a Store

2

In mooosl at address `0010160f` a store occurs of the value returned by key_hash to the calloced pointer at field offset 32. The constraints are setup such that we know...