Review

Potential Misuse

Anomaly identified by the detector. Please review whether this anomaly corresponds to a misuse.

Metadata

Hit Rank Confidence Defect Indicator Missing Properties Present Properties Supporting Objects Violation Types
?

15

0.91

2.85

AG (AbstractFieldMatrix.getRowDimension () : int @ (0) => AX AF AbstractFieldMatrix.getEntry (int, int) : FieldElement @ (0));AG (AbstractFieldMatrix.getRowDimension () : int @ (0) => EX EF AbstractFieldMatrix.getColumnDimension () : int @ (0));AG (AbstractFieldMatrix.getRowDimension () : int @ (0) => EX EF AbstractFieldMatrix.getEntry (int, int) : FieldElement @ (0));EF AbstractFieldMatrix.getRowDimension () : int @ (0);AF AbstractFieldMatrix.getRowDimension () : int @ (0);AG (AbstractFieldMatrix.getRowDimension () : int @ (0) => AX AF AbstractFieldMatrix.getColumnDimension () : int @ (0))

AF AbstractFieldMatrix.getColumnDimension () : int @ (0);AG (AbstractFieldMatrix.getEntry (int, int) : FieldElement @ (0) => EX EF AbstractFieldMatrix.getEntry (int, int) : FieldElement @ (0));EF AbstractFieldMatrix.getEntry (int, int) : FieldElement @ (0);AG (AbstractFieldMatrix.getColumnDimension () : int @ (0) => EX EF AbstractFieldMatrix.getEntry (int, int) : FieldElement @ (0));EF AbstractFieldMatrix.getColumnDimension () : int @ (0);AF AbstractFieldMatrix.getEntry (int, int) : FieldElement @ (0);AG (AbstractFieldMatrix.getColumnDimension () : int @ (0) => AX AF AbstractFieldMatrix.getEntry (int, int) : FieldElement @ (0))

AbstractFieldMatrix.add (FieldMatrix) : FieldMatrix : this@AbstractFieldMatrix;AbstractFieldMatrix.equals (Object) : boolean : this@AbstractFieldMatrix;AbstractFieldMatrix.getData () : FieldElement[][] : this@AbstractFieldMatrix