True Code Logical Checks Premium offers functionality and checks on top of all of the features that you will find in the Logical Checks Professional package. Riscure developed special logical checks of which we know, based on years of experience, can form a serious threat for the security of your product. Checks included will automate finding vulnerabilities like ToCToU, specific overflow vulnerabilities, Loop alignment , struct initialization and more.
Next to capabilities to find more types of vulnerabilities compared to the professional package, the premium package also offers functionality to pinpoint the search to the assets that you want to protect. True Code can automatically identify those assets and the code paths that lead to them. Subsequently the checks will run on those parts of your codebase and in that way prevent the occurance of false positives.