Binary Analysis in the Age of Smart Cities