Analysis and instrumentation of Java class files for code coverage. The main entry points are: