As AI gets dramatically better at finding software's flaws, Jack Li is working on the harder half of the problem — getting AI ...