aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis
AgeCommit message (Expand)Author
2009-05-07analyzer: Add ProgramPoint 'PostLValue' just to distinguish (forTed Kremenek
2009-05-07Add preliminary support for enhancing null-pointer dereference diagnostics.Ted Kremenek
2009-05-07Bug fix: Not all ConstraintManagers always return a null state when settingTed Kremenek
2009-05-06Refactor BugReporter interface to have a new 'BugReporterContext' andTed Kremenek
2009-05-06The super region of ElementRegion no longer needs to be TypedRegion. In theZhongxing Xu
2009-05-06Make StoreManager::CastRegion() virtual and implement a new CastRegion() forZhongxing Xu
2009-05-04Rename 'makeZeroIndex' to 'makeZeroArrayIndex'.Ted Kremenek
2009-05-04array indexes are unsigned integers of the same width as pointer.Zhongxing Xu
2009-05-04Per conversations with Zhongxing, add an 'element type' toTed Kremenek
2009-05-01Add a new BFS GRWorkList and make it the default worklist model forTed Kremenek
2009-04-29BugReporter/PathDiagnostics:Ted Kremenek
2009-04-26split ObjC and C++ Statements out into their own headers.Chris Lattner
2009-04-22Add PathDiagnosticRange to PathDiagnostics. These simply wrap SourceRange andTed Kremenek
2009-04-22Mark another TypeForDecl const and make getObjCInterfaceType's argument const.Daniel Dunbar
2009-04-21Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion'Ted Kremenek
2009-04-21Recommit 69694 but this time also include the header changes (sorry for breakingTed Kremenek
2009-04-20Remove loc::FuncVal.Zhongxing Xu
2009-04-20get a CodeTextRegion when visiting FunctionDecl reference.Zhongxing Xu
2009-04-17refactor htmldiags to be created up front like the other diag clients.Chris Lattner
2009-04-16tblgen is now passing diagnostic group information in the .inc file, ignore i...Chris Lattner
2009-04-15Tblgen now passes the default mapping explicitly, instead of having it Chris Lattner
2009-04-15remove dead code.Zhongxing Xu
2009-04-11analyzer: We cannot bind values to CodeTextRegions.Ted Kremenek
2009-04-11Implement analyzer support for OSCompareAndSwap. This required pushing "tagged"Ted Kremenek
2009-04-10Add arbitrary "tags" to ProgramPoints. While this fattens up ProgramPoint evenTed Kremenek
2009-04-10Move a few more NonLoc static functions to ValueManager.Ted Kremenek
2009-04-10Default initialize 'code' instance variable to NULL.Ted Kremenek
2009-04-10Add prototype for CodeTextRegion.Zhongxing Xu
2009-04-10Finally nuke loc::SymbolVal.Zhongxing Xu
2009-04-09- Move ownership of MemRegionManager into ValueManager.Ted Kremenek
2009-04-09Remove SVal::MakeZero and replace it with ValueManager::makeZeroVal.Ted Kremenek
2009-04-09analyzer: Introduce a new class, ValueManager, that serves as an aggregateTed Kremenek
2009-04-09stop using loc::SymbolVal and clean up code with new API.Zhongxing Xu
2009-04-09Add a new method because sometimes the type of the conjured symbol is not theZhongxing Xu
2009-04-09Create a symbolic region instead of a loc::SymbolVal. This is a continued stepZhongxing Xu
2009-04-08Enhance analyzer reasoning about sending messages to nil. A nil receiver ret...Ted Kremenek
2009-04-08New static analyzer check by Nikita Zhuk!Ted Kremenek
2009-04-06PathDiagnosticLocation now also wraps Decls.Ted Kremenek
2009-04-03This is the first step to gradually remove the use of loc::SymbolVal. NowZhongxing Xu
2009-04-02Hack: Add 'PathDiagnostic::flattenLocations()'. Because PlistDiagnosticClientTed Kremenek
2009-04-01Fix: <rdar://problem/6740387>. Sending nil to an object that returns a structTed Kremenek
2009-04-01- Changed PathDiagnosticPiece::getLocation() to return a PathDiagnosticLocationTed Kremenek
2009-03-31Allow two codepaths for PathDiagnostic generation. This patch mainly consists ofTed Kremenek
2009-03-30Re-apply 68028. The code had drifted enough that the tests would fail withoutTed Kremenek
2009-03-30Revert 68028.Ted Kremenek
2009-03-30Remove dead code.Ted Kremenek
2009-03-30Add version of GRExprEngine::AddCheck that registered a GRSimpleAPICheck thatTed Kremenek
2009-03-30Make SymbolicRegion untyped.Zhongxing Xu
2009-03-30Implement a FIXME.Zhongxing Xu
2009-03-29DeclRefExpr refers to one decl, not all the declarators in a declaration.Chris Lattner
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-10 22:50:32 +0000