Discovering logic flaws missed by conventional scanners