Skip to content
Normal view History Permalink
GRExprEngine.cpp 57.6 KiB
Newer Older
Ted Kremenek's avatar
Expanded graph visualization interface to include specifying a range of  
Ted Kremenek committed
2001 
  }
Ted Kremenek's avatar
Added --trim-path-graph to the driver to trim paths from the ExplodedGraph  
Ted Kremenek committed
2002
Ted Kremenek's avatar
We now delay adding nodes created by GRBranchNodeBuilder to the analysis  
Ted Kremenek committed
2003 
  GraphPrintCheckerState = NULL;
Ted Kremenek's avatar
Improved graph visualization of ExplodedGraphs to include source line and column  
Ted Kremenek committed
2004 
  GraphPrintSourceManager = NULL;
Ted Kremenek's avatar
Expanded graph-visualization to include optional pretty-printing of checker-specific state.  
Ted Kremenek committed
2005 
  GraphCheckerStatePrinter = NULL;
Ted Kremenek's avatar
Renamed GRConstants => GRSimpleVals.  
Ted Kremenek committed
2006 
#endif
Ted Kremenek's avatar
Hooked up the GRConstants analysis to the driver.  
Ted Kremenek committed
2007 
}
Show full blame