1. ca3e857 IntegerLiterals are no longer evaluated to create separate nodes; their by Ted Kremenek · 17 years ago
  2. 95b3f6f Fixed bug where we performed addition instead of subtraction during by Ted Kremenek · 17 years ago
  3. 160760e Fixed iterator bug in ExplodedNodeImpl::NodeGroup::end(); we would improperly by Ted Kremenek · 17 years ago
  4. aa66a32 Added initial graph visualization support for the GRConstants analysis. by Ted Kremenek · 17 years ago
  5. 1501c82 Fixed invalid typedefs in the root and eop iterators for ExplodedGraph. by Ted Kremenek · 17 years ago
  6. 0525a4f Added support from retrieving stored values to variables. by Ted Kremenek · 17 years ago
  7. 1ccd31c Added support for assignments in GRConstants. by Ted Kremenek · 17 years ago
  8. 22f0d97 Fixed bug where GRConstants::AddBindings() did not check for values by Ted Kremenek · 17 years ago
  9. a5a1ef4 Fixed bug in cleanup of nodes in ExplodedNodeImpl where we should directly by Ted Kremenek · 17 years ago
  10. 1e0a390 Move promoteExprToType from being a static method in SemaExpr.cpp to being by Chris Lattner · 17 years ago
  11. 20dabe8 add accessors to switchstmt. by Chris Lattner · 17 years ago
  12. b365b70 Fixed broken bitmasking in the ctor of ProgramPoint. by Ted Kremenek · 17 years ago
  13. faa5b48 Added missing call to the checker's Initialize() method in the alternate by Ted Kremenek · 17 years ago
  14. b2d763a Added missing ctor to ExplodedGraph. by Ted Kremenek · 17 years ago
  15. 5e2fa75 Fixed incorrect pointer mask. by Ted Kremenek · 17 years ago
  16. a453255 Shortened driver option for running the GR-constants analysis to --grconstants. by Ted Kremenek · 17 years ago
  17. 1f3722b Add missing header file for GRConstants analysis. by Ted Kremenek · 17 years ago
  18. ee98546 Hooked up the GRConstants analysis to the driver. by Ted Kremenek · 17 years ago
  19. 3c6c672 More cleanups in DoStmt. The NodeSets are now vectors instead of sets, since by Ted Kremenek · 17 years ago
  20. 837618c by Steve Naroff · 17 years ago
  21. 9849185 Adjusted DSPtr::Profile method again, since my last patch broke the build. by Ted Kremenek · 17 years ago
  22. ed371ce Changed 'Profile' method for DSPtr to incorporate the flags from the by Ted Kremenek · 17 years ago
  23. cb448ca Renamed some internal classes for the GR-Constant Propagation analysis. by Ted Kremenek · 17 years ago
  24. b586cce Typo. by Fariborz Jahanian · 17 years ago
  25. e8d1c05 Added support for rewriting of continue/break statements inside ObjC2's foreach-stmt. by Fariborz Jahanian · 17 years ago
  26. d27f816 Added skeleton implementation of new constant-prop. analysis using by Ted Kremenek · 17 years ago
  27. 4992b73 Added ctor to GRNodeBuilder. by Ted Kremenek · 17 years ago
  28. dfb9bbb by Steve Naroff · 17 years ago
  29. 02f62a9 by Steve Naroff · 17 years ago
  30. b1a17ae avoid pasting L + "foo" into L"foo". by Chris Lattner · 17 years ago
  31. fdc0d3c avoid token pasting between identifiers and wide strings: by Chris Lattner · 17 years ago
  32. 96d2c43 by Steve Naroff · 17 years ago
  33. 4cdec1c by Steve Naroff · 17 years ago
  34. 425c08c Removed implicit transitions to a "BlockExit" location; we now handle by Ted Kremenek · 17 years ago
  35. 3bf49e3 Removed mutation of CFGBlock through operator[]. For now the underlying ASTs, by Ted Kremenek · 17 years ago
  36. 14f3f1b by Steve Naroff · 17 years ago
  37. f24af5b Added prototype implementation of path-sens. analysis core engine. by Ted Kremenek · 17 years ago
  38. be7a7d6 Added operator[] for CFGBlock. This provides random access to the statements by Ted Kremenek · 17 years ago
  39. 21dd821 Fix build issue on cygwin, patch by Sam Bishop by Chris Lattner · 17 years ago
  40. 3f0c5ad Teach Type::isIntegerType() about GCC's __complex__ integer extensions... by Steve Naroff · 17 years ago
  41. adbbd0c by Steve Naroff · 17 years ago
  42. 86d1777 Cleaned up comment. by Ted Kremenek · 17 years ago
  43. 95b1a90 Cleaned up comment. by Ted Kremenek · 17 years ago
  44. 34bc18b When serializing CompoundLiteralExpr, serialize out the file scope flag before by Ted Kremenek · 17 years ago
  45. e9b1219 by Steve Naroff · 17 years ago
  46. 5d54803 Removed 'inline' keywords from methods now defined in ExplodedGraph.cpp. by Ted Kremenek · 17 years ago
  47. bdd30c2 Change uses of std::cerr/std::cout to llvm::Lcerr/llvm::cout, and remove by Ted Kremenek · 17 years ago
  48. aa58f00 by Steve Naroff · 17 years ago
  49. 5797120 _asm is another valid alias for asm. by Anders Carlsson · 17 years ago
  50. e4707ff Add codegen upport for implicit casts to aggregate exprs. by Anders Carlsson · 17 years ago
  51. d9028b7 add a note by Chris Lattner · 17 years ago
  52. 1adb883 Fix ASTContext::typesAreCompatible when analyzing a function type with by Chris Lattner · 17 years ago
  53. aaffbf7 by Steve Naroff · 17 years ago
  54. 08f1967 Change Sema::CheckAddressOfOperation() to respect C99-only addressof rules. by Steve Naroff · 17 years ago
  55. d880c18 Moved destructor logic of templated class ExplodedGraph to non-templated by Ted Kremenek · 17 years ago
  56. 90e2280 Added node cleanup to dstor of ExplodedGraph. by Ted Kremenek · 17 years ago
  57. 9eb49a4 Created ExplodedGraph.cpp and moved most method implementations of by Ted Kremenek · 17 years ago
  58. 4c4cb52 Moved 'ExplodedNodeGroup' into class 'ExplodedNode' as the nested class by Ted Kremenek · 17 years ago
  59. 37d887c Fixed lines preventing compilation. by Ted Kremenek · 17 years ago
  60. 05e14cd Now include "CFG.h" because the inline methods of "BlockEntrance" accessor by Ted Kremenek · 17 years ago
  61. 51125a2 Fixed some comments. by Ted Kremenek · 17 years ago
  62. ce9328b Removed ExplodedNode.h, since its contents are now in ExplodedGraph.h by Ted Kremenek · 17 years ago
  63. 4a0f5f1 Merged ExplodedNode.h into ExplodedGraph.h, since the ExplodedNode class will by Ted Kremenek · 17 years ago
  64. 46dc4e5 Changed implementation of successor and predecessor sets for ExplodedNode by Ted Kremenek · 17 years ago
  65. 8f978d5 allow __func__ in objc methods. by Chris Lattner · 17 years ago
  66. 1423ea4 Tighten up handling of __func__ and friends: it should be an array by Chris Lattner · 17 years ago
  67. fa28b30 Fix the type of predefined identifiers like __func__. Patch by Eli Friedman! by Chris Lattner · 17 years ago
  68. 3c6f6a7 Fix a fixme, by only parsing extern "C" in C++ mode. by Chris Lattner · 17 years ago
  69. c6fdc34 Add first pieces of support for parsing and representing by Chris Lattner · 17 years ago
  70. e41b7cd When forming the squigly underline for a diagnostic, make sure to by Chris Lattner · 17 years ago
  71. 3d2da3d Fix misspelling of "existent". Do not use std::cerr; use llvm::cerr instead. by Ted Kremenek · 17 years ago
  72. 33bfb5c Added ProgramPoint.cpp, which implements several methods of the subclasses by Ted Kremenek · 17 years ago
  73. a1d44b5 Renamed ProgramEdge.h to ProgramPoint.h by Ted Kremenek · 17 years ago
  74. 83c01da Renamed ProgramEdge to ProgramPoint and changed subclasses of ProgramEdge by Ted Kremenek · 17 years ago
  75. 80aeaa2 Fixed 80-col violation. by Ted Kremenek · 17 years ago
  76. 8800742 Avoid redefinition of __objcFastEnumerationState by Fariborz Jahanian · 17 years ago
  77. d0091aa by Steve Naroff · 17 years ago
  78. 20552d2 Recover from user typo not having proper @interface decl and a bad foreach decl. by Fariborz Jahanian · 17 years ago
  79. a12a75f Remove non-ascii chaaracter from diagnostic by Fariborz Jahanian · 17 years ago
  80. 8c04a4c Fixed non-ASCII quote. by Ted Kremenek · 17 years ago
  81. 94cdb25 Warn (as gcc does) when @end does not close anything. by Fariborz Jahanian · 17 years ago
  82. fea89c2 Added some text about the ccc script provided by Sanghyeon Seo. by Ted Kremenek · 17 years ago
  83. 64299f8 add support for the GCC -include option. by Chris Lattner · 17 years ago
  84. 2bfa533 Compiler driver by Seo Sanghyeon · 17 years ago
  85. 4b1daf0 Fix some 80 col violations by Chris Lattner · 17 years ago
  86. 3a2781c Ted apparently likes crazy whitespace at the end of line. Crush his spirit by by Chris Lattner · 17 years ago
  87. 531a1ea Put return type of synthesize method on same line as method declaration, space after method declaration header. by Fariborz Jahanian · 17 years ago
  88. b6d2360 Added "InfeasibleEdge" to represent an infeasible state transition. by Ted Kremenek · 17 years ago
  89. d577b5e Pass rewritten output to 'clang' for verification. by Fariborz Jahanian · 17 years ago
  90. 7571228 Allow messaging expression as foreach's collection expression. by Fariborz Jahanian · 17 years ago
  91. 6f81811 by Steve Naroff · 17 years ago
  92. ffce4d5 by Steve Naroff · 17 years ago
  93. 974c676 Renamed various traits and classes. Added "Infeasible" bit to ExplodedNodeImpl by Ted Kremenek · 17 years ago
  94. bd12969 Renamed Stmt***Edge and ***StmtEdge (where *** = "Stmt" or "Blk") classes to by Ted Kremenek · 17 years ago
  95. a2f4ef2 Removed some files related to the path-sensitive solver as part of some by Ted Kremenek · 17 years ago
  96. 4a74678 by Steve Naroff · 17 years ago
  97. 58d1821 by Steve Naroff · 17 years ago
  98. c0a356b Fix isIntegerConstantExpr to compare against zero for casts to bool instead of by Chris Lattner · 17 years ago
  99. 19009e6 implement proper support for _Bool in memory, which is usually i8, not i1. by Chris Lattner · 17 years ago
  100. 88f50f3 Type-cast RHS of assignment to prevent warning compiling rewritten foreach code. by Fariborz Jahanian · 17 years ago