#include "Assignment$-2.$h$"$

using namespace SVF;

using namespace SVFUtil;

void ICFGTraversal::dfs$($const ICFGEdge $*$src$,$ const ICFGNode $*$dst$)\{$

auto curItem $=$ std::make$\_$pair$($src$,$ callstack$)$;

visited.insert$($curItem$)$;

path.push$\_$back$($src$)$;

if $($src$->$getDstNode$()==$ dst$)\{$

printICFGPath$()$;

$\}$

for $($const ICFGEdge$*$ edge : src$->$getDstNode$()->$getOutEdges$())\{$

auto newItem $=$ std::make$\_$pair$($edge$,$ callstack$)$;

if $($visited$.$find$($newItem$)==$ visited.end$())\{$

if $($edge$->$isIntraCFGEdge$())\{$

dfs$($edge$,$ dst$)$;

$\}$ else if $($edge$->$isCallCFGEdge$())\{$

callstack.push$\_$back$($edge$->$getSrcNode$())$;

dfs$($edge$,$ dst$)$;

callstack.pop$\_$back$()$;

$\}$ else if $($edge$->$isRetCFGEdge$())\{$

if $(!$callstack.empty$()$ && callstack.back$()==$ edge$->$getCallSite$())\{$

callstack.pop$\_$back$()$;

dfs$($edge$,$ dst$)$;

$\}$ else if $($callstack$.$empty$())\{$

dfs$($edge$,$ dst$)$;

$\}$

$\}$

$\}$

$\}$

visited.erase$($curItem$)$;

path.pop$\_$back$()$;

$\}$

void ICFGTraversal::printICFGPath$()\{$

std::string pathStr $=$ "START: $"$;

for $($const auto& edge : path$)\{$

pathStr $+=$ std::to$\_$string$($edge$->$getSrcNode$()->$getId$())+"->"$;

$\}$

pathStr $+=$ std::to$\_$string$($path$.$back$()->$getDstNode$()->$getId$())+"$ END";

paths.insert$($pathStr$)$;

std::cout $$ pathStr $$ std::endl;

$\}$

void ICFGTraversal::analyse$()\{$

std::set sources;

std::set sinks;

for $($const ICFGNode $*$src : identifySource$($sources$))\{$

for $($const ICFGNode $*$sink: identifySink$($sinks$))\{$

const IntraCFGEdge$*$ startEdge $=$ new IntraCFGEdge$($nullptr$,$const$\_$cast$($src$))$;

handleIntra$($startEdge$)$;

dfs$($startEdge$,$ sink$)$;

resetSolver$()$;

$\}$

$\}$

$\}$#ifndef SVF$\_$ICFG$\_$TRAVERSAL$\_$H

#define SVF$\_$ICFG$\_$TRAVERSAL$\_$H

#include $"$SVF$-$LLVM$/$SVFIRBuilder$.$h$"$

namespace SVF$\{$

class ICFGTraversal

$\{$

public:

typedef std::vector CallStack;

ICFGTraversal$($SVFIR $*$s$,$ ICFG $*$i$)$ : svfir$($s$),$ icfg$($i$)$

$\{$

$\}$

std::set &identifySource$($std::set &container$)$

$\{$

container.insert$($icfg$->$getGlobalICFGNode$())$;

return container;

$\}$

std::set &identifySink$($std::set &container$)$

$\{$

for $($const CallICFGNode $*$cs : svfir$->$getCallSiteSet$())$

$\{$

const SVFFunction $*$fun $=$ SVFUtil::getCallee$($cs$->$getCallSite$())$;

if $($isAssertFun$($fun$))$

container.insert$($cs$)$;

$\}$

return container;

$\}$

inline bool isAssertFun$($const SVFFunction $*$fun$)$ const$\{$

return $($fun $!=$ NULL && $($fun$->$getName$()==$ "assert" $||$ fun$->$getName$()=="$svf$\_$assert" $||$fun$->$getName$()==$ "sink" $))$;

$\}$

virtual void resetSolver$()\{$

visited.clear$()$;

$\}$

virtual void printICFGPath$()$;

void dfs$($const ICFGEdge $*$src$,$ const ICFGNode $*$dst$)$;

void analyse$()$;

virtual bool handleCall$($const CallCFGEdge$*$ call$)\{$ return true; $\}$

virtual bool handleRet$($const RetCFGEdge$*$ ret$)\{$ return true; $\}$

virtual bool handleIntra$($const IntraCFGEdge$*$ edge$)\{$ return true; $\}$

Set getPaths$()\{$

return paths;

$\}$

private:

ICFG $*$icfg;

Set paths;

protected:

SVFIR $*$svfir;

Set $>$ visited;

CallStack callstack;

std::vector path;

$\}$;

$\}$

#endif $//$SVF$\_$EX$\_$SSE$\_$H$.$ I have two problems with my code. Type Mismatch in push$\_$back: The first error is due to a type mismatch in the push$\_$back method call. Your callstack vector is defined to hold pointers of type const SVF::SVFInstruction$*,$ but you're trying to push a pointer of type SVF::GenericEdge::NodeType$*($which is equivalent to SVF::ICFGNode$*).$ Since SVF::ICFGNode$*$ is not implicitly convertible to const SVF::SVFInstruction$*,$ the compiler raises an error. You need to ensure that the types are compatible or find another way to track the call stack that doesn't involve pushing incompatible types.

Missing getCallSite Method: The second error indicates that the ICFGEdge class doesn't have a member function named getCallSite. This could be due to a few reasons: maybe the method doesn't exist in the version of the SVF framework you're using, or it might be a method of a subclass of ICFGEdge, and you're trying to call it on an ICFGEdge object. Please fix it for me$.$