The main goal is to move all implementations of checks in cert module into bugprone or other modules. (This is already done in the majority of cert checks)
Currently, there is a number of cert checks that are only contained in cert module:

This is problematic because the user will be faced with meaningless names like this:

It's hard for the user to understand what cert-flp30-c means, so we should always have human-readable alternative to cert checks.
This is achieved by first creating a check in buprone or any other module and then making an alias to cert like this:

Essentially, this renaming can give "free checks" because people tend to just disable cert checks, despite most of them are regular bugprone checks that can give benefits for everyone.

As an example of how this renaming can be done, please see #157285.