Basically any deterministic process that can look at your code and guarantee a certain useful property is worth it's weight in gold with AI driven software development processes because it significantly reduces the review burden.

Meanwhile the C ecosystem is currently collapsing from AI finding critical RCE vulnerabilities in infrastructure projects written in C.

[flagged]