This is an underappreciated possibility that opened up. It now becomes at least viable to thoroughly inspect large code bases. It's not easy and never will be, but now we're not limited to the amound of literal eyeballs available.