Commits · 3a8f40ed5e86a97e07d255976a95d2f3ad792b6d · HPC2SE-Project / pacxx-clang · GitLab

Snippets Groups Projects

Dec 23, 2010
- Rename headers: 'clang/GR' 'clang/EntoSA' and · 3a8f40ed
  Ted Kremenek authored 14 years ago
  3a8f40ed
- Rename static analyzer namespace 'GR' to 'ento'. · 9ef6537a
  Ted Kremenek authored 14 years ago
  9ef6537a
Dec 22, 2010
- [analyzer] Refactoring: Move stuff into namespace 'GR'. · 5a4f98ff
  Argyrios Kyrtzidis authored 14 years ago
  5a4f98ff
- [analyzer] Refactoring: include/clang/Checker -> include/clang/GR · 98cabbad
  Argyrios Kyrtzidis authored 14 years ago
  98cabbad
Dec 16, 2010
- Start migration of static analyzer to using the · 892697dd
  Ted Kremenek authored 14 years ago
  892697dd
Nov 24, 2010
- Let StackFrameContext represent if the call expr is evaluated as lvalue. · d706434b
  Zhongxing Xu authored 14 years ago
  d706434b
- Use StackFrameContext directly in CallEnter program point. Then we don't need · 19b78d9e
  Zhongxing Xu authored 14 years ago
  19b78d9e
Sep 30, 2010
- Added two new command line arguments: · 9121ba23
  Marcin Swiderski authored 14 years ago
  9121ba23
Sep 14, 2010
- Rename 'MaxLoop' to 'MaxVisit' in AnalysisManager to more correctly reflect... · 68625cf3
  Tom Care authored 14 years ago
  68625cf3
Aug 03, 2010
- Add -cc1 option '-unoptimized-cfg' to toggle using a CFG (for static analysis)... · 9b823e8e
  Ted Kremenek authored 14 years ago
  9b823e8e
Jul 22, 2010
- Make a bunch of new data structures for the new analysis · 2ce43c8f
  Zhongxing Xu authored 14 years ago
  2ce43c8f
Jul 19, 2010
- Reapply r108617. · c6238d27
  Zhongxing Xu authored 14 years ago
  c6238d27
Jul 17, 2010
- Revert r108617, it broke the build. · ee30965c
  Benjamin Kramer authored 14 years ago
  ee30965c
- Prepare the analyzer for the callee in another translation unit: · 69b81941
  Zhongxing Xu authored 14 years ago
  69b81941
May 18, 2010
- Add option '-analyzer-max-loop', which specifies the maximum · 6362b893
  Zhongxing Xu authored 14 years ago
  6362b893
May 06, 2010
- Make -analyzer-inline-call not a separate analysis. Instead it's a boolean · 7b99d12b
  Zhongxing Xu authored 14 years ago
  7b99d12b
Apr 13, 2010
- Add a cc1 option to specify the max number of nodes the analyzer can explore. · c09289d1
  Zhongxing Xu authored 15 years ago
  c09289d1
Jan 25, 2010
- Move BugReporter.h, PathDiagnostic.h, and BugType.h to 'include/Checker/BugReporter' · 6b67630d
  Ted Kremenek authored 15 years ago
  6b67630d
- Split libAnalysis into two libraries: libAnalysis and libChecker. · 1309f9a3
  Ted Kremenek authored 15 years ago
  1309f9a3
Dec 24, 2009
- As Ted suggested, record the callsite information with the StackFrameContext. · 62d399e1
  Zhongxing Xu authored 15 years ago
  62d399e1
Dec 19, 2009
- Remove ';' after method definition. Noticed by clang++, which one would think · 7177dee8
  Daniel Dunbar authored 15 years ago
  7177dee8
Dec 15, 2009
- Remove displayProgress parameter. · 8d09bafd
  Zhongxing Xu authored 15 years ago
  8d09bafd
Dec 04, 2009
- Refactor LocationContext creation logic into a single member template. · 0ee41240
  Ted Kremenek authored 15 years ago
  0ee41240
Nov 11, 2009
- Fix display of "ANALYZE" statements in AnalysisConsumer by correctly resetting... · 1d9cbeb7
  Ted Kremenek authored 15 years ago
  1d9cbeb7
Nov 05, 2009
- AnalysisManager: Don't rely on PathDiagnosicClients flushing their diagnostics... · b01f06ca
  Ted Kremenek authored 15 years ago
  b01f06ca
Oct 20, 2009
- Add destructor and cleanup code to LocationContext (fixing some leaks). Along the way, have · 58f5ec7d
  Ted Kremenek authored 15 years ago
  58f5ec7d
Oct 13, 2009
- Add two utility methods. · 798d2ca6
  Zhongxing Xu authored 15 years ago
  798d2ca6
Sep 10, 2009
- Make AnalysisManager stateless. Now other analyzer components only depends on · b317f8f5
  Zhongxing Xu authored 15 years ago
  b317f8f5
Sep 09, 2009
- Remove tabs, and whitespace cleanups. · 1eb4433a
  Mike Stump authored 15 years ago
  1eb4433a
Aug 25, 2009
- Remove CodeDecl and CFG from GRExprEngine and GRStateManager. · 5032ffe4
  Zhongxing Xu authored 15 years ago
  5032ffe4
Aug 22, 2009
- Remove 'AnalysisContext::setDecl()', as we the Decl associated with an · 23760020
  Ted Kremenek authored 15 years ago
  23760020
Aug 15, 2009
- Extend the ProgramPoint to include the context information LocationContext, · 25e695b2
  Zhongxing Xu authored 15 years ago
  25e695b2
Aug 06, 2009
- Fix comment. · bb8e6488
  Zhongxing Xu authored 15 years ago
  bb8e6488
Aug 03, 2009
- Regression fix: reset 'DisplayedFunction' when a new function/method decl gets analyzed. · 98f6f257
  Ted Kremenek authored 15 years ago
  98f6f257
- add a bunch of routine methods to AnalysisContext. · 18c7c060
  Zhongxing Xu authored 15 years ago
  18c7c060
- now we can let AnalysisManager to own the PathDiagnosticClient. · d07a0d02
  Zhongxing Xu authored 15 years ago
  d07a0d02
- Create only one AnalysisManager for each translation unit. In HandleCode(), · c471e7b4
  Zhongxing Xu authored 15 years ago
  c471e7b4
Jul 31, 2009
- Fix use-after-release bug introduced in r77585 where the PathDiagnosticClient · 82ec2e99
  Ted Kremenek authored 15 years ago
  82ec2e99
Jul 30, 2009
- Make AnalysisManager into its own source file and a pure data management class. · fda7832b
  Zhongxing Xu authored 15 years ago
  fda7832b