如何使用Coverity建模将方法标记为不返回？

我为一个学习项目使用免费的Coverity Scan服务，我想对几种方法建模，要么总是抛出异常，要么内部调用System.exit()，因此不返回，以便从Coverity的流分析中获得更好的结果。如何使用Coverity建模将方法标记为不返回？

例如：

class Foo { 
    // given these 
    Blarg fieldFromTheClass 

    void fail(String s, int a, int b) { 
     throw new DomainSpecificBlahBlahException(s, someFunction(a), someOtherFunction(a, b), fieldFromTheClass, collaborator.getBaz()); 
    } 

    void fatal(Strin s) { 
     System.out.println("Fatal error: " + s); 
     System.exit(1); 
    } 

    // we should get 2 flags here 
    void test(int i) { 
     if (i%2==0) { 
      try { 
       fatal("foobar"); 
      } catch (SecurityException se) { 
       // recovering from security manager - should be flagged as unreachable in normal circumstances 
      } 
     } else { 
      fail("baz", 1, 3); 
     } 

     doSomethingElse(); // unreachable 
    } 
}

什么会做一个模型文件的方式？

此外，是否在任何公共存储库（即Bintray或中央）提供Coverity注释？

来源

2017-02-13 ddimitrov

Coverity应该自动计算出哪些函数因某种原因退出或永远不会返回，但它确实似乎错过了某些函数。在这种情况下，你可以模拟的功能和模式将是这个样子：

#ifdef __COVERITY__ 
void fatal(String s) { 
    __coverity_panic__(); 
} 
#else 
// real definition of fatal

应该有（coverity_installation）/库的一些例子。

来源

2017-10-18 20:06:10 sbcondor

哦拍这个答案吧C++特定。我假设Java是相似的，但我不使用它。 – sbcondor

它仍是一些东西（比没有好:-) – ddimitrov

如何使用Coverity建模将方法标记为不返回？

回答

相关问题