sync with SVF

.gitignore

@@ -0,0 +1,39 @@
+Release*/
+Debug*/
+build/
+html/
+Test-Suite
+Release+Asserts/
+Debug+Asserts/
+autoconf/
+tests/result/
+doxygen/
+!.github/
+!.vscode/
+!.config.in
+!.config.cmake.in
+!.gitignore
+*~
+*.o
+*.ll
+!Assignment-1/Tests/testcases/*/*.ll
+!Assignment-2/Tests/testcases/*.ll
+*.dot
+*.out
+*.bc
+*.opt
+*.log
+*.status
+*.obj
+*.svf
+*.cmake
+MakeFile
+CMakeFiles
+CMakeCache.txt
+*.tcl
+bin
+lib
+Testing
+*.sh
+cmake-build-debug/
+compile_commands.json

Assignment-2/Assignment-2.h

@@ -54,7 +54,7 @@ class ICFGTraversal
     {
         for (const CallICFGNode *cs : svfir->getCallSiteSet())
         {
-            const SVFFunction *fun = SVFUtil::getCallee(cs->getCallSite());
+            const SVFFunction *fun = cs->getCalledFunction();
             if (isAssertFun(fun))
                 container.insert(cs);
         }

Assignment-4/Assignment-4.cpp

@@ -207,7 +207,7 @@ bool SSE::translatePath(std::vector<const ICFGEdge *> &path){
 
 bool SSE::assertchecking(const ICFGNode* inode){
     const CallICFGNode* callnode = SVFUtil::cast<CallICFGNode>(inode);
-    assert(callnode && isAssertFun(getCallee(callnode->getCallSite()))  && "last node is not an assert call?");
+    assert(callnode && isAssertFun(callnode->getCalledFunction())  && "last node is not an assert call?");
 
     DBOP(std::cout << "\n## Analyzing "<< callnode->toString() << "\n");
     expr arg0 = getZ3Expr(callnode->getActualParms().at(0)->getId());