Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

-print-pts will now print the base and offset of a field object #1307

Merged
merged 13 commits into from
Dec 30, 2023
Merged

-print-pts will now print the base and offset of a field object #1307

Changes from all commits
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
8697137
release
kisslune Feb 16, 2023
a7430ba
model-struct
kisslune Feb 18, 2023
499197a
model-struct
kisslune Feb 18, 2023
b9fc254
rename opt
kisslune Feb 18, 2023
7e5f841
update comments
kisslune Feb 19, 2023
f623b03
comments
kisslune Feb 19, 2023
a521b01
comment
kisslune Feb 20, 2023
30d9c5b
comment
kisslune Feb 20, 2023
5afafe9
Merge branch 'master' of https://github.com/SVF-tools/SVF into release
kisslune Feb 21, 2023
c1a05a4
Merge branch 'master' of https://github.com/SVF-tools/SVF into release
kisslune Dec 22, 2023
8fcae2b
Merge branch 'master' of https://github.com/SVF-tools/SVF into release
kisslune Dec 22, 2023
b07d098
Merge branch 'master' of https://github.com/SVF-tools/SVF into release
kisslune Dec 30, 2023
35b63c6
optimize pts print
kisslune Dec 30, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 8 additions & 3 deletions svf/lib/WPA/Andersen.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -897,7 +897,7 @@

if (pts.empty())
{
outs() << "\t\tPointsTo: {empty}\n\n";
outs() << "\t\tPointsTo: {empty}\n";

Check warning on line 900 in svf/lib/WPA/Andersen.cpp

View check run for this annotation

Codecov / codecov/patch

svf/lib/WPA/Andersen.cpp#L900 

Added line #L900 was not covered by tests
}
else
{
Expand All @@ -910,8 +910,13 @@
line.insert(*it);
}
for (multiset<u32_t>::const_iterator it = line.begin(); it != line.end(); ++it)
outs() << *it << " ";
outs() << "}\n\n";
{
if (auto gepNode = SVFUtil::dyn_cast<GepObjVar>(pag->getGNode(*it)))
outs() << gepNode->getBaseNode() << "_" << gepNode->getConstantFieldIdx() << " ";

Check warning on line 915 in svf/lib/WPA/Andersen.cpp

View check run for this annotation

Codecov / codecov/patch

svf/lib/WPA/Andersen.cpp#L914-L915 

Added lines #L914 - L915 were not covered by tests
else
outs() << *it << " ";

Check warning on line 917 in svf/lib/WPA/Andersen.cpp

View check run for this annotation

Codecov / codecov/patch

svf/lib/WPA/Andersen.cpp#L917 

Added line #L917 was not covered by tests
}
outs() << "}\n";

Check warning on line 919 in svf/lib/WPA/Andersen.cpp

View check run for this annotation

Codecov / codecov/patch

svf/lib/WPA/Andersen.cpp#L919 

Added line #L919 was not covered by tests
}
}
}
Expand Down
Loading