Fix/port assignment3 to abstract interpretation#62

bjjwwang merged 2 commits intoSVF-tools:mainSVF-tools/Software-Security-Analysis:mainfrom

bjjwwang:fix/port-Assignment3-to-AbstractInterpretationbjjwwang/Software-Security-Analysis-2:fix/port-Assignment3-to-AbstractInterpretationCopy head branch name to clipboard