kouzdra (kouzdra) wrote,
kouzdra
kouzdra

Поигрался с Infer

Есть подозрение, что тулза для джавистов по крайней мере заслуживает внимания - опробовал на трех несложных (но и не совсем простых) студенческих проектах нашла сомнительные места в 2 из трех - не то чтобы вовсе ошибки - но существенные семантические неряшливости, в серьезных проектах заслуживающие исправления.

findbugs и pmd их не замечают.

Причем одна из может быть и ошибкой реальной - я например не уверен, что там все действительно хорошо. Примера для - фрагмент где есть возможность неосвобождения ресурса:

Хотя конечно для фрагмента main можно наплевать и забыть:;
        try {
            File f = new File(args[0]);
            Scanner scn = new Scanner(f);
            
            File fo = new File(args[0] + ".out");
            PrintWriter pw = new PrintWriter(fo);
            
            while(scn.hasNextLine()) {
                String turniket = scn.nextLine();
                
                LogicExpression le = ExpressionParser.parse(turniket);
                KripkeWorld kw = KripkeBuilder.buildWithout(le);
                if(kw != null) {
                    pw.println(kw.toIntervals(TreeUtils.gatherVariables(le)));
                }
                else
                    pw.println("Формула общезначима");
            }
            
            pw.close();
        } catch(Exception e) {
            e.printStackTrace();
        }
В качестве упражнения можете попробовать найти ее путем инспекции кода и предложить правильный вариант (все естественно компилируется и работает)
Subscribe

  • "Вам Шура не завидно? Мне завидно"

    Ко Дню Победы, Илон Маск и компания SpaceX осуществили десятый повторный полет первой ступени. Ускоритель Falcon 9 Block 5 под номером B1051 поднялся…

  • "Иликой пабеды прозник"

    Щас subj положено плясать - хотя нынешняя россияния имеет к нему примерно столько же как и украиния. Эту войну выиграли совсем другие страны. И…

  • Вдогонку к предыдущему:

    Экспедицию Франклина на "Эребусе" и "Терроре" убил imho именно социальный распад группы - если бы не он - остальное все можно было бы пусть и с…

  • Post a new comment

    Error

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 30 comments

  • "Вам Шура не завидно? Мне завидно"

    Ко Дню Победы, Илон Маск и компания SpaceX осуществили десятый повторный полет первой ступени. Ускоритель Falcon 9 Block 5 под номером B1051 поднялся…

  • "Иликой пабеды прозник"

    Щас subj положено плясать - хотя нынешняя россияния имеет к нему примерно столько же как и украиния. Эту войну выиграли совсем другие страны. И…

  • Вдогонку к предыдущему:

    Экспедицию Франклина на "Эребусе" и "Терроре" убил imho именно социальный распад группы - если бы не он - остальное все можно было бы пусть и с…