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