String Analysis Software (2026): 4 Solutions Compared