Category: Static analysis

LinkVerify checks a set of hypertext files whether all references to external resources are valid. In HTML this applies mostly to…

Read More

The Linux Test Project is a joint project started by SGI, developed and maintained by IBM, Cisco, Fujitsu, SUSE, Red…

Read More

The MALPAS toolset consists of a number of analysers which focus on different aspects of software correctness and integrity. These…

Read More

nsiqcppstyle is aiming to provide the extensible / easy use / highly maintainable coding style checker for C/C++ source code.…

Read More

Parasoft® C/C++test® is an integrated Development Testing solution for automating a broad range of testing best practices proven to improve…

Read More