Static Binary Analyzer v2