aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core
AgeCommit message (Expand)Author
2013-04-12[analyzer] Print a diagnostic note even if the region cannot be printed.Anna Zaks
2013-04-12[analyzer]Print field region even when the base region is not printableAnna Zaks
2013-04-12[analyzer] Show "Returning from ..." note at caller's depth, not callee's.Jordan Rose
2013-04-12[analyzer] Don't emit extra context arrow after returning from an inlined call.Jordan Rose
2013-04-09[analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().Jordan Rose
2013-04-06[analyzer] When creating a trimmed graph, preserve whether a node is a sink.Jordan Rose
2013-04-05[analyzer] Remove another redundancy from trackNullOrUndefAnna Zaks
2013-04-05[analyzer] Fix null tracking for the given test case, by using the proper sta...Anna Zaks
2013-04-05[analyzer] Show path diagnostic for C++ initializersAnna Zaks
2013-04-04[analyzer] Enable destructor inlining by default (c++-inlining=destructors).Jordan Rose
2013-04-03[analyzer] Allow tracknullOrUndef look through the ternary operator even when...Anna Zaks
2013-04-03[analyzer] Correctly handle destructors for lifetime-extended temporaries.Jordan Rose
2013-04-03[analyzer] make peelOffOuterExpr in BugReporterVisitors recursively peel off ...Anna Zaks
2013-04-03[analyzer] Properly handle the ternary operator in trackNullOrUndefValueAnna Zaks
2013-04-03[analyzer] Fix typo.Anna Zaks
2013-04-03[analyzer] Better model for copying of array fields in implicit copy ctors.Jordan Rose
2013-04-02Silencing warnings in MSVC due to duplicate identifiers.Aaron Ballman
2013-04-02[analyzer] Teach invalidateRegions that regions within LazyCompoundVal need t...Anna Zaks
2013-04-02[analyzer] For now, don't inline [cd]tors of C++ containers.Jordan Rose
2013-04-02[analyzer] Cache whether a function is generally inlineable.Jordan Rose
2013-04-02[analyzer] Use inline storage in the FunctionSummary DenseMap.Jordan Rose
2013-04-02[analyzer] Allow suppressing diagnostics reported within the 'std' namespaceJordan Rose
2013-03-30[analyzer] Restructure ExprEngine::VisitCXXNewExpr to do a bit less work.Jordan Rose
2013-03-30[analyzer] Handle caching out while evaluating a C++ new expression.Jordan Rose
2013-03-29[analyzer] Address Jordan’s review of r178309 - do not register an extra vi...Anna Zaks
2013-03-29[analyzer] Look for a StmtPoint node instead of PostStmt in trackNullOrUndefV...Anna Zaks
2013-03-29Add static analyzer support for conditionally executing static initializers.Ted Kremenek
2013-03-29Add configuration plumbing to enable static initializer branching in the CFG ...Ted Kremenek
2013-03-28[analyzer] Add support for escape of const pointers and use it to allow “ne...Anna Zaks
2013-03-28[analyzer] Apply the suppression rules to the nil receiver only if the value ...Anna Zaks
2013-03-28[analyzer] For now assume all standard global 'operator new' functions alloca...Anton Yartsev
2013-03-27[analyzer] Use evalBind for C++ new of scalar types.Jordan Rose
2013-03-27[analyzer] Cleanup: only get the PostStmt when we need the underlying Stmt + ...Anna Zaks
2013-03-27[analyzer] Ensure that the node NilReceiverBRVisitor is looking for is not re...Anna Zaks
2013-03-26[analyzer] Make sure IDC works for ‘NSContainer value/key is nil’ checks.Anna Zaks
2013-03-26[analyzer] Change inlining policy to inline small functions when reanalyzing ...Anna Zaks
2013-03-26[analyzer] micro optimization as per Jordan’s feedback on r177905.Anna Zaks
2013-03-25[analyzer] Set concrete offset bindings to UnknownVal when processing symboli...Anna Zaks
2013-03-24[analyzer] Teach ConstraintManager to ignore NonLoc <> NonLoc comparisons.Jordan Rose
2013-03-23[analyzer] Teach constraint managers about unsigned comparisons.Jordan Rose
2013-03-23[analyzer] Loc-Loc operations (subtraction or comparison) produce a NonLoc.Jordan Rose
2013-03-23[analyzer] Also transform "a < b" to "(b - a) > 0" in the constraint manager.Jordan Rose
2013-03-23Add reverseComparisonOp and negateComparisonOp to BinaryOperator.Jordan Rose
2013-03-23[analyzer] Translate "a != b" to "(b - a) != 0" in the constraint manager.Jordan Rose
2013-03-23[analyzer] Use SymExprs to represent '<loc> - <loc>' and '<loc> == <loc>'.Jordan Rose
2013-03-23[analyzer] Correct the stale comment.Anna Zaks
2013-03-22Revert "[analyzer] Break cycles (optionally) when trimming an ExplodedGraph."Jordan Rose
2013-03-22[analyzer] Use a forward BFS instead of a reverse BFS to find shortest paths.Jordan Rose
2013-03-22[analyzer] Fix ExprEngine::ViewGraph to handle C++ initializers.Jordan Rose
2013-03-20[analyzer] Appease buildbots: include template arguments in base class ref.Jordan Rose
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2026-02-04 13:29:47 +0000