FABI: A Formal Analyzer of Binary Image Objects Identification Tools | IEEE Journals & Magazine | IEEE Xplore