- cfd8ea9 Fix NoReturnFunctionChecker to properly look at a function's type by Ted Kremenek · 15 years ago
- 0541d10 Add methods to remove a GDM entry. by Zhongxing Xu · 15 years ago
- 2c01676 Use llvm::SmallString instead of std::string. by Ted Kremenek · 15 years ago
- 431a2cb Improve static analyzer diagnostic concerning the use of 'mktemp' by Ted Kremenek · 15 years ago
- 8e18c1b Bind the constructed object value to CXXConstructExpr. by Zhongxing Xu · 15 years ago
- 13b7639 update CMakeLists.txt by Zhongxing Xu · 15 years ago
- bd2b208 Clear the return expr GDM after using it. by Zhongxing Xu · 15 years ago
- 7b71c19 Add a AggExprVisitor class. It contains lots of boiler by Zhongxing Xu · 15 years ago
- 41ca134 merge line. by Zhongxing Xu · 15 years ago
- d9e0c0f Since we now may have basicblocks with the same block is in different function, by Zhongxing Xu · 15 years ago
- 452b84d Tweak null dereference diagnostics to give clearer diagnostics when by Ted Kremenek · 15 years ago
- 12182a0 Improve the diagnostics for the UndefinedAssignmentChecker when an by Ted Kremenek · 15 years ago
- 909e6aa Sort calls to add_clang_library() by Kovarththanan Rajaratnam · 15 years ago
- 3e0e41c Delete the new visitor if an old one already exists. by Ted Kremenek · 15 years ago
- ff7f736 Reapply r99024 (but with the memory issue now fixed). by Ted Kremenek · 15 years ago
- 1b43102 Check if a BugReporterVisitor has already been added to a BugReporterContext. by Ted Kremenek · 15 years ago
- 0f2c907 Revert r99024, "Augment path diagnostics to include displaying when a message by Daniel Dunbar · 15 years ago
- 2d46f4d Augment path diagnostics to include displaying when a message expression by Ted Kremenek · 15 years ago
- 8133716 Refactor argument checking in CallAndMessageChecker to be the same by Ted Kremenek · 15 years ago
- 091b588 Detect pass-by-value arguments that are structs that contain uninitialized data. by Ted Kremenek · 15 years ago
- ebd42f4 Tweak dead stores checker to not emit a warning when initialization by Ted Kremenek · 15 years ago
- 17ddf1c Mark CXXThisRegion in the current or parent stack frame context as live so that by Zhongxing Xu · 15 years ago
- c506357 Add VisitCXXContructExpr logic to the analyzer. This still has not fully worked by Zhongxing Xu · 15 years ago
- 3352406 Allow users to set CPPFLAGS and CXXFLAGS on the make command line. by Jeffrey Yasskin · 15 years ago
- 957a2b7 Simplify assertion. by Ted Kremenek · 15 years ago
- a03430e Remove '#if 0' code. Lazy compound values have proven their worth. by Ted Kremenek · 15 years ago
- d69493a Remove the subregion map cache. It is no longer used. by Ted Kremenek · 15 years ago
- b7118f7 Fix stale comment. by Ted Kremenek · 15 years ago
- 5499b84 Really apply (unnoticed weird git-svn merge conflict in 98144): Refactor RegionStore::RemoveDeadBindings to use the same core cluster analysis algorithm as RegionStore::InvalidateRegions(). by Ted Kremenek · 15 years ago
- e5ea0ca Refactor RegionStore::RemoveDeadBindings to use the same core by Ted Kremenek · 15 years ago
- a4fab03 Refactor some of RegionStore's InvalidateRegionsWorker class by Ted Kremenek · 15 years ago
- c802378 Add use-after-free check to MallocChecker. by Zhongxing Xu · 15 years ago
- 30986dd Enhance basic store to also lazily symbolicate VarRegions by Ted Kremenek · 15 years ago
- c2350e5 Extend ObjCMessageExpr for class method sends with the source location by Douglas Gregor · 15 years ago
- a48b284 Remove unused headers. by Duncan Sands · 15 years ago
- c179a7f Remove reference to AnalysisContext in Environment. We already have LocationContext by Zhongxing Xu · 15 years ago
- 57d3b76 When profiling Environment, also profile with AnalysisContext*, bacause by Zhongxing Xu · 15 years ago
- 5ba290a [CFG] by Ted Kremenek · 15 years ago
- a804a68 Don't conjure a symbol for DeclStmts when the variable is a C++ reference. by Ted Kremenek · 15 years ago
- 14d2328 Since now we store the cast type with an ElementRegion, there is by Zhongxing Xu · 15 years ago
- 2db08ca Assert when loading from a code text region instead of returning an unknown silently. by Zhongxing Xu · 15 years ago
- 6b60139 Use getBody() to get the function definition when the decl referenced is not by Zhongxing Xu · 15 years ago
- 6190ec2 Use a GDM to record the returned expression in the state when VisitReturnStmt. by Zhongxing Xu · 15 years ago
- 25108a5 Remove derelict GRStmtNodeBuilder::LastNode. by Zhongxing Xu · 15 years ago
- 102acd5 Restore Zhongxing's commits r97122 r97127 r97129 r97131 which were reverted due to a Clang-on-Clang failure by Douglas Gregor · 15 years ago
- 2b706e5 Revert patches r97122 r97127 r97129 r97131. by Jakob Stoklund Olesen · 15 years ago
- f710691 Move the GenerateCallExitNode logic completely into GREndPathNodeBuilder. by Zhongxing Xu · 15 years ago
- 9a9f627 Move the dead bindings removal logic from CallInliner to GRExprEngine::ProcessCallExit(). by Zhongxing Xu · 15 years ago
- 0024a9a Add comments. by Zhongxing Xu · 15 years ago
- 833e50e Call inliner improvements: by Zhongxing Xu · 15 years ago
- df61b58 Add MacOSXAPIChecker, a meta checker to include various precondition checks for calls by Ted Kremenek · 15 years ago
- c757d79 When generating error node, check to see if we already cached out. by Ted Kremenek · 15 years ago
- e3972a9 Enhance the unused ivar checker to not consider an ivar to be accidentally unused by Ted Kremenek · 15 years ago
- 381d1bf Add UnixAPIChecker, a meta checker to include various precondition checks for calls by Ted Kremenek · 15 years ago
- 85fe6f1 Remove stray #include. by Ted Kremenek · 15 years ago
- ade92c0 Remove #include. by Ted Kremenek · 15 years ago
- e5b0fa4 Divide list of registration functions in API and foundational checks. Also trim whitespace. by Ted Kremenek · 15 years ago
- 9b25170 Sort list of checker registration functions. by Ted Kremenek · 15 years ago
- 8913220 Dead emit dead store warnings when assigning nil to an ObjC object by Ted Kremenek · 15 years ago
- 6041111 Recognize attributes ns_returns_not_retained and cf_returns_not_retained by Ted Kremenek · 15 years ago
- 0b526b4 Sort @includes. by Ted Kremenek · 15 years ago
- df3a61b In symbol reaper, a variable is live if its stack frame is the parent of the by Zhongxing Xu · 15 years ago
- c30470d For inline-based inter-procedural analysis, we will have multiple stack space regions. Use a dense map to store them. by Zhongxing Xu · 15 years ago
- 94fd0b8 Add simpler checker to check if variables captured by a block are uninitialized. by Ted Kremenek · 15 years ago
- b9bbd59 Convert GRExprEngine's handling of ObjCMessageExprs to use a worklist by Ted Kremenek · 15 years ago
- 1ed482b clang::Attr objects should be treated as AST nodes as well by by Ted Kremenek · 15 years ago
- a6b8793 Add LLVM conventions check that scans for AST elements (types, stmts, decls) by Ted Kremenek · 15 years ago
- 676ca15 Change LLVMConventionsChecker to accept an entire translation unit instead by Ted Kremenek · 15 years ago
- 005f09b For the StringRef check, also visit the children of DeclStmts. by Ted Kremenek · 15 years ago
- 55abf16 Place type-checking static methods at type of file (where they will congregate). by Ted Kremenek · 15 years ago
- 181cc3d Fix pr6293. If ptr is NULL, no operation is preformed. by Zhongxing Xu · 15 years ago
- 6dd66ed Add new static analyzer for checking LLVM coding conventions: -analyzer-check-llvm-conventions by Ted Kremenek · 15 years ago
- 24c37ad Enhance RegionStore::InvalidateRegions() to correctly invalidate bindings by Ted Kremenek · 15 years ago
- c1ddcab Pull logic for visiting value bindings in InvalidateRegionsWorker into a separate method. by Ted Kremenek · 15 years ago
- 952b017 Eliminate the ASTContext parameter from RecordDecl::getDefinition() by Douglas Gregor · 15 years ago
- dcbcbdc Add comment. by Zhongxing Xu · 15 years ago
- 8ec4aac Fix lookup of fields from lazy bindings to check if the region is by Ted Kremenek · 15 years ago
- 135da71 Fix -Asserts warning. by Daniel Dunbar · 15 years ago
- 064fb20 Simplify another switch/strcmp construct. No functionality/performance change. by Benjamin Kramer · 15 years ago
- b6f3c70 Reapply r95546, no intended change in performance or functionality. by Benjamin Kramer · 15 years ago
- e7d0312 Revert 95546 since it changed the algorithmic characteristics of the convention lookup. by Ted Kremenek · 15 years ago
- de69f70 Simplify code with StringRef. by Benjamin Kramer · 15 years ago
- 1397663 Revert 95541. by Ted Kremenek · 15 years ago
- 6f8c430 Rename: GRState::getSVal(Stmt*) => getExprVal(), by Zhongxing Xu · 15 years ago
- b241cf6 BindInternal is redundant. Remove it. by Zhongxing Xu · 15 years ago
- 8149185 Like for symbolic region, automatically create a element zero region for by Zhongxing Xu · 15 years ago
- 5253568 Unify the implementation of getLValueElement of store managers. by Zhongxing Xu · 15 years ago
- c1511e0 Unify the implementation of getLValueIvar and getLValueField of store managers. by Zhongxing Xu · 15 years ago
- 459731d Move common methods to the base StoreManager class. by Zhongxing Xu · 15 years ago
- 2a393db ASTContext is now a reference member of StoreManager. by Zhongxing Xu · 15 years ago
- 36d02e0 Add support for binding and retrieving VarRegions in flat store. by Zhongxing Xu · 15 years ago
- 81861ab Also teach RegionStore::RetrieveVar() to handle 'static' pointers that are implicitly initialized to NULL. by Ted Kremenek · 15 years ago
- 4dc1566 Fix regression in RegionStore (from BasicStore) where static variables were not treated as being implicitly initialized to 0 (and instead were getting symbolicated). by Ted Kremenek · 15 years ago
- 8524873 Teach RegionStore::InvalidateRegions() to also invalidate static variables referenced by blocks. by Ted Kremenek · 15 years ago
- 72119c4 More GRState* -> Store changes. by Zhongxing Xu · 15 years ago
- 461147f Remove unused parameter. by Zhongxing Xu · 15 years ago
- f5416bd More GRState* -> Store changes. by Zhongxing Xu · 15 years ago
- b4a9c61 More GRState* -> Store changes. by Zhongxing Xu · 15 years ago
- 576bb92 More GRState* -> Store changes. by Zhongxing Xu · 15 years ago
- bfcaf80 Change LazyCompoundVal to a <Store, MemRegion*> pair. We really don't need to by Zhongxing Xu · 15 years ago