The presence of logical vulnerabilities can cause dangerous problems, Attackers can use these vulnerabilities to for example steal user data or IP. Riscure developed special logical checks of which we know, based on years of experience, they 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.
All checks that can run automatically during devlopment of your product from within your software development toolchain or manually from the desktop of any developer. All checks can be configured so that they exactly fit your needs and the results are saved in a freely accessible database.
True Code static checks can be guided to the run on the most relevant parts of your codebase. True Code can automatically identify those parts 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 occurence of false positives.