Automated search for flaws