Which category of test tool analyzes source code without executing the program to find potential defects such as coding standard violations?