aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer
AgeCommit message (Expand)Author
2012-05-12[analyzer] RetainCountChecker: track ObjC boxed expression objects.Jordy Rose
2012-05-11[analyzer] Do not walk the types for call graph construction.Anna Zaks
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-10[analyzer] Do not highlight the range of the statement in case of leak.Anna 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-08[analyzer] SelfInit: Stop tracking self if it's assigned a value weAnna Zaks
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-08Teach the static analyzer that NSLog() and friends do not hold on to object r...Ted Kremenek
2012-05-07[analyzer]Turn on MallocSizeOfChecker by default; shorten the diagnosticAnna Zaks
2012-05-07[analyzer] Fix a crash in triggered by OSAtomicChecker.Anna Zaks
2012-05-07[analyzer]Fixup r156215: use StopTracking summary instead of ScratchArgsAnna 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-04[analyzer] RetainCountChecker: Allow objects to escape through callbacksAnna Zaks
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] CString Checker: Do not split the path unless the userAnna Zaks
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] RetainRelease: Self assignment should not suppress a leakAnna Zaks
2012-05-02[analyzer] Fix an assertion failure triggered by the analyzer buildbot.Anna Zaks
2012-05-02[analyzer] Fix the 'ptr = ptr' false negative in the Malloc checker.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-05-01Teach RetainCountchecker about IORegistryEntrySearchCFProperty returning reta...Ted Kremenek
2012-05-01malloc size checker: Ignore const'ness of pointer types when determining of a...Ted Kremenek
2012-04-30Remove the ref/value inconsistency in filter_decl_iterator.David Blaikie
2012-04-28[analyzer] Remove references to idx::TranslationUnit. Index is dead, cross-TU...Jordy Rose
2012-04-27Use a deque instead of an ImmutableList in AnalysisConsumer to preserve the f...Ted Kremenek
2012-04-27Change FunctionSummary.h's definition of SetOfDecls to be an ImmutableList in...Ted Kremenek
2012-04-26[analyzer] check lazy bindings in RegionStore first before looking for defaul...Ted Kremenek
2012-04-26Teach RetainCountChecker that it doesn't quite understand pthread_setspecific...Ted Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-05 23:16:26 +0000