I wonder if they use static analysis to enforce these rules, or if developers are expected to just know all of this
"shall" recommendations are statically analyzed, "will" are not.
static analysis