Which level of Static Analysis allows specific rules that apply to a program to be checked ?
(a) Characteristic error checking
(b) User-defined error checking
(c) Assertion checking
(d) All of the mentioned
The question was posed to me during an interview for a job.
This key question is from Dependability and Security Assurance in division Dependability and Security of Software Engineering