Trail of Bits Software Assurance vs Xiarch Binary Code Analysis (2026)