FindBugs Bug Detector Report

Last Published: 2012-07-11 | Version: 2.3.2

Parent Project

SAT4J

Project Documentation

Project Information
Project Reports
- Surefire Report
- Source Xref
- PMD Report
- CPD Report
- Checkstyle
- FindBugs Report
- JavaDocs
- Tag List

Built by Maven

FindBugs Bug Detector Report

The following document contains the results of FindBugs Report

FindBugs Version is 1.3.9

Threshold is low

Effort is min

Summary

Classes	Bugs	Errors	Missing Classes
25	6	0	0

Files

Class	Bugs
org.sat4j.csp.xml.Domain	1
org.sat4j.csp.xml.Functional	1
org.sat4j.csp.xml.InstanceParser	2
org.sat4j.csp.xml.Parameters	1
org.sat4j.csp.xml.Relation	1

org.sat4j.csp.xml.Domain

Bug	Category	Details	Line	Priority
Le champ n'est pas initialisé dans le constructeur org.sat4j.csp.xml.Domain.allValues	STYLE	UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR		Low

org.sat4j.csp.xml.Functional

Bug	Category	Details	Line	Priority
Le champ n'est pas initialisé dans le constructeur org.sat4j.csp.xml.Functional.expr	STYLE	UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR		Low

org.sat4j.csp.xml.InstanceParser

Bug	Category	Details	Line	Priority
org.sat4j.csp.xml.InstanceParser.error(SAXParseException) invoque System.exit(...), qui stoppe toute la JVM	BAD_PRACTICE	DM_EXIT	83	Medium
org.sat4j.csp.xml.InstanceParser.fatalError(SAXParseException) invoque System.exit(...), qui stoppe toute la JVM	BAD_PRACTICE	DM_EXIT	95	Medium

org.sat4j.csp.xml.Parameters

Bug	Category	Details	Line	Priority
Le champ n'est pas initialisé dans le constructeur org.sat4j.csp.xml.Parameters.allParameters	STYLE	UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR		Low

org.sat4j.csp.xml.Relation

Bug	Category	Details	Line	Priority
Le champ n'est pas initialisé dans le constructeur org.sat4j.csp.xml.Relation.allTuples	STYLE	UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR		Low