Revamping Binary Analysis with Sampling and Probabilistic Inference