Import the example Eclipse Java
into your workspace. The example projects are already set up to be analyzed by
Keshmesh. The example projects come with
in their classpaths and their main methods are annotated by @EntryPoint. We
call a method annotated by @EntryPoint an entry method. To analyze a Java
project with Keshmesh, add
to the classpath of the project and annotate one or more methods by
@EntryPoint. Keshmesh analyzes the methods reachable from the entry methods.
The entry methods let you control what part of the program is going to be
analyzed. If a very large number of methods are reachable from the entry
methods, Keshmesh will become slower.
Right-click on a project and run FindBugs.
FindBugs will run its own detectors and those of
Keshmesh and report all the bug patterns that these detectors find.
Keshmesh provides Quick
for some instances of the bug patterns. If Keshmesh provides a quick
for a bug pattern, you can try it to remove the bug pattern.