aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis
AgeCommit message (Expand)Author
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
2009-03-28Add comparison operators for PathDiagosticLocation.Ted Kremenek
2009-03-27Move declaration of 'PathDiagnostic' to the end of PathDiagnostic.h and add P...Ted Kremenek
2009-03-27PathDiagnostic: replace 'std::list' with 'std::deque'Ted Kremenek
2009-03-27Add iterators to PathDiagnosticControlFlowDiagnostic for iterating over theTed Kremenek
2009-03-27BugReporter:Ted Kremenek
2009-03-27- Fix thinko in implementation of PathDiagnosticLocation::asStmt(). Thanks toTed Kremenek
2009-03-26- Add class PathDiagosticLocationPair.Ted Kremenek
2009-03-26Implement PathDiagnosticLocation::asRange() and PathDiagnosticLocation::asStm...Ted Kremenek
2009-03-26- Implement PathDiagnosticLocation::asLocation.Ted Kremenek
2009-03-26PathDiagnostics (analyzer):Ted Kremenek
2009-03-26analyzer infrastructure: make a bunch of changes to symbolic expressions thatTed Kremenek
2009-03-25This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, forZhongxing Xu
2009-03-23analyzer: Fix embarrassing regression in BasicStore when invalidating structTed Kremenek
2009-03-20GRExprEngine:Ted Kremenek
2009-03-20Allow profiling of "invalid" Symbols.Ted Kremenek
2009-03-19Bindir and Win32 builds work, so switch to .inc files. Leave the .def files i...Sebastian Redl
2009-03-14Revert the switch to the tablegen diags. It fails for seperate objdir builds ...Sebastian Redl
2009-03-14Switch diagnostics from .def to tablegen files. Please validate the Windows b...Sebastian Redl
2009-03-13Fix typo.Ted Kremenek
2009-03-13Fix failure reported by Sebastian of test/Analysis/ptr-arith.c when the targetTed Kremenek
2009-03-12Fix crash when using TypedViewRegions and ObjCQualifiedIdTypes (TypedViewRegi...Ted Kremenek
2009-03-12PathDiagnostics:Ted Kremenek
2009-03-11Add TypedViewRegion::isBoundable() to indicate whether or not theTed Kremenek
2009-03-11The RValueType of a TypedViewRegion should be the pointee type.Zhongxing Xu
2009-03-11Add utility method to BasicValueFactory to convert an APSInt to one of a diff...Ted Kremenek
2009-03-11Add accessor method.Ted Kremenek
2009-03-11Add accessor method to return a GRStateManager's internal ConstraintManager.Ted Kremenek
2009-03-11Added method "canReasonAbout" to ConstraintManager. This method returns true ifTed Kremenek
2009-03-11Add some iterators to BugReporter.Ted Kremenek
2009-03-10PathDiagnosticControlFlowPiece:Ted Kremenek
2009-03-09Add member template "MemRegion::getAs<RegionType>" that dynamically casts aTed Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-06 04:22:59 +0000