svf-tools 1.0.500 → 1.0.503

package/SVF-doxygen/html/html/search/functions_f.js

@@ -12,6 +12,7 @@ var searchData=
   ['parse_5fobject',['parse_object',['../cJSON_8cpp.html#a1472ac5d1becd7d9a5e558b4c053b06a',1,'cJSON.cpp']]],
   ['parse_5fstring',['parse_string',['../cJSON_8cpp.html#adf47b520af96d1bbefa2390016fbdb51',1,'cJSON.cpp']]],
   ['parse_5fvalue',['parse_value',['../cJSON_8cpp.html#afd5c0b7089e4de2fc9b2af599d4b596f',1,'cJSON.cpp']]],
+  ['parsejson',['parseJson',['../ExtAPI_8cpp.html#a3957468a4d85cef02d8be1f82bcdfc69',1,'ExtAPI.cpp']]],
   ['parsenode',['parseNode',['../classSVF_1_1SVFIRBuilder.html#a1ad4f6ac06c1f3523661e7b2a0be09b5',1,'SVF::SVFIRBuilder']]],
   ['parseproductionsstring',['parseProductionsString',['../classSVF_1_1GrammarBuilder.html#a5a34166b4b1ce1dcc985f4619f4a2bbc',1,'SVF::GrammarBuilder']]],
   ['parseselfcyclehandleoption',['parseSelfCycleHandleOption',['../classSVF_1_1SVFGOPT.html#ac3b14bf191cadb832e3a34affd7e569d',1,'SVF::SVFGOPT']]],
@@ -43,7 +44,7 @@ var searchData=
   ['plainmap',['plainMap',['../classSVF_1_1FlowSensitive.html#a5a8688102f3675cf414b01dc2ae51c6b',1,'SVF::FlowSensitive']]],
   ['pmx',['PMX',['../cuddInt_8c.html#a6e6108316d27c8e3b393f65362e5e37b',1,'cuddInt.c']]],
   ['pointeranalysis',['PointerAnalysis',['../classSVF_1_1PointerAnalysis.html#a14e2a209cb594f91a24ef09b12f82f3f',1,'SVF::PointerAnalysis']]],
-  ['pointsto',['PointsTo',['../classSVF_1_1PointsTo.html#a05aa807f21f311eb50ff11dde98b8d22',1,'SVF::PointsTo::PointsTo(void)'],['../classSVF_1_1PointsTo.html#acef2d3e41263aef641c3411e28ad445c',1,'SVF::PointsTo::PointsTo(const PointsTo &pt)'],['../classSVF_1_1PointsTo.html#a5ecef616428a70e8e7726406dfb43544',1,'SVF::PointsTo::PointsTo(PointsTo &&pt)'],['../classSVF_1_1CondPointsToSet.html#a63f09ca69e00b317de29af6a6a12daac',1,'SVF::CondPointsToSet::pointsTo(void)'],['../classSVF_1_1CondPointsToSet.html#ada240bc77570174a1d17ac097583fa78',1,'SVF::CondPointsToSet::pointsTo(void) const'],['../classSVF_1_1CondPointsToSet.html#a03311162626acf16ad05b7b93248a92b',1,'SVF::CondPointsToSet::pointsTo(Cond cond) const'],['../classSVF_1_1CondPointsToSet.html#a8775ef2c073af6c8055c3f5b0035288f',1,'SVF::CondPointsToSet::pointsTo(Cond cond)']]],
+  ['pointsto',['pointsTo',['../classSVF_1_1CondPointsToSet.html#a63f09ca69e00b317de29af6a6a12daac',1,'SVF::CondPointsToSet::pointsTo(void)'],['../classSVF_1_1CondPointsToSet.html#ada240bc77570174a1d17ac097583fa78',1,'SVF::CondPointsToSet::pointsTo(void) const'],['../classSVF_1_1CondPointsToSet.html#a03311162626acf16ad05b7b93248a92b',1,'SVF::CondPointsToSet::pointsTo(Cond cond) const'],['../classSVF_1_1CondPointsToSet.html#a8775ef2c073af6c8055c3f5b0035288f',1,'SVF::CondPointsToSet::pointsTo(Cond cond)'],['../classSVF_1_1PointsTo.html#a05aa807f21f311eb50ff11dde98b8d22',1,'SVF::PointsTo::PointsTo(void)'],['../classSVF_1_1PointsTo.html#acef2d3e41263aef641c3411e28ad445c',1,'SVF::PointsTo::PointsTo(const PointsTo &pt)'],['../classSVF_1_1PointsTo.html#a5ecef616428a70e8e7726406dfb43544',1,'SVF::PointsTo::PointsTo(PointsTo &&pt)']]],
   ['pointstoiterator',['PointsToIterator',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a3974dee7680da3a43b58932766e77a16',1,'SVF::PointsTo::PointsToIterator::PointsToIterator(void)=delete'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a19f371ccb5b1c84fb4adfd5b0c8a3eec',1,'SVF::PointsTo::PointsToIterator::PointsToIterator(const PointsToIterator &pt)'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#abe128c47fb16093756195f789e5f68d5',1,'SVF::PointsTo::PointsToIterator::PointsToIterator(PointsToIterator &&pt)'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ad9efcd9fb0c8201b9166a1560d06a71b',1,'SVF::PointsTo::PointsToIterator::PointsToIterator(const PointsTo *pt, bool end=false)']]],
   ['pop',['pop',['../classSVF_1_1CFLFIFOWorkList.html#a8ccf884ed6bc0d172f3c2999717f9cff',1,'SVF::CFLFIFOWorkList::pop()'],['../classSVF_1_1List.html#a6e85bd3d8b23ccc7752a72e2a5b171ab',1,'SVF::List::pop()'],['../classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6',1,'SVF::FIFOWorkList::pop()'],['../classSVF_1_1FILOWorkList.html#a3fd9acb6d09fd142bfd402fdf8cac93b',1,'SVF::FILOWorkList::pop()']]],
   ['popen',['popen',['../util_8h.html#a7a377e01cff8d8243569ddc8bfef959b',1,'util.h']]],

package/SVF-doxygen/html/html/search/variables_15.js

@@ -7,7 +7,7 @@ var searchData=
   ['uniqueunions',['uniqueUnions',['../classSVF_1_1PersistentPointsToCache.html#aacebdd87b1dd45250391d035b032f9d4',1,'SVF::PersistentPointsToCache']]],
   ['univ',['univ',['../structDdManager.html#ab21d56989b9a13502aeb84228de45df0',1,'DdManager']]],
   ['unlocksites',['unlocksites',['../classSVF_1_1LockAnalysis.html#aec459af1d1624df55ffc95cd75655780',1,'SVF::LockAnalysis']]],
-  ['updatecallgraphtime',['UpdateCallGraphTime',['../classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894',1,'SVF::PTAStat::UpdateCallGraphTime()'],['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive::updateCallGraphTime()']]],
+  ['updatecallgraphtime',['updateCallGraphTime',['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive::updateCallGraphTime()'],['../classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894',1,'SVF::PTAStat::UpdateCallGraphTime()']]],
   ['updatetime',['updateTime',['../classSVF_1_1FlowSensitive.html#af5a94d14096ae2bbc47b3b3b9f723226',1,'SVF::FlowSensitive']]],
   ['usedregs',['usedRegs',['../classSVF_1_1MemSSA.html#acf840b71b67cabe831f01f2d358f27fa',1,'SVF::MemSSA']]],
   ['usepcg',['UsePCG',['../classSVF_1_1Options.html#af2f66307e1d51947676f622c98ef0762',1,'SVF::Options']]],

package/SVF-doxygen/html/html/search/variables_d.js

@@ -38,7 +38,7 @@ var searchData=
   ['maxpointstosetsize',['MaxPointsToSetSize',['../classSVF_1_1PTAStat.html#af2b45aab2eee96a1cabba3025e4375a2',1,'SVF::PTAStat::MaxPointsToSetSize()'],['../classSVF_1_1AndersenBase.html#abd73e930450b7c605f478672bdf9bdae',1,'SVF::AndersenBase::MaxPointsToSetSize()']]],
   ['maxreorderings',['maxReorderings',['../structDdManager.html#a61170edf6d08bb1c4bacab68823a825d',1,'DdManager']]],
   ['maxsccsize',['maxSCCSize',['../classSVF_1_1FlowSensitive.html#aa3d4703756a6297ab5c0756172024fe4',1,'SVF::FlowSensitive']]],
-  ['maxsize',['maxSize',['../structDdManager.html#aa4d0701dc4e6f11b30085ae30c09fab6',1,'DdManager::maxSize()'],['../structDdHashTable.html#aba376a6d310dcead9f74cfc459f4a248',1,'DdHashTable::maxsize()'],['../structDdLevelQueue.html#acb7146e9f3dd73a052340c0e4010e6b6',1,'DdLevelQueue::maxsize()']]],
+  ['maxsize',['maxsize',['../structDdHashTable.html#aba376a6d310dcead9f74cfc459f4a248',1,'DdHashTable::maxsize()'],['../structDdLevelQueue.html#acb7146e9f3dd73a052340c0e4010e6b6',1,'DdLevelQueue::maxsize()'],['../structDdManager.html#aa4d0701dc4e6f11b30085ae30c09fab6',1,'DdManager::maxSize()']]],
   ['maxsizez',['maxSizeZ',['../structDdManager.html#a4a0b8f95d02bc99557fb55140e9b0963',1,'DdManager']]],
   ['maxslots',['maxslots',['../structDdLocalCache.html#af4379636b29a9bfe4a55708ac637545a',1,'DdLocalCache']]],
   ['maxstepinwrapper',['MaxStepInWrapper',['../classSVF_1_1Options.html#a0b82f16ee0c7e6566a6ae20662525e84',1,'SVF::Options']]],

package/SVF-doxygen/html/html/search/variables_e.js

@@ -48,7 +48,7 @@ var searchData=
   ['numgtintregions',['NumGtIntRegions',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad7cb36a1f0f67864fb8290e9dfd7b639',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['numnodes',['numNodes',['../classSVF_1_1NodeIDAllocator.html#a8e76e0da58f0a5bdbd8118ac419cfa62',1,'SVF::NodeIDAllocator']]],
   ['numnontrivialregionobjects',['NumNonTrivialRegionObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1bf9461c717e8dabaee6a57f3d76d61f',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['numobjects',['numObjects',['../classSVF_1_1NodeIDAllocator.html#a190c729a3f3f622f82cee4917946b50f',1,'SVF::NodeIDAllocator::numObjects()'],['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afa74c5ccd22bebe0b76db33066d8b498',1,'SVF::NodeIDAllocator::Clusterer::NumObjects()']]],
+  ['numobjects',['NumObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afa74c5ccd22bebe0b76db33066d8b498',1,'SVF::NodeIDAllocator::Clusterer::NumObjects()'],['../classSVF_1_1NodeIDAllocator.html#a190c729a3f3f622f82cee4917946b50f',1,'SVF::NodeIDAllocator::numObjects()']]],
   ['numofactualin',['numOfActualIn',['../classSVF_1_1SVFGStat.html#a5365744d2ec3594e2255d274f7256569',1,'SVF::SVFGStat']]],
   ['numofactualout',['numOfActualOut',['../classSVF_1_1SVFGStat.html#a122555f5c4b9746cc2b7f38c7cd6b505',1,'SVF::SVFGStat']]],
   ['numofactualparam',['numOfActualParam',['../classSVF_1_1SVFGStat.html#a0494c59483520b57acdca95952c93d76',1,'SVF::SVFGStat']]],

package/include/Util/ExtAPI.h

@@ -224,8 +224,10 @@ private:
     // Store specifications of external functions in ExtAPI.json file
     static cJSON *root;
 
+    ExtAPI() = default;
+
 public:
-    static ExtAPI *getExtAPI();
+    static ExtAPI *getExtAPI(const std::string & = "");
 
     static void destory();
 
@@ -240,7 +242,7 @@ public:
     std::vector<std::string> get_opArgs(const cJSON *value);
 
     // Get specifications of external functions in ExtAPI.json file
-    cJSON *get_FunJson(const std::string funName);
+    cJSON *get_FunJson(const std::string &funName);
 
     // Get property of the operation, e.g. "EFT_A1R_A0R"
     extType get_type(const SVF::SVFFunction *callee);

package/lib/SVF-FE/SVFIRBuilder.cpp

@@ -262,12 +262,12 @@ bool SVFIRBuilder::computeGepOffset(const User *V, LocationSet& ls)
 
         // if Options::ModelConsts is disabled. We will treat whole array as one,
         // but we can distinguish different field of an array of struct, e.g. s[1].f1 is differet from s[0].f2
-        if(SVFUtil::isa<ArrayType>(gepTy))
+        if(const ArrayType* arrTy = SVFUtil::dyn_cast<ArrayType>(gepTy))
         {
-            if(!op)
+            if(!op || (arrTy->getArrayNumElements() <= (u32_t)op->getSExtValue()))
                 continue;
             s32_t idx = op->getSExtValue();
-            u32_t offset = SymbolTableInfo::SymbolInfo()->getFlattenedElemIdx(gepTy, idx);
+            u32_t offset = SymbolTableInfo::SymbolInfo()->getFlattenedElemIdx(arrTy, idx);
             ls.setFldIdx(ls.accumulateConstantFieldIdx() + offset);
         }
         else if (const StructType *ST = SVFUtil::dyn_cast<StructType>(gepTy))
@@ -513,7 +513,7 @@ void SVFIRBuilder::InitialGlobal(const GlobalVariable *gvar, Constant *C,
             }
             else
             {
-                assert(SVFUtil::isa<ConstantAggregateZero>(data) && "Single value type data should have been handled!");
+                assert((SVFUtil::isa<ConstantAggregateZero>(data) || SVFUtil::isa<UndefValue>(data)) && "Single value type data should have been handled!");
             }
         }
     }

package/lib/SVF-FE/SymbolTableBuilder.cpp

@@ -492,7 +492,7 @@ void SymbolTableBuilder::handleGlobalInitializerCE(const Constant *C)
             }
             else
             {
-                assert(SVFUtil::isa<ConstantAggregateZero>(data) && "Single value type data should have been handled!");
+                assert((SVFUtil::isa<ConstantAggregateZero>(data) || SVFUtil::isa<UndefValue>(data)) && "Single value type data should have been handled!");
             }
         }
     }

package/lib/Util/ExtAPI.cpp

@@ -18,59 +18,8 @@ using namespace SVF;
 ExtAPI *ExtAPI::extOp = nullptr;
 cJSON *ExtAPI::root = nullptr;
 
-ExtAPI *ExtAPI::getExtAPI()
-{
-    if (extOp == nullptr)
-    {
-        extOp = new ExtAPI();
-    }
-    return extOp;
-}
-
-void ExtAPI::destory()
-{
-    if (extOp != nullptr)
-    {
-        delete extOp;
-        extOp = nullptr;
-    }
-    if (root != nullptr)
-    {
-        cJSON_Delete(root);
-        root = nullptr;
-    }
-}
-
-// Get the corresponding name in ext_t, e.g. "EXT_ADDR" in {"addr", EXT_ADDR},
-ExtAPI::extf_t ExtAPI::get_opName(std::string s)
-{
-    std::map<std::string, extf_t>::iterator pos = op_pair.find(s);
-    if (pos != op_pair.end())
-    {
-        return pos->second;
-    }
-    else
-    {
-        return EXT_OTHER;
-    }
-}
-
-// Get external function name, e.g "memcpy"
-std::string ExtAPI::get_name(const SVFFunction *F)
-{
-    assert(F);
-    std::string funName = F->getName();
-    if (F->isIntrinsic())
-    {
-        unsigned start = funName.find('.');
-        unsigned end = funName.substr(start + 1).find('.');
-        funName = "llvm." + funName.substr(start + 1, end);
-    }
-    return funName;
-}
-
 // Get environment variables $SVF_DIR and "npm root" through popen() method
-std::string GetStdoutFromCommand(std::string command)
+static std::string GetStdoutFromCommand(const std::string &command)
 {
     char buffer[128];
     std::string result = "";
@@ -94,13 +43,14 @@ std::string GetStdoutFromCommand(std::string command)
 }
 
 // Get ExtAPI.json file
-FILE *getJsonFile(std::string path)
+static std::string getJsonFile(const std::string &path)
 {
     std::string jsonFilePath = GetStdoutFromCommand(path);
     if (path.compare("npm root") == 0)
     {
         int os_flag = 1;
-        // SVF installed via npm needs to determine the type of operating system, otherwise the ExtAPI.json path may not be found
+        // SVF installed via npm needs to determine the type of operating system,
+        // otherwise the ExtAPI.json path may not be found
         // Linux os
 #ifdef linux
         os_flag = 0;
@@ -113,65 +63,136 @@ FILE *getJsonFile(std::string path)
         }
     }
     jsonFilePath.append(EXTAPI_JSON_PATH);
-    FILE *file = nullptr;
-    file = fopen(jsonFilePath.c_str(), "r");
-    return file;
+    return jsonFilePath;
 }
 
-// Get specifications of external functions in ExtAPI.json file
-cJSON *ExtAPI::get_FunJson(const std::string funName)
+static cJSON *parseJson(const std::string &path, off_t fileSize)
 {
+    FILE *file = fopen(path.c_str(), "r");
+    if (!file)
+    {
+        return nullptr;
+    }
+
+    // allocate memory size matched with file size
+    char *jsonStr = (char *)calloc(fileSize + 1, sizeof(char));
+
+    // read json string from file
+    u32_t size = fread(jsonStr, sizeof(char), fileSize, file);
+    if (size == 0)
+    {
+        SVFUtil::errs() << SVFUtil::errMsg("\t Wrong ExtAPI.json path!! ") << "The current ExtAPI.json path is: " << path << "\n";
+        assert(false && "Read ExtAPI.json file fails!");
+        return nullptr;
+    }
+    fclose(file);
+
+    // convert json string to json pointer variable
+    cJSON *root = cJSON_Parse(jsonStr);
     if (!root)
     {
-        // Three ways to get ExtAPI.json path
-        // 1. default path(get ExtAPI.json path from Util/config.h)
-        // 2. from $SVF_DIR
-        // 3. from "npm root"(If SVF is installed via npm)
-        std::string jsonFilePath = PROJECT_PATH;
-        jsonFilePath.append(EXTAPI_JSON_PATH);
-        // open file
-        FILE *file = nullptr;
-        file = fopen(jsonFilePath.c_str(), "r");
-        if (file == nullptr)
+        free(jsonStr);
+        return nullptr;
+    }
+    free(jsonStr);
+    return root;
+}
+
+ExtAPI *ExtAPI::getExtAPI(const std::string &path)
+{
+    if (extOp == nullptr)
+    {
+        extOp = new ExtAPI;
+    }
+    if (root == nullptr)
+    {
+        struct stat statbuf;
+
+        // Four ways to get ExtAPI.json path
+        // 1. Explicit path provided
+        // 2. default path (get ExtAPI.json path from Util/config.h)
+        // 3. from $SVF_DIR
+        // 4. from "npm root"(If SVF is installed via npm)
+
+        std::string jsonFilePath = path;
+        if (!jsonFilePath.empty() && !stat(jsonFilePath.c_str(), &statbuf))
         {
-            file = getJsonFile("$SVF_DIR");
-            if (file == nullptr)
-            {
-                file = getJsonFile("npm root");
-                if (file == nullptr)
-                {
-                    assert(false && "Open ExtAPI.json file fails!");
-                    return nullptr;
-                }
-            }
+            root = parseJson(jsonFilePath, statbuf.st_size);
+            return extOp;
         }
-        // get file size
-        struct stat statbuf;
-        stat(jsonFilePath.c_str(), &statbuf);
-        u32_t fileSize = statbuf.st_size;
 
-        // allocate memory size matched with file size
-        char *jsonStr = (char *)malloc(sizeof(char) * fileSize + 1);
-        memset(jsonStr, 0, fileSize + 1);
+        jsonFilePath = PROJECT_PATH + std::string(EXTAPI_JSON_PATH);
+        if (!stat(jsonFilePath.c_str(), &statbuf))
+        {
+            root = parseJson(jsonFilePath, statbuf.st_size);
+            return extOp;
+        }
 
-        // read json string from file
-        u32_t size = fread(jsonStr, sizeof(char), fileSize, file);
-        if (size == 0)
+        jsonFilePath = getJsonFile("$SVF_DIR");
+        if (!stat(jsonFilePath.c_str(), &statbuf))
         {
-            assert(false && "Read ExtAPI.json file fails!");
-            return nullptr;
+            root = parseJson(jsonFilePath, statbuf.st_size);
+            return extOp;
         }
-        fclose(file);
 
-        // convert json string to json pointer variable
-        root = cJSON_Parse(jsonStr);
-        if (!root)
+        jsonFilePath = getJsonFile("npm root");
+        if (!stat(jsonFilePath.c_str(), &statbuf))
         {
-            free(jsonStr);
-            return nullptr;
+            root = parseJson(jsonFilePath, statbuf.st_size);
+            return extOp;
         }
-        free(jsonStr);
+
+        assert(false && "Open ExtAPI.json file fails!");
+    }
+    return extOp;
+}
+
+void ExtAPI::destory()
+{
+    if (extOp != nullptr)
+    {
+        delete extOp;
+        extOp = nullptr;
+    }
+    if (root != nullptr)
+    {
+        cJSON_Delete(root);
+        root = nullptr;
+    }
+}
+
+// Get the corresponding name in ext_t, e.g. "EXT_ADDR" in {"addr", EXT_ADDR},
+ExtAPI::extf_t ExtAPI::get_opName(std::string s)
+{
+    std::map<std::string, extf_t>::iterator pos = op_pair.find(s);
+    if (pos != op_pair.end())
+    {
+        return pos->second;
+    }
+    else
+    {
+        return EXT_OTHER;
+    }
+}
+
+// Get external function name, e.g "memcpy"
+std::string ExtAPI::get_name(const SVFFunction *F)
+{
+    assert(F);
+    std::string funName = F->getName();
+    if (F->isIntrinsic())
+    {
+        unsigned start = funName.find('.');
+        unsigned end = funName.substr(start + 1).find('.');
+        funName = "llvm." + funName.substr(start + 1, end);
     }
+    return funName;
+}
+
+// Get specifications of external functions in ExtAPI.json file
+cJSON *ExtAPI::get_FunJson(const std::string &funName)
+{
+    assert(root && "JSON not loaded");
     return cJSON_GetObjectItemCaseSensitive(root, funName.c_str());
 }
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-tools",
-  "version": "1.0.500",
+  "version": "1.0.503",
   "description": "* <b>[TypeClone](https://github.com/SVF-tools/SVF/wiki/TypeClone) published in our [ECOOP paper](https://yuleisui.github.io/publications/ecoop20.pdf) is now available in SVF </b> * <b>SVF now uses a single script for its build. Just type [`source ./build.sh`](https://github.com/SVF-tools/SVF/blob/master/build.sh) in your terminal, that's it!</b> * <b>SVF now supports LLVM-10.0.0! </b> * <b>We thank [bsauce](https://github.com/bsauce) for writing a user manual of SVF ([link1](https://www.jianshu.com/p/068a08ec749c) and [link2](https://www.jianshu.com/p/777c30d4240e)) in Chinese </b> * <b>SVF now supports LLVM-9.0.0 (Thank [Byoungyoung Lee](https://github.com/SVF-tools/SVF/issues/142) for his help!). </b> * <b>SVF now supports a set of [field-sensitive pointer analyses](https://yuleisui.github.io/publications/sas2019a.pdf). </b> * <b>[Use SVF as an external lib](https://github.com/SVF-tools/SVF/wiki/Using-SVF-as-a-lib-in-your-own-tool) for your own project (Contributed by [Hongxu Chen](https://github.com/HongxuChen)). </b> * <b>SVF now supports LLVM-7.0.0. </b> * <b>SVF now supports Docker. [Try SVF in Docker](https://github.com/SVF-tools/SVF/wiki/Try-SVF-in-Docker)! </b> * <b>SVF now supports [LLVM-6.0.0](https://github.com/svf-tools/SVF/pull/38) (Contributed by [Jack Anthony](https://github.com/jackanth)). </b> * <b>SVF now supports [LLVM-4.0.0](https://github.com/svf-tools/SVF/pull/23) (Contributed by Jared Carlson. Thank [Jared](https://github.com/jcarlson23) and [Will](https://github.com/dtzWill) for their in-depth [discussions](https://github.com/svf-tools/SVF/pull/18) about updating SVF!) </b> * <b>SVF now supports analysis for C++ programs.</b> <br />",
   "main": "index.js",
   "scripts": {