Skip to content
  • Ted Kremenek's avatar
    Major refactoring/cleanup of GRExprEngine, ExplodedGraph, and BugReporter. · 7acc3a36
    Ted Kremenek authored
    Bugs are now reported using a combination of "BugType" (previously
    BugDescription) and Bug "BugReport" objects, which are fed to BugReporter (which
    generates PathDiagnostics). This provides a far more modular way of registering
    bug types and plugging in diagnostics.
    
    GRExprEngine now owns its copy of GRCoreEngine, and is not owned by the
    ExplodedGraph.
    
    ExplodedGraph is no longer templated on the "checker", but instead on the state
    contained in the nodes.
    
    llvm-svn: 49453
    7acc3a36
Loading