12,931 followers
@seanhn I liked it! A thought for future work struck me this morning: you could potentially use something along the lines of affine-relation analysis to automatically discover symbolic relationships between API integer parameters and allocation sizes (e.g.