我最近在eclipse中设置了查找bug以查看它生成的报告。我已将所有设置设置为尽可能灵敏。如果我创建一个写入文件但没有关闭流的小应用程序,它会选择它,这一切都很好。
然而,使用一个已写入的项目,我们没有任何错误,特别是在输出中,我们没有任何错误(就发现错误而言)
我想知道是否有人可以通过他们的版本运行这个并报告我是否可能发现错误设置不正确或者实际上它是否找不到错误?
import java.io.File;
import java.io.FileWriter;
import java.io.IOException;
import java.util.ArrayList;
import java.util.List;
public class SpellUtil {
private final static String teenSpelling[] = {"Zero", "One", "Two", "Three",
"Four", "Five", "Six", "Seven", "Eight", "Nine", "Ten", "Eleven",
"Twelve", "Thirteen", "Fourteen", "Fifteen", "Sixteen",
"Seventeen", "Eighteen", "Nineteen"};
private final static String centSpelling[] = {"Twenty", "Thirty", "Forty",
"Fifty", "Sixty", "Seventy", "Eighty", "Ninety"};
private final static String suffixSpelling[] = {
"", // Dummy! no level 0 (added for nicer indexing in code)
"", // Nothing for level 1
" Thousand, ", " Million, ", " Billion, ", " Trillion, ", " Quadrillion, ",
" Quintillion, "};
public static String spell(int number) {
int rem, placeIndicator = 1;
boolean isNegative = false;
List<String> spelling = new ArrayList<String>();
if (number < 0) {
isNegative = true;
number = Math.abs(number);
}
while (number > 0) {
rem = number % 1000;
number = number / 1000;
spelling.add(suffixSpelling[placeIndicator]);
try {
spelling.add(spellBelow1000(rem));
} catch (SpellingException e) {
System.out.println(e.getMessage());
}
placeIndicator++;
}
StringBuilder sb = new StringBuilder();
if (isNegative) sb.append("Minus ");
for (int i = spelling.size() - 1; i >= 0; i--) {
sb.append(spelling.get(i));
}
return sb.toString();
}
private static String spellBelow1000(int number) throws SpellingException {
if (number < 0 || number >= 1000)
throw new SpellingException("Expecting a number between 0 and 999: " + number);
if (number < 20) {
// if number is a teen,
// find it in teen table and return its equivalent text (word).
return teenSpelling[number];
} else if (number < 100) {
// otherwise, if it is a cent,
// find the most (div) and least (rem) significant digits (MSD/LSD)
int div = (int) number / 10;
int rem = (int) number % 10;
if (rem == 0) {
// if LSD is zero, return the cent key word directly (like
// fifty).
return centSpelling[div-2];
} else {
// otherwise, return the text as cent-teen (like fifty-one)
return centSpelling[div-2] + "-" + teenSpelling[rem];
}
} else {
// otherwise, it is a mil;
// find it's MSD and remaining cent.
int div = number / 100;
int rem = (int) number % 100; // TODO will findbugs detect unnecessary (int)?
// Prepare the mil prefix:
String milText = teenSpelling[div] + " Hundred";
// decide whether to append the cent tail or not.
if (rem == 0) {
// if it does have a non-zero cent, that's it.
// return the mil prefix, for example three hundred:
return milText;
} else {
// otherwise, spell the cent and append it to mil prefix.
// (now, rem is a cent).
// For example, three Hundred and Sixty-Four:
return milText + " and " + spellBelow1000(rem);
}
}
}
}
答案 0 :(得分:2)
您希望在此行中找到错误:
int rem = (int) number % 100; // TODO will findbugs detect unnecessary (int)?
是错误的,因为%
操作的结果通常不是整数。
在C
和C++
中,余数运算符只接受整数操作数,但在Java中只接受,它也接受浮点操作数。这意味着{{em>等语句1}}在Java中非常有效,结果可能是非整数值。 (在这种情况下为double x = 8.2 % 4;
)
请参阅Java语言规范here。
答案 1 :(得分:1)
您似乎遇到了findbugs配置问题。我建议通过声纳使用Findbugs。它更容易配置,你可以使用checkstyle,pmd以及用于管理和解决违规行为的系统。
答案 2 :(得分:1)
我认为问题在于你误解了FindBugs的作用以及它的功能。
基本上,FindBugs解析每个类以生成一个解析树 - 一个内存中表示程序结构的表示。然后尝试在树中找到与已知模式匹配的位置,这些模式表示不正确或可疑的编程。例如:
if (someString == "42") {
....
}
FindBugs很可能会告诉你使用'=='运算符来比较字符串是错误的。它所做的是在类中查找运算符为'=='且一个或两个操作数是String的表达式节点。它将针对已编程以检测和报告的大量模式重复此过程。有些会比这个更复杂,但基本上,FindBug只是做一种结构模式匹配。
FindBugs不能做什么也不能做的是了解你的程序实际上应该做什么。例如:
public boolean isOdd(int arg) {
return (arg % 2) == 0;
}
对于理解简单数学的人来说,这显然是不正确的......但是FindBugs不会注意到它。那是因为FindBugs不知道该方法究竟应该做什么。此外,它无法进行基本语义分析,无法确定代码是否实现了数学。
我这样做的原因是因为我需要做一个查找错误的演示文稿,我需要一个应用程序来生成一些错误来展示它是如何工作的。
也许你需要作弊:
同样值得包括你知道它不会找到的例子......这样你就可以解释Findbugs的局限性。
答案 3 :(得分:0)
findbugs的作用是寻找一些可能(并且很可能会)导致意外/不想要的行为的常见错误。大多数错误都是技术或错误使用java及其API。可以找到所有findbugs检查的列表here换句话说,如果你以正确的方式做了一些你不想做的事情,findbugs就不会检测到它。在你的代码中,我看不到findbugs会检测到的任何内容。您在评论中提到的不必要的演员不是findbugs规则,因为它不会改变代码的行为。它更像是样式或效率错误,可以通过checkstyle或PMD等工具进行检测。