A SERVICE OF

logo

23
CHAPTER 2 Checking Procedures
This chapter explains the procedures required to use the C Checker to check a C
source program.
2.1 Starting the C Checker
2.2 Selection of a Source File
2.3 Setting up Check Options
2.4 Starting a Check
2.5 Aborting a Check
2.6 Exiting from the C Checker