aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Checker/PathSensitive/AnalysisManager.h
AgeCommit message (Expand)Author
2010-12-22[analyzer] Refactoring: include/clang/Checker -> include/clang/GRArgyrios Kyrtzidis
2010-12-16Start migration of static analyzer to using theTed Kremenek
2010-11-24Let StackFrameContext represent if the call expr is evaluated as lvalue.Zhongxing Xu
2010-11-24Use StackFrameContext directly in CallEnter program point. Then we don't needZhongxing Xu
2010-09-30Added two new command line arguments:Marcin Swiderski
2010-09-14Rename 'MaxLoop' to 'MaxVisit' in AnalysisManager to more correctly reflect t...Tom Care
2010-08-03Add -cc1 option '-unoptimized-cfg' to toggle using a CFG (for static analysis...Ted Kremenek
2010-07-22Make a bunch of new data structures for the new analysisZhongxing Xu
2010-07-19Reapply r108617.Zhongxing Xu
2010-07-17Revert r108617, it broke the build.Benjamin Kramer
2010-07-17Prepare the analyzer for the callee in another translation unit:Zhongxing Xu
2010-05-18Add option '-analyzer-max-loop', which specifies the maximum Zhongxing Xu
2010-05-06Make -analyzer-inline-call not a separate analysis. Instead it's a boolean Zhongxing Xu
2010-04-13Add a cc1 option to specify the max number of nodes the analyzer can explore.Zhongxing Xu
2010-01-25Move BugReporter.h, PathDiagnostic.h, and BugType.h to 'include/Checker/BugRe...Ted Kremenek
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek