aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core
AgeCommit message (Expand)Author
2012-05-12[analyzer] RetainCountChecker: track ObjC boxed expression objects.Jordy Rose
2012-05-11The Lexer constructor expects a source location at the start of theArgyrios Kyrtzidis
2012-05-10Include line that was meant to be in my last commit.Ted Kremenek
2012-05-10Fix insidious RegionStore bug where we (a) didn't handle vector types and (b)...Ted Kremenek
2012-05-10[analyzer] Exit early if constraint solver is given a non-integer symbolAnna Zaks
2012-05-09[analyzer] Simplify r156446, as per Ted's review.Anna Zaks
2012-05-09[analyzer] Allow pointers to escape through selector callbacks.Anna Zaks
2012-05-08[analyzer] We currently do not fully support CompoundLiterals inAnna Zaks
2012-05-08Having RegionStore lower field bindings to raw offsets, just like ElementRegi...Ted Kremenek
2012-05-08When creating lazy bindings in RegionStore, propagate existing lazy bindings ...Ted Kremenek
2012-05-08Include address of Store in graphviz output of ExplodedGraph.Ted Kremenek
2012-05-08Teach the analyzer about CXXScaleValueInitExpr.Ted Kremenek
2012-05-08[analyzer] BasicConstraintManager: drop NE-constraints once we have a value.Jordy Rose
2012-05-08[analyzer] Rework both constraint managers to handle mixed-type comparisons.Jordy Rose
2012-05-08[analyzer] Add an abstraction for the bit width and signedness of an APSInt. ...Jordy Rose
2012-05-07[analyzer] Fix a crash in triggered by OSAtomicChecker.Anna Zaks
2012-05-07Remove variable made unused by r156270.David Blaikie
2012-05-06[analyzer] Reduce parallel code paths in SimpleSValBuilder::evalBinOpNN, and ...Jordy Rose
2012-05-04Explicitly model capturing variables for blocks in the static analyzer. Fixe...Ted Kremenek
2012-05-04[analyzer]Fixup r156134: Handle the case when FunctionDecl isn't avail.Anna Zaks
2012-05-03[analyzer] Assume pointer escapes when a callback is passed insideAnna Zaks
2012-05-03[analyzer] Allow pointers escape through calls containing callback args.Anna Zaks
2012-05-03[analyzer] When promoting constant integers in a comparison, use the larger w...Jordy Rose
2012-05-03[analyzer] Equality ops are like relational ops in that the arguments shouldn...Jordy Rose
2012-05-03[analyzer] Conjure a symbol to ensure we can identify pointer arithmeticAnna Zaks
2012-05-03[analyzer] Do not assert on constructing SymSymExpr with diff types.Anna Zaks
2012-05-03[analyzer] Add a complexity bound on history tracking.Anna Zaks
2012-05-03[analyzer] Revert the functional part of r155944. Anna Zaks
2012-05-02Refine analyzer diagnostics by adding an expression "cone-of-influence" to re...Ted Kremenek
2012-05-02[analyzer] Fix an assertion failure triggered by the analyzer buildbot.Anna Zaks
2012-05-01Teach SValBuilder to handle casts of symbolic pointer values to an integer tw...Ted Kremenek
2012-05-01[analyzer] Construct a SymExpr even when the constraint solver cannotAnna Zaks
2012-04-30Remove the ref/value inconsistency in filter_decl_iterator.David Blaikie
2012-04-26[analyzer] check lazy bindings in RegionStore first before looking for defaul...Ted Kremenek
2012-04-20[analyzer] Run remove dead bindings right before leaving a function.Anna Zaks
2012-04-19Implements boxed expressions for Objective-C. <rdar://problem/10194391>Patrick Beard
2012-04-17Change ExprEngine::shouldInlineDecl() to be defensive in checking if the CFG ...Ted Kremenek
2012-04-14Add an AttributedStmt type to represent a statement with C++11 attributesRichard Smith
2012-04-13Remove the unused, unmaintained, incomplete 'Index' library.Douglas Gregor
2012-04-12[analyzer] PCH deserialization optimization.Anna Zaks
2012-04-11[analyzer] dynamic_cast Simplify null value generation.Anna Zaks
2012-04-10[analyzer] dynamic_cast: Better model cast from a reference.Anna Zaks
2012-04-10[analyzer] Add support for C++ dynamic_cast.Anna Zaks
2012-04-06Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that wh...Ted Kremenek
2012-04-05Require that all static analyzer issues have a category. As part of this cha...Ted Kremenek
2012-04-05Handle symbolicating a reference in an initializer expression that we don't u...Ted Kremenek
2012-04-05[analyzer] Change warding in a path diagnostic:Anna Zaks
2012-04-05[analyzer] Remove redundant if statement (pointed out by Ted).Anna Zaks
2012-04-04Include the "issue context" (e.g. function or method) where a static analyzer...Ted Kremenek
2012-04-04Change BugReporter's usage of IsCachedDiagnostic to only impact pruning diagn...Ted Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-05 11:14:32 +0000