Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / e0ad215b709fba79b3a1ead9af31a6f8bd3ee77a / lib / Analysis / GRCoreEngine.cpp
  1. f22f868 Refactored most of the "Store" piece of ValueState into a Store type. The by Ted Kremenek · 16 years ago
  2. 72f52c0 Modified the dead stores checker to... by Ted Kremenek · 16 years ago
  3. f05eec4 Added a new ProgramPoint: PostPurgeDeadSymbols. This new program point distinguishes between the cases when we just evaluated the transfer function of a Stmt* (PostStmt) or performed a load (PostLoad). This solves a caching bug observed in a recent bug report. by Ted Kremenek · 16 years ago
  4. 5f6b442 Major rewrite/refactoring of static analysis engine. We now use by Ted Kremenek · 16 years ago
  5. 0b03c6e Fixed more caching bugs related to the one fixed in r49914. Silence by Ted Kremenek · 16 years ago
  6. cfc909d Fixed bug in GREndPathNodeBuilder: only return a node if it wasn't in the node cache. by Ted Kremenek · 16 years ago
  7. 1e54cc5 Bug fix in GREndPathNodeBuilderImpl: Use the specified state to construct by Ted Kremenek · 16 years ago
  8. db4412d Added "GREndPathNodeBuilder", a new node builder that will be used for by Ted Kremenek · 16 years ago
  9. be1a7a0 Make a major restructuring of the clang tree: introduce a top-level by Chris Lattner · 16 years ago[Renamed from Analysis/GRCoreEngine.cpp]
  10. a1d070b More edge-case handling with using liveness information to prune dead state values. by Ted Kremenek · 16 years ago
  11. 6d7b801 Minor cleanups (mainly indentation). by Ted Kremenek · 16 years ago
  12. 5c6eeb1 "Refinement" of hack to bound loop-traversals: visit any block at a maximum of 3 times along a given path. by Ted Kremenek · 16 years ago
  13. aee121c Added support to GRCoreEngine/GRExprEngine for processing control-flow by Ted Kremenek · 17 years ago
  14. 8f34809 Renamed files to match class renaming in r47070: by Ted Kremenek · 17 years ago[Renamed from Analysis/GREngine.cpp]
  15. 30fa28b Renamed class GREngine => GRCoreEngine. by Ted Kremenek · 17 years ago
  16. 79f63f5 Simplify GRIndirectGotoNodeBuilder. by Ted Kremenek · 17 years ago
  17. c22eb06 Added GREngine support for "break" and "continue". by Ted Kremenek · 17 years ago
  18. 677f4ef Added support to GREngine/GRConstants for handling computed gotos. by Ted Kremenek · 17 years ago
  19. 6ff5218 Added GREngine support for GotoStmt. by Ted Kremenek · 17 years ago
  20. 4b170e5 Added GRBlockCounter class, which tracks the number of times blocks by Ted Kremenek · 17 years ago
  21. 1f0eb99 Implemented initial transfer function support for '&&', '||', '?', and by Ted Kremenek · 17 years ago
  22. 428d39e We now delay adding nodes created by GRBranchNodeBuilder to the analysis by Ted Kremenek · 17 years ago
  23. 9096097 Implemented some branch pruning in GRConstants using != and == for by Ted Kremenek · 17 years ago
  24. 6ff3cea Implemented more boilerplate in GREngine for processing branches. Now by Ted Kremenek · 17 years ago
  25. 19fbb10 Added boilerplate logic in GREngine for processing branches. by Ted Kremenek · 17 years ago
  26. 1118e58 Renamed GRNodeBuilder to GRStmtNodeBuilder. by Ted Kremenek · 17 years ago
  27. 7c64741 Driver now passes the top-level FunctionDecl* to GRConstants. by Ted Kremenek · 17 years ago
  28. c0f1aae Fixed iterator bug in ExplodedNodeImpl::NodeGroup::end(); we would improperly by Ted Kremenek · 17 years ago
  29. d2500ab Hooked up the GRConstants analysis to the driver. by Ted Kremenek · 17 years ago
  30. 3226a65 Removed implicit transitions to a "BlockExit" location; we now handle by Ted Kremenek · 17 years ago
  31. ef27b4b Added prototype implementation of path-sens. analysis core engine. by Ted Kremenek · 17 years ago