| Bug | Category | Details | Line | Priority |
|---|
| Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.addEffectiveParameter(int) | CORRECTNESS | NP_ALWAYS_NULL | 317 | High |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.addEffectiveParameter(String) | CORRECTNESS | NP_ALWAYS_NULL | 306 | High |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.addFormalParameter(String, String) | CORRECTNESS | NP_ALWAYS_NULL | 223 | High |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.addVariableToConstraint(String) | CORRECTNESS | NP_ALWAYS_NULL | 295 | High |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.beginConstraint(String, int) | CORRECTNESS | NP_ALWAYS_NULL | 274 | High |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.beginConstraintsSection(int) | CORRECTNESS | NP_ALWAYS_NULL | 260 | High |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.beginDomain(String, int) | CORRECTNESS | NP_ALWAYS_NULL | 59 | High |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.beginDomainsSection(int) | CORRECTNESS | NP_ALWAYS_NULL | 46 | High |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.beginInstance(String) | CORRECTNESS | NP_ALWAYS_NULL | 34 | High |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.beginPredicate(String) | CORRECTNESS | NP_ALWAYS_NULL | 211 | High |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.beginPredicatesSection(int) | CORRECTNESS | NP_ALWAYS_NULL | 200 | High |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.beginRelationsSection(int) | CORRECTNESS | NP_ALWAYS_NULL | 140 | High |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.beginVariablesSection(int) | CORRECTNESS | NP_ALWAYS_NULL | 108 | High |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.constraintExpression(String) | CORRECTNESS | NP_ALWAYS_NULL | 328 | High |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.constraintReference(String) | CORRECTNESS | NP_ALWAYS_NULL | 285 | High |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.endConstraint() | CORRECTNESS | NP_ALWAYS_NULL | 335 | High |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.endConstraintsSection() | CORRECTNESS | NP_ALWAYS_NULL | 342 | High |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.endDomain() | CORRECTNESS | NP_ALWAYS_NULL | 89 | High |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.endDomainsSection() | CORRECTNESS | NP_ALWAYS_NULL | 96 | High |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.endInstance() | CORRECTNESS | NP_ALWAYS_NULL | 382 | High |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.endPredicate() | CORRECTNESS | NP_ALWAYS_NULL | 240 | High |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.endPredicatesSection() | CORRECTNESS | NP_ALWAYS_NULL | 247 | High |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.endRelationsSection() | CORRECTNESS | NP_ALWAYS_NULL | 188 | High |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.endVariablesSection() | CORRECTNESS | NP_ALWAYS_NULL | 128 | High |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.predicateExpression(String) | CORRECTNESS | NP_ALWAYS_NULL | 233 | High |
