| <?xml version="1.0" encoding="UTF-8"?> |
| <problems> |
| <problem> |
| <file>Test.java</file> |
| <line>5</line> |
| <method> |
| <name>void f(int k)</name> |
| <display_name>f(int)</display_name> |
| <package><default></package> |
| <class> |
| <name>Auto</name> |
| <display_name>Auto</display_name> |
| </class> |
| </method> |
| <problem_class>Constant conditions & exceptions</problem_class> |
| <description>Condition <code>i==j</code> is always <code>true</code></description> |
| </problem> |
| |
| |
| <problem> |
| <file>Test.java</file> |
| <line>9</line> |
| <method> |
| <name>void f(int k)</name> |
| <display_name>f(int)</display_name> |
| <package><default></package> |
| <class> |
| <name>Auto</name> |
| <display_name>Auto</display_name> |
| </class> |
| </method> |
| <problem_class>Constant conditions & exceptions</problem_class> |
| <description>Condition <code>i==j2</code> is always <code>false</code></description> |
| </problem> |
| |
| |
| <problem> |
| <file>Test.java</file> |
| <line>12</line> |
| <method> |
| <name>void f(int k)</name> |
| <display_name>f(int)</display_name> |
| <package><default></package> |
| <class> |
| <name>Auto</name> |
| <display_name>Auto</display_name> |
| </class> |
| </method> |
| <problem_class>Constant conditions & exceptions</problem_class> |
| <description>Condition <code>i==0</code> is always <code>true</code></description> |
| </problem> |
| |
| |
| <problem> |
| <file>Test.java</file> |
| <line>15</line> |
| <method> |
| <name>void f(int k)</name> |
| <display_name>f(int)</display_name> |
| <package><default></package> |
| <class> |
| <name>Auto</name> |
| <display_name>Auto</display_name> |
| </class> |
| </method> |
| <problem_class>Constant conditions & exceptions</problem_class> |
| <description>Condition <code>i==1</code> is always <code>false</code></description> |
| </problem> |
| |
| <problem> |
| <file>Test.java</file> |
| <line>22</line> |
| <method> |
| <name>void f(int k)</name> |
| <display_name>f(int)</display_name> |
| <package><default></package> |
| <class> |
| <name>Auto</name> |
| <display_name>Auto</display_name> |
| </class> |
| </method> |
| <problem_class>Constant conditions & exceptions</problem_class> |
| <description>Condition <code>big1==333</code> is always <code>true</code></description> |
| </problem> |
| |
| |
| |
| <problem> |
| <file>Test.java</file> |
| <line>24</line> |
| <method> |
| <name>void f(int k)</name> |
| <display_name>f(int)</display_name> |
| <package><default></package> |
| <class> |
| <name>Auto</name> |
| <display_name>Auto</display_name> |
| </class> |
| </method> |
| <problem_class>Constant conditions & exceptions</problem_class> |
| <description>Condition <code>333 == big2</code> is always <code>true</code></description> |
| </problem> |
| |
| |
| |
| <problem> |
| <file>Test.java</file> |
| <line>26</line> |
| <method> |
| <name>void f(int k)</name> |
| <display_name>f(int)</display_name> |
| <package><default></package> |
| <class> |
| <name>Auto</name> |
| <display_name>Auto</display_name> |
| </class> |
| </method> |
| <problem_class>Constant conditions & exceptions</problem_class> |
| <description>Condition <code>333==333</code> is always <code>true</code></description> |
| </problem> |
| |
| |
| |
| <problem> |
| <file>Test.java</file> |
| <line>28</line> |
| <method> |
| <name>void f(int k)</name> |
| <display_name>f(int)</display_name> |
| <package><default></package> |
| <class> |
| <name>Auto</name> |
| <display_name>Auto</display_name> |
| </class> |
| </method> |
| <problem_class>Constant conditions & exceptions</problem_class> |
| <description>Condition <code>big1==big2</code> is always <code>false</code></description> |
| </problem> |
| |
| |
| |
| <problem> |
| <file>Test.java</file> |
| <line>32</line> |
| <method> |
| <name>void f(int k)</name> |
| <display_name>f(int)</display_name> |
| <package><default></package> |
| <class> |
| <name>Auto</name> |
| <display_name>Auto</display_name> |
| </class> |
| </method> |
| <problem_class>Constant conditions & exceptions</problem_class> |
| <description>Condition <code>prim==big2</code> is always <code>true</code></description> |
| </problem> |
| |
| |
| |
| <problem> |
| <file>Test.java</file> |
| <line>36</line> |
| <method> |
| <name>void f(int k)</name> |
| <display_name>f(int)</display_name> |
| <package><default></package> |
| <class> |
| <name>Auto</name> |
| <display_name>Auto</display_name> |
| </class> |
| </method> |
| <problem_class>Constant conditions & exceptions</problem_class> |
| <description>Condition <code>big1 == 0</code> is always <code>false</code></description> |
| </problem> |
| |
| |
| |
| <problem> |
| <file>Test.java</file> |
| <line>39</line> |
| <method> |
| <name>void f(int k)</name> |
| <display_name>f(int)</display_name> |
| <package><default></package> |
| <class> |
| <name>Auto</name> |
| <display_name>Auto</display_name> |
| </class> |
| </method> |
| <problem_class>Constant conditions & exceptions</problem_class> |
| <description>Condition <code>big1 == 332</code> is always <code>false</code></description> |
| </problem> |
| |
| |
| |
| <problem> |
| <file>Test.java</file> |
| <line>44</line> |
| <method> |
| <name>void f(int k)</name> |
| <display_name>f(int)</display_name> |
| <package><default></package> |
| <class> |
| <name>Auto</name> |
| <display_name>Auto</display_name> |
| </class> |
| </method> |
| <problem_class>Constant conditions & exceptions</problem_class> |
| <description>Condition <code>c==1234</code> is always <code>true</code></description> |
| </problem> |
| |
| |
| |
| <problem> |
| <file>Test.java</file> |
| <line>47</line> |
| <method> |
| <name>void f(int k)</name> |
| <display_name>f(int)</display_name> |
| <package><default></package> |
| <class> |
| <name>Auto</name> |
| <display_name>Auto</display_name> |
| </class> |
| </method> |
| <problem_class>Constant conditions & exceptions</problem_class> |
| <description>Condition <code>c==124</code> is always <code>false</code></description> |
| </problem> |
| |
| |
| |
| <problem> |
| <file>Test.java</file> |
| <line>51</line> |
| <method> |
| <name>void f(int k)</name> |
| <display_name>f(int)</display_name> |
| <package><default></package> |
| <class> |
| <name>Auto</name> |
| <display_name>Auto</display_name> |
| </class> |
| </method> |
| <problem_class>Constant conditions & exceptions</problem_class> |
| <description>Condition <code>c==1234</code> is always <code>false</code></description> |
| </problem> |
| |
| |
| |
| <problem> |
| <file>Test.java</file> |
| <line>54</line> |
| <method> |
| <name>void f(int k)</name> |
| <display_name>f(int)</display_name> |
| <package><default></package> |
| <class> |
| <name>Auto</name> |
| <display_name>Auto</display_name> |
| </class> |
| </method> |
| <problem_class>Constant conditions & exceptions</problem_class> |
| <description>Condition <code>c==c</code> is always <code>true</code></description> |
| </problem> |
| |
| |
| |
| <problem> |
| <file>Test.java</file> |
| <line>58</line> |
| <method> |
| <name>void f(int k)</name> |
| <display_name>f(int)</display_name> |
| <package><default></package> |
| <class> |
| <name>Auto</name> |
| <display_name>Auto</display_name> |
| </class> |
| </method> |
| <problem_class>Constant conditions & exceptions</problem_class> |
| <description>Condition <code>c==c2</code> is always <code>true</code></description> |
| </problem> |
| |
| <problem> |
| <file>Test.java</file> |
| <line>73</line> |
| <method> |
| <name>void canBeStatic(int x)</name> |
| <display_name>canBeStatic(int)</display_name> |
| <package><default></package> |
| <class> |
| <name>aaa</name> |
| <display_name>aaa</display_name> |
| </class> |
| </method> |
| <problem_class>Constant conditions & exceptions</problem_class> |
| <description>Condition <code>a == 5</code> is always <code>false</code></description> |
| </problem> |
| <problem> |
| <file>Test.java</file> |
| <line>83</line> |
| <method> |
| <name>void f(int p)</name> |
| <display_name>f(int)</display_name> |
| <package><default></package> |
| <class> |
| <name>aaa</name> |
| <display_name>aaa</display_name> |
| </class> |
| </method> |
| <problem_class>Constant conditions & exceptions</problem_class> |
| <description>Condition <code>i1 == i2</code> is always <code>true</code></description> |
| </problem> |
| |
| <!-- |
| <problem> |
| <file>Test.java</file> |
| <line>103</line> |
| <description>'r==r1' is always false</description> |
| </problem> |
| --> |
| |
| <problem> |
| <file>Test.java</file> |
| <line>107</line> |
| <description>'r2==r3' is always false</description> |
| </problem> |
| |
| |
| <!-- |
| <problem> |
| <file>Test.java</file> |
| <line>112</line> |
| <description>'fr==fr1' is always false</description> |
| </problem> |
| --> |
| |
| |
| <problem> |
| <file>Test.java</file> |
| <line>116</line> |
| <description>'fr2==fr3' is always false</description> |
| </problem> |
| |
| </problems> |