$///$ TODO: Implement handling of function calls

bool SSE::handleCall$($const CallCFGEdge$*$ calledge$)\{$

return true;

$\}$

$///$ TODO: Implement handling of function returns

bool SSE::handleRet$($const RetCFGEdge$*$ retEdge$)\{$

return true;

$\}$

$///$ TODO: Implement handling of branch statement inside a function

bool SSE::handleBranch$($const IntraCFGEdge$*$ edge$)\{$

return true;

$\}$

$///$ TODO: Implement handling of non$-$branch statement inside a function

$///$ including handling of $(1)$ AddrStmt, $(2)$ CopyStmt, $(3)$ LoadStmt, $(4)$ StoreStmt and $(5)$ GepStmt

bool SSE::handleNonBranch$($const IntraCFGEdge$*$ edge$)\{$

const ICFGNode$*$ dstNode $=$ edge$->$getDstNode$()$;

const ICFGNode$*$ srcNode $=$ edge$->$getSrcNode$()$;

DBOP$($if$(!$SVFUtil::isa$($dstNode$)$ && $!$SVFUtil::isa$($dstNode$))$ std::cout $<<"$

## Analyzing $"<<$ dstNode$->$toString$()<<"$

$")$;

for $($const SVFStmt $*$stmt : dstNode$->$getSVFStmts$())$

$\{$

if $($const AddrStmt $*$addr $=$ SVFUtil::dyn$\_$cast$($stmt$))$

$\{$

$///$ TODO: Implement handling $(1)$ AddrStmt

$\}$

else if $($const CopyStmt $*$copy $=$ SVFUtil::dyn$\_$cast$($stmt$))$

$\{$

$///$ TODO: Implement handling $(2)$ CopyStmt

$\}$

else if $($const LoadStmt $*$load $=$ SVFUtil::dyn$\_$cast$($stmt$))$

$\{$

$///$ TODO: Implement handling $(3)$ LoadStmt

$\}$

else if $($const StoreStmt $*$store $=$ SVFUtil::dyn$\_$cast$($stmt$))$

$\{$

$///$ TODO: Implement handling $(4)$ StoreStmt

$\}$

else if $($const GepStmt $*$gep $=$ SVFUtil::dyn$\_$cast$($stmt$))$

$\{$

$///$ TODO: Implement handling $(5)$ GepStmt

$\}$

else if $($const BinaryOPStmt $*$binary $=$ SVFUtil::dyn$\_$cast$($stmt$))$

$\{$

expr op$0=$ getZ$3$Expr$($binary$->$getOpVarID$(0))$;

expr op$1=$ getZ$3$Expr$($binary$->$getOpVarID$(1))$;

expr res $=$ getZ$3$Expr$($binary$->$getResID$())$;

switch $($binary$->$getOpcode$())$

$\{$

case BinaryOperator::Add:

addToSolver$($res $==$ op$0+$ op$1)$;

break;

case BinaryOperator::Sub:

addToSolver$($res $==$ op$0-$ op$1)$;

break;

case BinaryOperator::Mul:

addToSolver$($res $==$ op$0*$ op$1)$;

break;

case BinaryOperator::SDiv:

addToSolver$($res $==$ op$0/$ op$1)$;

break;

case BinaryOperator::SRem:

addToSolver$($res $==$ op$0\%$ op$1)$;

break;

case BinaryOperator::Xor:

addToSolver$($int$2$bv$(32,$ res$)==($int$2$bv$(32,$ op$0)^$ int$2$bv$(32,$ op$1)))$;

break;

case BinaryOperator::And:

addToSolver$($int$2$bv$(32,$ res$)==($int$2$bv$(32,$ op$0)$ & int$2$bv$(32,$ op$1)))$;

break;

case BinaryOperator::Or:

addToSolver$($int$2$bv$(32,$ res$)==($int$2$bv$(32,$ op$0)|$ int$2$bv$(32,$ op$1)))$;

break;

case BinaryOperator::AShr:

addToSolver$($int$2$bv$(32,$ res$)==$ ashr$($int$2$bv$(32,$ op$0),$ int$2$bv$(32,$ op$1)))$;

break;

case BinaryOperator::Shl:

addToSolver$($int$2$bv$(32,$ res$)==$ shl$($int$2$bv$(32,$ op$0),$ int$2$bv$(32,$ op$1)))$;

break;

default:

assert$($false && "implement this part"$)$;

$\}$

$\}$

else if $($const CmpStmt $*$cmp $=$ SVFUtil::dyn$\_$cast$($stmt$))$

$\{$

expr op$0=$ getZ$3$Expr$($cmp$->$getOpVarID$(0))$;

expr op$1=$ getZ$3$Expr$($cmp$->$getOpVarID$(1))$;

expr res $=$ getZ$3$Expr$($cmp$->$getResID$())$;

auto predicate $=$ cmp$->$getPredicate$()$;

switch $($predicate$)$

$\{$

case CmpInst::ICMP$\_$EQ:

addToSolver$($res $==$ ite$($op$0==$ op$1,$ getCtx$().$int$\_$val$(1),$ getCtx$().$int$\_$val$(0)))$;

break;

case CmpInst::ICMP$\_$NE:

addToSolver$($res $==$ ite$($op$0!=$ op$1,$ getCtx$().$int$\_$val$(1),$ getCtx$().$int$\_$val$(0)))$;

break;

case CmpInst::ICMP$\_$UGT:

case CmpInst::ICMP$\_$SGT:

addToSolver$($res $==$ ite$($op$0>$ op$1,$ getCtx$().$int$\_$val$(1),$ getCtx$().$int$\_$val$(0)))$;

break;

case CmpInst::ICMP$\_$UGE:

case CmpInst::ICMP$\_$SGE:

addToSolver$($res $==$ ite$($op$0>=$ op$1,$ getCtx$().$int$\_$val$(1),$ getCtx$().$int$\_$val$(0)))$;

break;

case CmpInst::ICMP$\_$ULT:

case CmpInst::ICMP$\_$SLT:

addToSolver$($res $==$ ite$($op$0<$ op$1,$ getCtx$().$int$\_$val$(1),$ getCtx$().$int$\_$val$(0)))$;

break;

case CmpInst::ICMP$\_$ULE:

case CmpInst::ICMP$\_$SLE:

addToSolver$($res $==$ ite$($op$0<=$ op$1,$ getCtx$().$int$\_$val$(1),$ getCtx$().$int$\_$val$(0)))$;

break;

default:

assert$($false && "implement this part"$)$;

$\}$

$\}$

else if $($const UnaryOPStmt $*$unary $=$ SVFUtil::dyn$\_$cast$($stmt$))$

$\{$

assert$($false && "implement this part"$)$;