Jasper Yu
says to
YSITD
你不覺得這比較適合symbolic execution嗎