SDA SE Wiki
Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering
User Tools
Sidebar
Table of Contents
Bug Descriptions
Sources
Overview
Categorized JT bug numbers and brief descriptions (initialized from FindBugs in September 2013):
If you cannot read the Excel file above, here are PDF versions of each of its spreadsheets:
- 1._correctness.pdf ← your starting task numbers refer to this file
Detailed
Detailed JT bug documentations sorted by their JT-Bug-Id. Legend for the “Status” columns (first symbol is for the analysis, second for the CT / quick-fix):
= implemented
= not implemented
= not understood = unclear specification on FindBugs website
= taken = somebody is working on it currently
Bad Practice
| Status | JTransformer | FindBugs | Edited by | Implemented by |
|---|---|---|---|---|
| | Bad 031 - HE: Class defines equals() but not hashCode() | Ankush Khanna | — |
Correctness
| Status | JTransformer | FindBugs | Edited by | Implemented by | |
|---|---|---|---|---|---|
| | Cor 001 - BC: Impossible cast | BC_IMPOSSIBLE_CAST | Santiago L. | Narges,Ben | |
| | Cor 002 - BC: Impossible downcast ← The same as Cor 001 | BC_IMPOSSIBLE_DOWNCAST | Malte M. | — | |
| | Cor 003 - BC: Impossible downcast of toArray result | BC_IMPOSSIBLE_DOWNCAST_OF_TOARRAY | Santiago L. | — | |
| | Cor 004 - BC: instanceof will always return false | BC_IMPOSSIBLE_INSTANCEOF | Malte M. | — | |
| | Cor 006 - BIT: Incompatible bit masks | BIT_AND | Jorge O. | Malte, Jorge | |
| | Cor 007 - BIT: Check to see if ... | & 0 | == 0 | BIT_AND_ZZ | Jorge O. | Malte, Jorge | |
| | Cor 008 - BIT: Incompatible bit masks | BIT_OR | Jorge O. | Malte, Jorge | |
| | Cor 010 - BIT: Check for sign of bitwise operation | BIT_SIGNED_CHECK_HIGH_BIT | Malte M. | Malte, Jorge | |
| | Cor 012 - BSHIFT: 32 bit int shifted by an amount not in the range -31..31 | ICAST_BAD_SHIFT_AMOUNT | Grygoriy K. | Cheng/Ankush | |
| | Cor 016 - DLS: Overwritten increment | DLS_OVERWRITTEN_INCREMENT | Grygoriy K. | Ankush/Cheng | |
| | Cor 021 - DMI: Collections should not contain themselves | DMI_COLLECTIONS_SHOULD_NOT_CONTAIN_THEMSELVES | Sareh Ghayoomi. | Ankush/Cheng | |
| | Cor 024 - DMI: Double.longBitsToDouble invoked on an int | DMI_LONG_BITS_TO_DOUBLE_INVOKED_ON_INT | Malte M. | Malte/Jorge | |
| | Cor 043 - Eq: equals method defined that doesn't override Object.equals | EQ_OTHER_USE_OBJECT | Malte M. | Cheng/Ankush | |
| | Cor 046 - FE: Doomed test for equality to NaN | FE_TEST_IF_EQUAL_TO_NOT_A_NUMBER | Malte M. | Malte,Jorge | |
| | Cor 047 - FS: Format string placeholder incompatible with passed argument | VA_FORMAT_STRING_BAD_ARGUMENT | Priyanka,Sareh,Harshit | Priyanka,Sareh,Harshit | |
| | Cor 048 - FS: The type of a supplied argument doesn't match format specifier | VA_FORMAT_STRING_BAD_CONVERSION | Priyanka,Sareh,Harshit | Priyanka,Sareh,Harshit | |
| | Cor 50 - FS: More arguments are passed than are actually used in the format string | VA_FORMAT_STRING_EXTRA_ARGUMENTS_PASSED | Jorge O | Malte,Jorge | |
| | Cor 052 - FS: Format string references missing argument | VA_FORMAT_STRING_MISSING_ARGUMENT | Priyanka,Sareh,Harshit | Priyanka,Sareh,Harshit | |
| | Cor 054 - GC: No relationship between generic parameter and method argument | GC_UNRELATED_TYPES | Cheng Fang,Ankush | Cheng/Ankush | |
| | Cor 058 - ICAST: int value cast to double and then passed to Math.ceil | ICAST_INT_CAST_TO_DOUBLE_PASSED_TO_CEIL | Cheng Fang | Ankush/Cheng | |
| | Cor 059 - ICAST: int value cast to float and then passed to Math.round | ICAST_INT_CAST_TO_FLOAT_PASSED_TO_ROUND | Cheng Fang | Cheng/Ankush | |
| | Cor 061 - IJU: TestCase declares a bad suite method | IJU_BAD_SUITE_METHOD | Malte M. | Malte,Jorge | |
| | Cor 063 - IJU: TestCase defines setUp that doesn't call super.setUp() | IJU_SETUP_NO_SUPER | Malte M. | Malte,Jorge | |
| | Cor 069 - IM: Integer multiply of result of integer remainder | IM_MULTIPLYING_RESULT_OF_IREM | Behnam Gh. | Malte,Jorge | |
| | Cor 070 - NP: INT: Bad comparison of int value with long constant | INT_BAD_COMPARISON_WITH_INT_VALUE | Jorge O. | Malte/Jorge | |
| | Cor 079 - NP: Method does not check for null argument | NP_ARGUMENT_MIGHT_BE_NULL | Narges T. | — | |
| | Cor 086 - NP: A known null value is checked to see if it is an instance of a type | NP_NULL_INSTANCEOF | Malte M. | Malte/Jorge | |
| | Cor 087 - NP: Possible null pointer dereference | NP_NULL_ON_SOME_PATH | Behnam Gh. | Narges,Ben | |
| | Cor 092 - NP: Method call passes null for nonnull parameter | NP_NULL_PARAM_DEREF | Jorge O. | Malte/Jorge | |
| | Cor 100 - QBA: Method assigns boolean literal in boolean expression | QBA_QUESTIONABLE_BOOLEAN_ASSIGNMENT | Behnam Gh. | Narges,Ben | |
| | Cor 103 - RE: Invalid syntax for regular expression | RE_BAD_SYNTAX_FOR_REGULAR_EXPRESSION | Jaspreet Kaur | — | |
| | Cor 111 - RV: Method ignores return value | RV_RETURN_VALUE_IGNORED | Priyanka,Sareh,Harshit | Priyanka,Sareh,Harshit | |
| | Cor 112 - RpC: Repeated conditional tests | RpC_REPEATED_CONDITIONAL_TEST | Priyanka,Sareh,Harshit | Priyanka,Sareh,Harshit | |
| | Cor 113 - SA: Self assignment of field | SA_FIELD_SELF_ASSIGNMENT | Priyanka,Sareh,Harshit | Priyanka,Sareh,Harshit | |
| | Cor 114 and cor 117 _ SA: Self comparison | SA_SELF_COMPARISON | Behnam Gh. | Narges,Ben | It is mixture of two bugs. |
| | Cor 115 and cor 118 - SA: Nonsensical self computation, e.g., x & x | SA_SELF_COMPUTATION | Behnam Gh. | Narges,Ben | It is mixture of two bugs. |
| | Cor 144 - DLS: Useless increment in return statement | DLS_DEAD_LOCAL_INCREMENT_IN_RETURN | Malte M. | Malte,Jorge |
teaching/labs/mdse/2013/internal/bug_descriptions/start.txt · Last modified: 2018/05/09 01:59 (external edit)
Page Tools
