- Aug 13, 2008
-
-
Ted Kremenek authored
Rename ValueStateManager -> GRStateManager. llvm-svn: 54721
-
- Jul 31, 2008
-
-
Ted Kremenek authored
Enhanced path-sensitive return-of-stack-address check to print out the name of the variable whose address was returned. llvm-svn: 54253
-
- Jul 30, 2008
-
-
Ted Kremenek authored
llvm-svn: 54219
-
- Jul 22, 2008
-
-
Ted Kremenek authored
Moved registration of basic path-sensitive checks from GRSimpleVals.cpp to GRExprEngineInternalChecks.cpp. llvm-svn: 53909
-