3 ms·BinSub: The Simple Essence of Polymorphic Type Inference for Machine Code2 points by matt_d 2y ago