This is an archive of the discontinued LLVM Phabricator instance.

Differential D65663

[analyzer] ConditionBRVisitor: Fix HTML PathDiagnosticPopUpPieces
ClosedPublic

Authored by Charusso on Aug 2 2019, 9:56 AM.

Details

Reviewers
NoQ
Commits
rG124ef7fce403: [analyzer] ConditionBRVisitor: Fix HTML PathDiagnosticPopUpPieces
rC368382: [analyzer] ConditionBRVisitor: Fix HTML PathDiagnosticPopUpPieces
rL368382: [analyzer] ConditionBRVisitor: Fix HTML PathDiagnosticPopUpPieces
Summary

A condition could be a multi-line expression where we create the highlight
in separated chunks. PathDiagnosticPopUpPiece is not made for that purpose,
it cannot be added to multiple lines because we have only one ending part
which contains all the notes. So that it cannot have multiple endings and
therefore this patch narrows down the ranges of the highlight to the given
interesting variable of the condition. It prevents HTML-breaking injections.

Diff Detail

Event Timeline

Charusso created this revision.Aug 2 2019, 9:56 AM
Herald added subscribers: cfe-commits, dkrupp, donat.nagy and 6 others. · View Herald TranscriptAug 2 2019, 9:56 AM
Charusso added a comment.Aug 2 2019, 9:56 AM

It also reverts https://reviews.llvm.org/rL362632 which is not a fix, but a problem instead.

NoQ added a comment.Aug 2 2019, 6:44 PM

Aha, aha, looks reasonable. If we're describing a variable, we should only highlight that variable.

clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
2420

Just curious, can BExpr->getLHS() potentially still be a multi-line expression? Or are we making sure it's always a DeclRefExpr/MemberExpr?

In case of MemberExpr i'm pretty sure you can fit a newline before/after . or ->.

2518–2525

It looks like you forgot to make this change popup-piece-specific. I think we should add our note to the whole condition in case of event pieces.

Charusso updated this revision to Diff 213610.Aug 6 2019, 8:17 AM
Charusso marked 4 inline comments as done.
  • Fix.
Charusso added a comment.Aug 6 2019, 8:18 AM

Here is an example of the new MemberExpr::getBase() based report:

report-Driver.cpp-operator()-6-1.html417 KBDownload

clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
2420

Previously I have focused on DeclRefExpr and MemberExpr value-evaluation, so that there the expression must be one of them. Because we have no getField() method for obtaining the field of the MemberExpr, I have picked getBase().

2518–2525

Hm, it probably makes sense. At this level 'Cond' and 'ME' are equals as I saw, but may in crazy conditions they are not.

NoQ added inline comments.Aug 6 2019, 4:43 PM
clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
2420

It's MemberExpr::getMemberLoc(). It's always a single token. Unlike the base, which may still be arbitrarily complex.

Charusso updated this revision to Diff 213763.Aug 6 2019, 5:35 PM
Charusso marked 2 inline comments as done.
  • Fix.
Charusso added a comment.Aug 6 2019, 5:35 PM

Thanks for the review! It is much better:

report-Driver.cpp-operator()-6-2.html416 KBDownload

clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
2420

I am thinking about the opposite when we have->a->lot->of->stuff. It is working fine, thanks for the ideas!

NoQ accepted this revision.Aug 6 2019, 5:37 PM

Yay!

This revision is now accepted and ready to land.Aug 6 2019, 5:37 PM
Charusso added a parent revision: D60670: [analyzer] [NFC] PathDiagnostic: Create PathDiagnosticPopUpPiece.Aug 8 2019, 7:19 PM
Closed by commit rL368382: [analyzer] ConditionBRVisitor: Fix HTML PathDiagnosticPopUpPieces (authored by Charusso). · Explain WhyAug 8 2019, 7:20 PM
This revision was automatically updated to reflect the committed changes.
Herald added a project: Restricted Project. · View Herald TranscriptAug 8 2019, 7:20 PM
Herald added a subscriber: llvm-commits. · View Herald Transcript

Revision Contents

PathSize
clang/
lib/
StaticAnalyzer/
Core/
44 lines
9 lines
test/
Analysis/
Inputs/
expected-plists/
4 lines
116 lines
2 lines
2 lines
8 lines

Diff 213610

clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp

Show First 20 Lines • Show All 2,329 Lines • ▼ Show 20 Linesstd::shared_ptr<PathDiagnosticPiece> ConditionBRVisitor::VisitTrueTest(
const Expr *Cond, const BinaryOperator *BExpr, BugReporterContext &BRC, const Expr *Cond, const BinaryOperator *BExpr, BugReporterContext &BRC,
BugReport &R, const ExplodedNode *N, bool TookTrue, bool IsAssuming) { BugReport &R, const ExplodedNode *N, bool TookTrue, bool IsAssuming) {
bool shouldInvert = false; bool shouldInvert = false;
Optional<bool> shouldPrune; Optional<bool> shouldPrune;
// Check if the field name of the MemberExprs is ambiguous. Example: // Check if the field name of the MemberExprs is ambiguous. Example:
// " 'a.d' is equal to 'h.d' " in 'test/Analysis/null-deref-path-notes.cpp'. // " 'a.d' is equal to 'h.d' " in 'test/Analysis/null-deref-path-notes.cpp'.
bool IsSameFieldName = false; bool IsSameFieldName = false;
if (const auto *LhsME = const auto *LhsME = dyn_cast<MemberExpr>(BExpr->getLHS()->IgnoreParenCasts());
dyn_cast<MemberExpr>(BExpr->getLHS()->IgnoreParenCasts())) const auto *RhsME = dyn_cast<MemberExpr>(BExpr->getRHS()->IgnoreParenCasts());
if (const auto *RhsME =
dyn_cast<MemberExpr>(BExpr->getRHS()->IgnoreParenCasts())) if (LhsME && RhsME)
IsSameFieldName = LhsME->getMemberDecl()->getName() == IsSameFieldName =
RhsME->getMemberDecl()->getName(); LhsME->getMemberDecl()->getName() == RhsME->getMemberDecl()->getName();
SmallString<128> LhsString, RhsString; SmallString<128> LhsString, RhsString;
{ {
llvm::raw_svector_ostream OutLHS(LhsString), OutRHS(RhsString); llvm::raw_svector_ostream OutLHS(LhsString), OutRHS(RhsString);
const bool isVarLHS = patternMatch(BExpr->getLHS(), BExpr, OutLHS, BRC, R, const bool isVarLHS = patternMatch(BExpr->getLHS(), BExpr, OutLHS, BRC, R,
N, shouldPrune, IsSameFieldName); N, shouldPrune, IsSameFieldName);
const bool isVarRHS = patternMatch(BExpr->getRHS(), BExpr, OutRHS, BRC, R, const bool isVarRHS = patternMatch(BExpr->getRHS(), BExpr, OutRHS, BRC, R,
N, shouldPrune, IsSameFieldName); N, shouldPrune, IsSameFieldName);
▲ Show 20 Lines • Show All 53 Lines • ▼ Show 20 Lines case BO_NE:
break; break;
default: default:
Out << BinaryOperator::getOpcodeStr(Op) << ' '; Out << BinaryOperator::getOpcodeStr(Op) << ' ';
break; break;
} }
Out << (shouldInvert ? LhsString : RhsString); Out << (shouldInvert ? LhsString : RhsString);
const LocationContext *LCtx = N->getLocationContext(); const LocationContext *LCtx = N->getLocationContext();
PathDiagnosticLocation Loc(Cond, BRC.getSourceManager(), LCtx);
// Convert 'field ...' to 'Field ...' if it is a MemberExpr. // Convert 'field ...' to 'Field ...' if it is a MemberExpr.
std::string Message = Out.str(); std::string Message = Out.str();
Message[0] = toupper(Message[0]); Message[0] = toupper(Message[0]);
// If we know the value create a pop-up note. // If we know the value create a pop-up note to the value part of 'BExpr'.
if (!IsAssuming) if (!IsAssuming) {
const Expr *ValueExpr = nullptr;
NoQUnsubmitted
Done
ReplyInline Actions

Just curious, can BExpr->getLHS() potentially still be a multi-line expression? Or are we making sure it's always a DeclRefExpr/MemberExpr?

In case of MemberExpr i'm pretty sure you can fit a newline before/after . or ->.

NoQ: Just curious, can `BExpr->getLHS()` potentially still be a multi-line expression? Or are we…
CharussoAuthorUnsubmitted
Done
ReplyInline Actions

Previously I have focused on DeclRefExpr and MemberExpr value-evaluation, so that there the expression must be one of them. Because we have no getField() method for obtaining the field of the MemberExpr, I have picked getBase().

Charusso: Previously I have focused on `DeclRefExpr` and `MemberExpr` value-evaluation, so that there the…
NoQUnsubmitted
Done
ReplyInline Actions

It's MemberExpr::getMemberLoc(). It's always a single token. Unlike the base, which may still be arbitrarily complex.

NoQ: It's `MemberExpr::getMemberLoc()`. It's always a single token. Unlike the base, which may still…
CharussoAuthorUnsubmitted
Done
ReplyInline Actions

I am thinking about the opposite when we have->a->lot->of->stuff. It is working fine, thanks for the ideas!

Charusso: I am thinking about the opposite when we `have->a->lot->of->stuff`. It is working fine, thanks…
if (!shouldInvert)
ValueExpr = LhsME ? LhsME->getBase() : BExpr->getLHS();
else
ValueExpr = RhsME ? RhsME->getBase() : BExpr->getRHS();
PathDiagnosticLocation Loc(ValueExpr, BRC.getSourceManager(), LCtx);
return std::make_shared<PathDiagnosticPopUpPiece>(Loc, Message); return std::make_shared<PathDiagnosticPopUpPiece>(Loc, Message);
}
PathDiagnosticLocation Loc(Cond, BRC.getSourceManager(), LCtx);
auto event = std::make_shared<PathDiagnosticEventPiece>(Loc, Message); auto event = std::make_shared<PathDiagnosticEventPiece>(Loc, Message);
if (shouldPrune.hasValue()) if (shouldPrune.hasValue())
event->setPrunable(shouldPrune.getValue()); event->setPrunable(shouldPrune.getValue());
return event; return event;
} }
std::shared_ptr<PathDiagnosticPiece> ConditionBRVisitor::VisitConditionVariable( std::shared_ptr<PathDiagnosticPiece> ConditionBRVisitor::VisitConditionVariable(
StringRef LhsString, const Expr *CondVarExpr, BugReporterContext &BRC, StringRef LhsString, const Expr *CondVarExpr, BugReporterContext &BRC,
Show All 36 Linesstd::shared_ptr<PathDiagnosticPiece> ConditionBRVisitor::VisitTrueTest(
llvm::raw_svector_ostream Out(Buf); llvm::raw_svector_ostream Out(Buf);
Out << (IsAssuming ? "Assuming '" : "'") << VD->getDeclName() << "' is "; Out << (IsAssuming ? "Assuming '" : "'") << VD->getDeclName() << "' is ";
if (!printValue(DRE, Out, N, TookTrue, IsAssuming)) if (!printValue(DRE, Out, N, TookTrue, IsAssuming))
return nullptr; return nullptr;
const LocationContext *LCtx = N->getLocationContext(); const LocationContext *LCtx = N->getLocationContext();
PathDiagnosticLocation Loc(Cond, BRC.getSourceManager(), LCtx);
// If we know the value create a pop-up note. // If we know the value create a pop-up note to the 'DRE'.
if (!IsAssuming) if (!IsAssuming) {
PathDiagnosticLocation Loc(DRE, BRC.getSourceManager(), LCtx);
return std::make_shared<PathDiagnosticPopUpPiece>(Loc, Out.str()); return std::make_shared<PathDiagnosticPopUpPiece>(Loc, Out.str());
}
PathDiagnosticLocation Loc(Cond, BRC.getSourceManager(), LCtx);
auto event = std::make_shared<PathDiagnosticEventPiece>(Loc, Out.str()); auto event = std::make_shared<PathDiagnosticEventPiece>(Loc, Out.str());
const ProgramState *state = N->getState().get(); const ProgramState *state = N->getState().get();
if (const MemRegion *R = state->getLValue(VD, LCtx).getAsRegion()) { if (const MemRegion *R = state->getLValue(VD, LCtx).getAsRegion()) {
if (report.isInteresting(R)) if (report.isInteresting(R))
event->setPrunable(false); event->setPrunable(false);
else { else {
SVal V = state->getSVal(R); SVal V = state->getSVal(R);
if (report.isInteresting(V)) if (report.isInteresting(V))
Show All 11 Linesstd::shared_ptr<PathDiagnosticPiece> ConditionBRVisitor::VisitTrueTest(
Out << (IsAssuming ? "Assuming field '" : "Field '") Out << (IsAssuming ? "Assuming field '" : "Field '")
<< ME->getMemberDecl()->getName() << "' is "; << ME->getMemberDecl()->getName() << "' is ";
if (!printValue(ME, Out, N, TookTrue, IsAssuming)) if (!printValue(ME, Out, N, TookTrue, IsAssuming))
return nullptr; return nullptr;
const LocationContext *LCtx = N->getLocationContext(); const LocationContext *LCtx = N->getLocationContext();
PathDiagnosticLocation Loc(Cond, BRC.getSourceManager(), LCtx); PathDiagnosticLocation Loc;
// If we know the value create a pop-up note to the base of the 'MemberExpr'.
if (!IsAssuming)
Loc = PathDiagnosticLocation(ME->getBase(), BRC.getSourceManager(), LCtx);
else
Loc = PathDiagnosticLocation(Cond, BRC.getSourceManager(), LCtx);
NoQUnsubmitted
Done
ReplyInline Actions

It looks like you forgot to make this change popup-piece-specific. I think we should add our note to the whole condition in case of event pieces.

NoQ: It looks like you forgot to make this change popup-piece-specific. I think we should add our…
CharussoAuthorUnsubmitted
Done
ReplyInline Actions

Hm, it probably makes sense. At this level 'Cond' and 'ME' are equals as I saw, but may in crazy conditions they are not.

Charusso: Hm, it probably makes sense. At this level 'Cond' and 'ME' are equals as I saw, but may in…
if (!Loc.isValid() || !Loc.asLocation().isValid()) if (!Loc.isValid() || !Loc.asLocation().isValid())
return nullptr; return nullptr;
// If we know the value create a pop-up note.
if (!IsAssuming) if (!IsAssuming)
return std::make_shared<PathDiagnosticPopUpPiece>(Loc, Out.str()); return std::make_shared<PathDiagnosticPopUpPiece>(Loc, Out.str());
return std::make_shared<PathDiagnosticEventPiece>(Loc, Out.str()); return std::make_shared<PathDiagnosticEventPiece>(Loc, Out.str());
} }
bool ConditionBRVisitor::printValue(const Expr *CondVarExpr, raw_ostream &Out, bool ConditionBRVisitor::printValue(const Expr *CondVarExpr, raw_ostream &Out,
const ExplodedNode *N, bool TookTrue, const ExplodedNode *N, bool TookTrue,
▲ Show 20 Lines • Show All 284 Lines • Show Last 20 Lines

clang/lib/StaticAnalyzer/Core/HTMLDiagnostics.cpp

Show First 20 Lines • Show All 606 Lines • ▼ Show 20 Lines
} }
static void static void
HandlePopUpPieceStartTag(Rewriter &R, HandlePopUpPieceStartTag(Rewriter &R,
const std::vector<SourceRange> &PopUpRanges) { const std::vector<SourceRange> &PopUpRanges) {
for (const auto &Range : PopUpRanges) { for (const auto &Range : PopUpRanges) {
html::HighlightRange(R, Range.getBegin(), Range.getEnd(), "", html::HighlightRange(R, Range.getBegin(), Range.getEnd(), "",
"<table class='variable_popup'><tbody>", "<table class='variable_popup'><tbody>",
/*IsTokenRange=*/false); /*IsTokenRange=*/true);
} }
} }
static void HandlePopUpPieceEndTag(Rewriter &R, static void HandlePopUpPieceEndTag(Rewriter &R,
const PathDiagnosticPopUpPiece &Piece, const PathDiagnosticPopUpPiece &Piece,
std::vector<SourceRange> &PopUpRanges, std::vector<SourceRange> &PopUpRanges,
unsigned int LastReportedPieceIndex, unsigned int LastReportedPieceIndex,
unsigned int PopUpPieceIndex) { unsigned int PopUpPieceIndex) {
Show All 15 Linesstatic void HandlePopUpPieceEndTag(Rewriter &R,
if (std::find(PopUpRanges.begin(), PopUpRanges.end(), Range) == if (std::find(PopUpRanges.begin(), PopUpRanges.end(), Range) ==
PopUpRanges.end()) { PopUpRanges.end()) {
// Store that we create a report at this range. // Store that we create a report at this range.
PopUpRanges.push_back(Range); PopUpRanges.push_back(Range);
Out << "</tbody></table></span>"; Out << "</tbody></table></span>";
html::HighlightRange(R, Range.getBegin(), Range.getEnd(), html::HighlightRange(R, Range.getBegin(), Range.getEnd(),
"<span class='variable'>", Buf.c_str(), "<span class='variable'>", Buf.c_str(),
/*IsTokenRange=*/false); /*IsTokenRange=*/true);
// Otherwise inject just the new row at the end of the range.
} else { } else {
// Otherwise inject just the new row at the end of the range.
html::HighlightRange(R, Range.getBegin(), Range.getEnd(), "", Buf.c_str(), html::HighlightRange(R, Range.getBegin(), Range.getEnd(), "", Buf.c_str(),
/*IsTokenRange=*/false); /*IsTokenRange=*/true);
} }
} }
void HTMLDiagnostics::RewriteFile(Rewriter &R, void HTMLDiagnostics::RewriteFile(Rewriter &R,
const PathPieces& path, FileID FID) { const PathPieces& path, FileID FID) {
// Process the path. // Process the path.
// Maintain the counts of extra note pieces separately. // Maintain the counts of extra note pieces separately.
unsigned TotalPieces = path.size(); unsigned TotalPieces = path.size();
▲ Show 20 Lines • Show All 452 Lines • Show Last 20 Lines

clang/test/Analysis/Inputs/expected-plists/cxx-for-range.cpp.plist

Show First 20 Lines • Show All 185 Lines • ▼ Show 20 Lines <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>11</integer> <key>line</key><integer>11</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>9</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>11</integer> <key>line</key><integer>11</integer>
<key>col</key><integer>14</integer> <key>col</key><integer>9</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>extended_message</key> <key>extended_message</key>
<string>&apos;y&apos; is not equal to 2</string> <string>&apos;y&apos; is not equal to 2</string>
<key>message</key> <key>message</key>
<string>&apos;y&apos; is not equal to 2</string> <string>&apos;y&apos; is not equal to 2</string>
▲ Show 20 Lines • Show All 307 Lines • ▼ Show 20 Lines <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>11</integer> <key>line</key><integer>11</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>9</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>11</integer> <key>line</key><integer>11</integer>
<key>col</key><integer>14</integer> <key>col</key><integer>9</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>extended_message</key> <key>extended_message</key>
<string>&apos;y&apos; is equal to 2</string> <string>&apos;y&apos; is equal to 2</string>
<key>message</key> <key>message</key>
<string>&apos;y&apos; is equal to 2</string> <string>&apos;y&apos; is equal to 2</string>
▲ Show 20 Lines • Show All 1,618 Lines • Show Last 20 Lines

clang/test/Analysis/Inputs/expected-plists/edges-new.mm.plist

  • This file is larger than 256 KB, so syntax highlighting is disabled by default.
Show First 20 Lines • Show All 2,721 Lines • ▼ Show 20 Lines <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>146</integer> <key>line</key><integer>146</integer>
<key>col</key><integer>8</integer> <key>col</key><integer>8</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>146</integer> <key>line</key><integer>146</integer>
<key>col</key><integer>13</integer> <key>col</key><integer>8</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>extended_message</key> <key>extended_message</key>
<string>&apos;i&apos; is not equal to 1</string> <string>&apos;i&apos; is not equal to 1</string>
<key>message</key> <key>message</key>
<string>&apos;i&apos; is not equal to 1</string> <string>&apos;i&apos; is not equal to 1</string>
▲ Show 20 Lines • Show All 205 Lines • ▼ Show 20 Lines <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>146</integer> <key>line</key><integer>146</integer>
<key>col</key><integer>8</integer> <key>col</key><integer>8</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>146</integer> <key>line</key><integer>146</integer>
<key>col</key><integer>13</integer> <key>col</key><integer>8</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>extended_message</key> <key>extended_message</key>
<string>&apos;i&apos; is equal to 1</string> <string>&apos;i&apos; is equal to 1</string>
<key>message</key> <key>message</key>
<string>&apos;i&apos; is equal to 1</string> <string>&apos;i&apos; is equal to 1</string>
▲ Show 20 Lines • Show All 963 Lines • ▼ Show 20 Lines <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>178</integer> <key>line</key><integer>178</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>9</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>178</integer> <key>line</key><integer>178</integer>
<key>col</key><integer>14</integer> <key>col</key><integer>9</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>extended_message</key> <key>extended_message</key>
<string>&apos;i&apos; is equal to 0</string> <string>&apos;i&apos; is equal to 0</string>
<key>message</key> <key>message</key>
<string>&apos;i&apos; is equal to 0</string> <string>&apos;i&apos; is equal to 0</string>
▲ Show 20 Lines • Show All 239 Lines • ▼ Show 20 Lines <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>178</integer> <key>line</key><integer>178</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>9</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>178</integer> <key>line</key><integer>178</integer>
<key>col</key><integer>14</integer> <key>col</key><integer>9</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>extended_message</key> <key>extended_message</key>
<string>&apos;i&apos; is not equal to 0</string> <string>&apos;i&apos; is not equal to 0</string>
<key>message</key> <key>message</key>
<string>&apos;i&apos; is not equal to 0</string> <string>&apos;i&apos; is not equal to 0</string>
▲ Show 20 Lines • Show All 79 Lines • ▼ Show 20 Lines <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>181</integer> <key>line</key><integer>181</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>9</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>181</integer> <key>line</key><integer>181</integer>
<key>col</key><integer>14</integer> <key>col</key><integer>9</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>extended_message</key> <key>extended_message</key>
<string>&apos;i&apos; is equal to 1</string> <string>&apos;i&apos; is equal to 1</string>
<key>message</key> <key>message</key>
<string>&apos;i&apos; is equal to 1</string> <string>&apos;i&apos; is equal to 1</string>
▲ Show 20 Lines • Show All 3,789 Lines • ▼ Show 20 Lines <key>edges</key>
</dict> </dict>
</array> </array>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>pop-up</string> <key>kind</key><string>pop-up</string>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>267</integer> <key>line</key><integer>267</integer>
<key>col</key><integer>18</integer> <key>col</key><integer>19</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<key>ranges</key> <key>ranges</key>
<array> <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>267</integer> <key>line</key><integer>267</integer>
<key>col</key><integer>18</integer> <key>col</key><integer>19</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>267</integer> <key>line</key><integer>267</integer>
<key>col</key><integer>22</integer> <key>col</key><integer>22</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>extended_message</key> <key>extended_message</key>
<string>&apos;coin&apos; is 0</string> <string>&apos;coin&apos; is 0</string>
<key>message</key> <key>message</key>
<string>&apos;coin&apos; is 0</string> <string>&apos;coin&apos; is 0</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>267</integer> <key>line</key><integer>267</integer>
<key>col</key><integer>18</integer> <key>col</key><integer>19</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>267</integer> <key>line</key><integer>267</integer>
<key>col</key><integer>18</integer> <key>col</key><integer>22</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
<key>end</key> <key>end</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>268</integer> <key>line</key><integer>268</integer>
<key>col</key><integer>5</integer> <key>col</key><integer>5</integer>
▲ Show 20 Lines • Show All 3,842 Lines • ▼ Show 20 Lines <key>edges</key>
<key>col</key><integer>6</integer> <key>col</key><integer>6</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
<key>end</key> <key>end</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>14</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</dict> </dict>
</array> </array>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>pop-up</string> <key>kind</key><string>pop-up</string>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<key>ranges</key> <key>ranges</key>
<array> <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>14</integer> <key>col</key><integer>14</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>extended_message</key> <key>extended_message</key>
<string>&apos;first&apos; is 1</string> <string>&apos;first&apos; is 1</string>
<key>message</key> <key>message</key>
<string>&apos;first&apos; is 1</string> <string>&apos;first&apos; is 1</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>14</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
<key>end</key> <key>end</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>459</integer> <key>line</key><integer>459</integer>
<key>col</key><integer>5</integer> <key>col</key><integer>5</integer>
▲ Show 20 Lines • Show All 190 Lines • ▼ Show 20 Lines <key>edges</key>
<key>col</key><integer>6</integer> <key>col</key><integer>6</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
<key>end</key> <key>end</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>14</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</dict> </dict>
</array> </array>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>pop-up</string> <key>kind</key><string>pop-up</string>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<key>ranges</key> <key>ranges</key>
<array> <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>14</integer> <key>col</key><integer>14</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>extended_message</key> <key>extended_message</key>
<string>&apos;first&apos; is 0</string> <string>&apos;first&apos; is 0</string>
<key>message</key> <key>message</key>
<string>&apos;first&apos; is 0</string> <string>&apos;first&apos; is 0</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>14</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
<key>end</key> <key>end</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>458</integer> <key>line</key><integer>458</integer>
<key>col</key><integer>7</integer> <key>col</key><integer>7</integer>
▲ Show 20 Lines • Show All 256 Lines • ▼ Show 20 Lines <key>edges</key>
<key>col</key><integer>6</integer> <key>col</key><integer>6</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
<key>end</key> <key>end</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>14</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</dict> </dict>
</array> </array>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>pop-up</string> <key>kind</key><string>pop-up</string>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<key>ranges</key> <key>ranges</key>
<array> <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>14</integer> <key>col</key><integer>14</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>extended_message</key> <key>extended_message</key>
<string>&apos;first&apos; is 1</string> <string>&apos;first&apos; is 1</string>
<key>message</key> <key>message</key>
<string>&apos;first&apos; is 1</string> <string>&apos;first&apos; is 1</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>14</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
<key>end</key> <key>end</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>459</integer> <key>line</key><integer>459</integer>
<key>col</key><integer>5</integer> <key>col</key><integer>5</integer>
▲ Show 20 Lines • Show All 486 Lines • ▼ Show 20 Lines <key>edges</key>
<key>col</key><integer>6</integer> <key>col</key><integer>6</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
<key>end</key> <key>end</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>14</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</dict> </dict>
</array> </array>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>pop-up</string> <key>kind</key><string>pop-up</string>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<key>ranges</key> <key>ranges</key>
<array> <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>14</integer> <key>col</key><integer>14</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>extended_message</key> <key>extended_message</key>
<string>&apos;first&apos; is 1</string> <string>&apos;first&apos; is 1</string>
<key>message</key> <key>message</key>
<string>&apos;first&apos; is 1</string> <string>&apos;first&apos; is 1</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>14</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
<key>end</key> <key>end</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>459</integer> <key>line</key><integer>459</integer>
<key>col</key><integer>5</integer> <key>col</key><integer>5</integer>
▲ Show 20 Lines • Show All 553 Lines • ▼ Show 20 Lines <key>edges</key>
<key>col</key><integer>6</integer> <key>col</key><integer>6</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
<key>end</key> <key>end</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>14</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</dict> </dict>
</array> </array>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>pop-up</string> <key>kind</key><string>pop-up</string>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<key>ranges</key> <key>ranges</key>
<array> <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>14</integer> <key>col</key><integer>14</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>extended_message</key> <key>extended_message</key>
<string>&apos;first&apos; is 1</string> <string>&apos;first&apos; is 1</string>
<key>message</key> <key>message</key>
<string>&apos;first&apos; is 1</string> <string>&apos;first&apos; is 1</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>14</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
<key>end</key> <key>end</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>459</integer> <key>line</key><integer>459</integer>
<key>col</key><integer>5</integer> <key>col</key><integer>5</integer>
▲ Show 20 Lines • Show All 1,472 Lines • ▼ Show 20 Lines <key>edges</key>
<key>col</key><integer>6</integer> <key>col</key><integer>6</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
<key>end</key> <key>end</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>14</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</dict> </dict>
</array> </array>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>pop-up</string> <key>kind</key><string>pop-up</string>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<key>ranges</key> <key>ranges</key>
<array> <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>14</integer> <key>col</key><integer>14</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>extended_message</key> <key>extended_message</key>
<string>&apos;first&apos; is 1</string> <string>&apos;first&apos; is 1</string>
<key>message</key> <key>message</key>
<string>&apos;first&apos; is 1</string> <string>&apos;first&apos; is 1</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>14</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
<key>end</key> <key>end</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>459</integer> <key>line</key><integer>459</integer>
<key>col</key><integer>5</integer> <key>col</key><integer>5</integer>
▲ Show 20 Lines • Show All 1,599 Lines • ▼ Show 20 Lines <key>edges</key>
<key>col</key><integer>6</integer> <key>col</key><integer>6</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
<key>end</key> <key>end</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>14</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</dict> </dict>
</array> </array>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>pop-up</string> <key>kind</key><string>pop-up</string>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<key>ranges</key> <key>ranges</key>
<array> <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>14</integer> <key>col</key><integer>14</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>extended_message</key> <key>extended_message</key>
<string>&apos;first&apos; is 1</string> <string>&apos;first&apos; is 1</string>
<key>message</key> <key>message</key>
<string>&apos;first&apos; is 1</string> <string>&apos;first&apos; is 1</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>14</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
<key>end</key> <key>end</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>459</integer> <key>line</key><integer>459</integer>
<key>col</key><integer>5</integer> <key>col</key><integer>5</integer>
▲ Show 20 Lines • Show All 1,824 Lines • ▼ Show 20 Lines <key>edges</key>
<key>col</key><integer>6</integer> <key>col</key><integer>6</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
<key>end</key> <key>end</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>14</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</dict> </dict>
</array> </array>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>pop-up</string> <key>kind</key><string>pop-up</string>
<key>location</key> <key>location</key>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<key>ranges</key> <key>ranges</key>
<array> <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>14</integer> <key>col</key><integer>14</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>extended_message</key> <key>extended_message</key>
<string>&apos;first&apos; is 1</string> <string>&apos;first&apos; is 1</string>
<key>message</key> <key>message</key>
<string>&apos;first&apos; is 1</string> <string>&apos;first&apos; is 1</string>
</dict> </dict>
<dict> <dict>
<key>kind</key><string>control</string> <key>kind</key><string>control</string>
<key>edges</key> <key>edges</key>
<array> <array>
<dict> <dict>
<key>start</key> <key>start</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>10</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>457</integer> <key>line</key><integer>457</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>14</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
<key>end</key> <key>end</key>
<array> <array>
<dict> <dict>
<key>line</key><integer>459</integer> <key>line</key><integer>459</integer>
<key>col</key><integer>5</integer> <key>col</key><integer>5</integer>
▲ Show 20 Lines • Show All 3,330 Lines • ▼ Show 20 Lines <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>587</integer> <key>line</key><integer>587</integer>
<key>col</key><integer>11</integer> <key>col</key><integer>11</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>587</integer> <key>line</key><integer>587</integer>
<key>col</key><integer>16</integer> <key>col</key><integer>11</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>extended_message</key> <key>extended_message</key>
<string>Field &apos;b&apos; is equal to 2</string> <string>Field &apos;b&apos; is equal to 2</string>
<key>message</key> <key>message</key>
<string>Field &apos;b&apos; is equal to 2</string> <string>Field &apos;b&apos; is equal to 2</string>
▲ Show 20 Lines • Show All 130 Lines • Show Last 20 Lines

clang/test/Analysis/Inputs/expected-plists/inline-plist.c.plist

Show First 20 Lines • Show All 542 Lines • ▼ Show 20 Lines <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>45</integer> <key>line</key><integer>45</integer>
<key>col</key><integer>7</integer> <key>col</key><integer>7</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>45</integer> <key>line</key><integer>45</integer>
<key>col</key><integer>12</integer> <key>col</key><integer>7</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>extended_message</key> <key>extended_message</key>
<string>&apos;p&apos; is equal to null</string> <string>&apos;p&apos; is equal to null</string>
<key>message</key> <key>message</key>
<string>&apos;p&apos; is equal to null</string> <string>&apos;p&apos; is equal to null</string>
▲ Show 20 Lines • Show All 1,487 Lines • Show Last 20 Lines

clang/test/Analysis/Inputs/expected-plists/objc-radar17039661.m.plist

Show First 20 Lines • Show All 830 Lines • ▼ Show 20 Lines <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>38</integer> <key>line</key><integer>38</integer>
<key>col</key><integer>11</integer> <key>col</key><integer>11</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>38</integer> <key>line</key><integer>38</integer>
<key>col</key><integer>37</integer> <key>col</key><integer>20</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>extended_message</key> <key>extended_message</key>
<string>&apos;traitValue&apos; is equal to &apos;newTraitValue&apos;</string> <string>&apos;traitValue&apos; is equal to &apos;newTraitValue&apos;</string>
<key>message</key> <key>message</key>
<string>&apos;traitValue&apos; is equal to &apos;newTraitValue&apos;</string> <string>&apos;traitValue&apos; is equal to &apos;newTraitValue&apos;</string>
▲ Show 20 Lines • Show All 522 Lines • Show Last 20 Lines

clang/test/Analysis/Inputs/expected-plists/plist-output.m.plist

Show First 20 Lines • Show All 2,507 Lines • ▼ Show 20 Lines <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>96</integer> <key>line</key><integer>96</integer>
<key>col</key><integer>8</integer> <key>col</key><integer>8</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>96</integer> <key>line</key><integer>96</integer>
<key>col</key><integer>13</integer> <key>col</key><integer>8</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>extended_message</key> <key>extended_message</key>
<string>&apos;i&apos; is not equal to 1</string> <string>&apos;i&apos; is not equal to 1</string>
<key>message</key> <key>message</key>
<string>&apos;i&apos; is not equal to 1</string> <string>&apos;i&apos; is not equal to 1</string>
▲ Show 20 Lines • Show All 205 Lines • ▼ Show 20 Lines <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>96</integer> <key>line</key><integer>96</integer>
<key>col</key><integer>8</integer> <key>col</key><integer>8</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>96</integer> <key>line</key><integer>96</integer>
<key>col</key><integer>13</integer> <key>col</key><integer>8</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>extended_message</key> <key>extended_message</key>
<string>&apos;i&apos; is equal to 1</string> <string>&apos;i&apos; is equal to 1</string>
<key>message</key> <key>message</key>
<string>&apos;i&apos; is equal to 1</string> <string>&apos;i&apos; is equal to 1</string>
▲ Show 20 Lines • Show All 802 Lines • ▼ Show 20 Lines <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>127</integer> <key>line</key><integer>127</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>9</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>127</integer> <key>line</key><integer>127</integer>
<key>col</key><integer>14</integer> <key>col</key><integer>9</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>extended_message</key> <key>extended_message</key>
<string>&apos;i&apos; is not equal to 1</string> <string>&apos;i&apos; is not equal to 1</string>
<key>message</key> <key>message</key>
<string>&apos;i&apos; is not equal to 1</string> <string>&apos;i&apos; is not equal to 1</string>
▲ Show 20 Lines • Show All 205 Lines • ▼ Show 20 Lines <array>
<array> <array>
<dict> <dict>
<key>line</key><integer>127</integer> <key>line</key><integer>127</integer>
<key>col</key><integer>9</integer> <key>col</key><integer>9</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
<dict> <dict>
<key>line</key><integer>127</integer> <key>line</key><integer>127</integer>
<key>col</key><integer>14</integer> <key>col</key><integer>9</integer>
<key>file</key><integer>0</integer> <key>file</key><integer>0</integer>
</dict> </dict>
</array> </array>
</array> </array>
<key>extended_message</key> <key>extended_message</key>
<string>&apos;i&apos; is equal to 1</string> <string>&apos;i&apos; is equal to 1</string>
<key>message</key> <key>message</key>
<string>&apos;i&apos; is equal to 1</string> <string>&apos;i&apos; is equal to 1</string>
▲ Show 20 Lines • Show All 2,611 Lines • Show Last 20 Lines