FINT - Known issues

Please consider reading this document before submitting bug reports. Some of these issues will be addresed by the next versions of the tool.

A list of known issues

• This (version of the) tool is aimed at analyzing code that compiles. I have reports that the tool also works for code that does not compile; however, I haven't implemented any special check for this case in the versions 0.4+, which have a faster engine for Fan-in analysis.
  Addressing this issue is not a priority at the moment.
• The persistence model for seed-elements in v.0.6 is not compatible with previous versions of the tool.
• The implementation-based filters for "setter" methods exclude methods like:

      public synchronized void addFigureChangeListener(FigureChangeListener l) {
          fListener = FigureChangeEventMulticaster.add(listener(), l);
      }
    

  If the user would like to prevent the exclusion of such methods, a manual check of the excluded methods is required. An implementation for this filter to be considered for a future version of the tool would rather check only for implementations like:

      public synchronized void addFigureChangeListener(FigureChangeListener l) {
          fListener = l;
      }