Liverpool Data Research Associates (LDRA) is a provider of software analysis, test and requirements traceability tools for the Public and Private sectors and a pioneer...
ldra testbed provides the core static and dynamic analysis engines for both host and embedded software. ldra testbed provides the means to enforce compliance with coding standards such as misra, jsf++ av, cert c, cwe and provides visibility of software flaws that might typically pass through the standard build and test process to become latent problems. in addition, test effectiveness feedback is provided through structural coverage analysis reporting facilities which support the requirements of the do178b standard up to and including levela.
developer-tools static-code-analysis
PVS-Studio is a static analyzer that detects errors in source code of C, C++ and C# applications.
