SDA SE Wiki

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

User Tools

Site Tools


Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
research:jtransformer:tutorial_old:i2s [2013/10/23 20:32]
Günter Kniesel created
research:jtransformer:tutorial_old:i2s [2018/05/09 01:59] (current)
Line 1: Line 1:
 +====== Bug Descriptions ======
  
 +===== Overview =====
 +
 +/*
 +Kopiert aus MDSE-Lab 2013 internal Bereich :​bug_descriptions:​
 +*/
 +
 +==== Correctness ====
 +
 +/*  * [[.:​bug_descriptions:​jt-bug-cor1|Cor 1 - BC: Impossible cast (BC_IMPOSSIBLE_CAST)]]
 + */
 +  * [[.:​bug_descriptions:​jt-bug-cor3|Cor 3 - BC: Impossible downcast of toArray() result (BC_IMPOSSIBLE_DOWNCAST_OF_TOARRAY)]]
 +  * [[.:​bug_descriptions:​jt-bug-cor12|Cor 12 - BSHIFT: 32 bit int shifted by an amount not in the range -31..31 (ICAST_BAD_SHIFT_AMOUNT)]] ​
 +  * [[.:​bug_descriptions:​jt-bug-cor16|Cor 16 - DLS: Overwritten increment (DLS_OVERWRITTEN_INCREMENT)]] ​
 +  * [[.:​bug_descriptions:​jt-bug-cor21|Cor 21 - DMI: Collections should not contain themselves (DMI_COLLECTIONS_SHOULD_NOT_CONTAIN_THEMSELVES)]] ​
 +  * [[.:​bug_descriptions:​jt-bug-cor43|Cor 43 - Eq: equals() method defined that doesn'​t override Object.equals(Object) (EQ_OTHER_USE_OBJECT)]]
 +  * [[.:​bug_descriptions:​jt-bug-cor46|Cor 46 - FE: Doomed test for equality to NaN (FE_TEST_IF_EQUAL_TO_NOT_A_NUMBER)]]
 +  * [[.:​bug_descriptions:​jt-bug-cor59|Cor 59 - ICAST: int value cast to float and then passed to Math.round (ICAST_INT_CAST_TO_FLOAT_PASSED_TO_ROUND)]] ​
 +  * [[.:​bug_descriptions:​jt-bug-cor69|Cor 69 - IM: Integer multiply of result of integer remainder (IM_MULTIPLYING_RESULT_OF_IREM)]] ​
 +  * [[.:​bug_descriptions:​jt-bug-cor71|Cor 79 - NP: Method does not check for null argument (NP_ARGUMENT_MIGHT_BE_NULL)]]  ​
 +  * [[.:​bug_descriptions:​jt-bug-cor92|Cor 92 - NP: Method call passes null for nonnull parameter (NP_NULL_PARAM_DEREF)]] ​
 +  * [[.:​bug_descriptions:​jt-bug-cor103|Cor 103 - RE: Invalid syntax for regular expression (RE_BAD_SYNTAX_FOR_REGULAR_EXPRESSION)]]
 +  * [[.:​bug_descriptions:​jt-bug-cor111|Cor 111 - RV: Method ignores return value (RV_RETURN_VALUE_IGNORED)]]
 +
 +/* How complex are the above issues? What do they need in addition to structural matching?
 +
 +^  Bug      ^   Call Graph  ^  Points To  ^  Type Inference ​ ^
 +|  Cor 1    |      --       ​| ​    ​-- ​     |        x         |
 +|  Cor 3    |      --       ​| ​    ​-- ​     |        --        |
 +|  Cor 12   ​| ​     --       ​| ​    ​-- ​     |        --        |
 +|  Cor 16   ​| ​     --       ​| ​    ​-- ​     |        --        |
 +|  Cor 21   ​| ​     --       ​| ​    ​-- ​     |        --        |
 +|  Cor 43   ​| ​     --       ​| ​    ​-- ​     |        --        |
 +|  Cor 46   ​| ​     --       ​| ​    ​-- ​     |        --        |
 +|  Cor 59   ​| ​     --       ​| ​    ​-- ​     |        --        |
 +|  Cor 69   ​| ​     --       ​| ​    ​-- ​     |        --        |
 +|  Cor 79   ​| ​     --       ​| ​    ​-- ​     |        --        |
 +|  Cor 81   ​| ​     --       ​| ​    ​-- ​     |        --        |
 +|  Cor 92   ​| ​     --       ​| ​     x      |        --        |
 +|  Cor 103  |      --       ​| ​    ​-- ​     |        --        |
 +|  Cor 111  |      --       ​| ​    ​-- ​     |        --        |
 +
 +*/
 +
 +==== Bad Practice ====
 +
 +  * [[.:​bug_descriptions:​jt-bug-he_equals_no_hashcode|BP 33 - HE: Class defines equals() but not hashCode()]]
 + 
research/jtransformer/tutorial_old/i2s.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2019