No no no, this is very wrong. We already had purpose-built systems that understood programming languages well enough to find bugs. Google "symbolic execution."
Vendors put minimal effort into finding bugs because it's expensive.
LLMs will find these bugs less reliably and at much greater cost!
add a skeleton here at some point
about 1 month ago