SDA SE Wiki

Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering

User Tools

Site Tools


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:

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
  • :sec: = 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)

SEWiki, © 2025