The control that passes the test and does nothing
A class of security defects that produce no signal: the command exits with code zero, the configuration test passes, but the promised effect does not happen. Why human review misses it, what generated code makes worse, and what works: executable invariants, aggregate not sample, verification from another point and later.
Read the article