A search system for mathematical expressions on software binaries. - Ridhi Jain; Sai Prathik; Venkatesh Vinayakarao; Rahul Purandare (MSR, 2018)