Skip to content

Commit

Permalink
sync with SVF
Browse files Browse the repository at this point in the history
  • Loading branch information
jumormt committed Aug 28, 2024
1 parent 6c1a9b5 commit eee959a
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
4 changes: 2 additions & 2 deletions Assignment-2/Assignment-2.h
Original file line number Diff line number Diff line change
Expand Up @@ -51,7 +51,7 @@ class ICFGTraversal
{
for (const CallICFGNode *cs : pag->getCallSiteSet())
{
const SVFFunction *fun = SVFUtil::getCallee(cs->getCallSite());
const SVFFunction *fun = cs->getCalledFunction();
if (fun->getName() == "source")
{
sources.insert(cs);
Expand All @@ -65,7 +65,7 @@ class ICFGTraversal
{
for (const CallICFGNode *cs : pag->getCallSiteSet())
{
const SVFFunction *fun = SVFUtil::getCallee(cs->getCallSite());
const SVFFunction *fun = cs->getCalledFunction();
if (fun->getName() == "sink")
{
sinks.insert(cs);
Expand Down
4 changes: 2 additions & 2 deletions Assignment-4/Assignment-4.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,7 @@ std::set<const CallICFGNode *>& TaintGraphTraversal::identifySources()
{
for (const CallICFGNode *cs : pag->getCallSiteSet())
{
const SVFFunction *fun = SVFUtil::getCallee(cs->getCallSite());
const SVFFunction *fun = cs->getCalledFunction();
if (checker_source_api.find(fun->getName()) != checker_source_api.end())
{
sources.insert(cs);
Expand All @@ -54,7 +54,7 @@ std::set<const CallICFGNode *>& TaintGraphTraversal::identifySinks()
{
for (const CallICFGNode *cs : pag->getCallSiteSet())
{
const SVFFunction *fun = SVFUtil::getCallee(cs->getCallSite());
const SVFFunction *fun = cs->getCalledFunction();
if (checker_sink_api.find(fun->getName()) != checker_sink_api.end())
{
sinks.insert(cs);
Expand Down

0 comments on commit eee959a

Please sign in to comment.