svf-tools 1.0.615 → 1.0.617

package/lib/MemoryModel/PointerAnalysisImpl.cpp

@@ -31,7 +31,6 @@
 
 #include "MemoryModel/PointerAnalysisImpl.h"
 #include "Util/Options.h"
-#include "SVF-LLVM/IRAnnotator.h"
 #include <fstream>
 #include <sstream>
 
@@ -159,6 +158,42 @@ void BVDataPTAImpl::remapPointsToSets(void)
     getPTDataTy()->remapAllPts();
 }
 
+void BVDataPTAImpl::writeObjVarToFile(const string& filename)
+{
+    outs() << "Storing ObjVar to '" << filename << "'...";
+    error_code err;
+    std::fstream f(filename.c_str(), std::ios_base::out);
+    if (!f.good())
+    {
+        outs() << "  error opening file for writing!\n";
+        return;
+    }
+
+    // Write BaseNodes insensitivity to file
+    NodeBS NodeIDs;
+    for (auto it = pag->begin(), ie = pag->end(); it != ie; ++it)
+    {
+        PAGNode* pagNode = it->second;
+        if (!isa<ObjVar>(pagNode)) continue;
+        NodeID n = pag->getBaseObjVar(it->first);
+        if (NodeIDs.test(n)) continue;
+        f << n << " ";
+        f << isFieldInsensitive(n) << "\n";
+        NodeIDs.set(n);
+    }
+
+    f << "------\n";
+
+    // Job finish and close file
+    f.close();
+    if (f.good())
+    {
+        outs() << "\n";
+        return;
+    }
+
+}
+
 /*!
  * Store pointer analysis result into a file.
  * It includes the points-to relations, and all SVFIR nodes including those
@@ -166,12 +201,11 @@ void BVDataPTAImpl::remapPointsToSets(void)
  */
 void BVDataPTAImpl::writeToFile(const string& filename)
 {
-    writeToModule();
 
     outs() << "Storing pointer analysis results to '" << filename << "'...";
 
     error_code err;
-    std::fstream f(filename.c_str(), std::ios_base::out);
+    std::fstream f(filename.c_str(), std::ios_base::app);
     if (!f.good())
     {
         outs() << "  error opening file for writing!\n";
@@ -200,20 +234,8 @@ void BVDataPTAImpl::writeToFile(const string& filename)
         f << "}\n";
     }
 
-    // Write BaseNodes insensitivity to file
-    NodeBS NodeIDs;
-    for (auto it = pag->begin(), ie = pag->end(); it != ie; ++it)
-    {
-        PAGNode* pagNode = it->second;
-        if (!isa<ObjVar>(pagNode)) continue;
-        NodeID n = pag->getBaseObjVar(it->first);
-        if (NodeIDs.test(n)) continue;
-        f << n << " ";
-        f << isFieldInsensitive(n) << "\n";
-        NodeIDs.set(n);
-    }
-
     f << "------\n";
+
     // Write GepPAGNodes to file
     for (auto it = pag->begin(), ie = pag->end(); it != ie; ++it)
     {
@@ -226,6 +248,21 @@ void BVDataPTAImpl::writeToFile(const string& filename)
         }
     }
 
+    f << "------\n";
+
+    // Write BaseNodes insensitivity to file
+    NodeBS NodeIDs;
+    for (auto it = pag->begin(), ie = pag->end(); it != ie; ++it)
+    {
+        PAGNode* pagNode = it->second;
+        if (!isa<ObjVar>(pagNode)) continue;
+        NodeID n = pag->getBaseObjVar(it->first);
+        if (NodeIDs.test(n)) continue;
+        f << n << " ";
+        f << isFieldInsensitive(n) << "\n";
+        NodeIDs.set(n);
+    }
+
     // Job finish and close file
     f.close();
     if (f.good())
@@ -242,12 +279,6 @@ void BVDataPTAImpl::writeToFile(const string& filename)
  */
 bool BVDataPTAImpl::readFromFile(const string& filename)
 {
-    // If the module annotations are available, read from there instead
-    auto mainModule = SVF::LLVMModuleSet::getLLVMModuleSet()->getMainLLVMModule();
-    if (mainModule->getNamedMetadata("SVFIR-Annotated") != nullptr)
-    {
-        return readFromModule();
-    }
 
     outs() << "Loading pointer analysis results from '" << filename << "'...";
 
@@ -258,9 +289,24 @@ bool BVDataPTAImpl::readFromFile(const string& filename)
         return false;
     }
 
+    // Read ObjVar
+    string line;
+    while (F.good())
+    {
+        getline(F, line);
+        if (line == "------")     break;
+        // Parse a single line in the form of "baseNodeID insensitive"
+        istringstream ss(line);
+        NodeID base;
+        bool insensitive;
+        ss >> base >> insensitive;
+
+        if (insensitive)
+            setObjFieldInsensitive(base);
+    }
+
     // Read analysis results from file
     PTDataTy *ptD = getPTDataTy();
-    string line;
 
     // Read points-to sets
     string delimiter1 = " -> { ";
@@ -272,6 +318,7 @@ bool BVDataPTAImpl::readFromFile(const string& filename)
     {
         // Parse a single line in the form of "var -> { obj1 obj2 obj3 }"
         getline(F, line);
+        if (line == "------")     break;
         size_t pos = line.find(delimiter1);
         if (pos == string::npos)    break;
         if (line.back() != '}')     break;
@@ -307,26 +354,11 @@ bool BVDataPTAImpl::readFromFile(const string& filename)
     for (auto t: nodePtsMap)
         ptD->unionPts(t.first, strPtsMap[t.second]);
 
-    // Read SVFIR offset nodes
-    while (F.good())
-    {
-        if (line == "------")     break;
-        // Parse a single line in the form of "baseNodeID insensitive"
-        istringstream ss(line);
-        NodeID base;
-        bool insensitive;
-        ss >> base >> insensitive;
-
-        if (insensitive)
-            setObjFieldInsensitive(base);
-
-        getline(F, line);
-    }
-
     // Read BaseNode insensitivity
     while (F.good())
     {
         getline(F, line);
+        if (line == "------")     break;
         // Parse a single line in the form of "ID baseNodeID offset"
         istringstream ss(line);
         NodeID id;
@@ -339,6 +371,22 @@ bool BVDataPTAImpl::readFromFile(const string& filename)
         assert(matched && "Error adding GepObjNode into SVFIR!");
     }
 
+    // //update ObjVar status
+    while (F.good())
+    {
+        getline(F, line);
+        if (line.empty())
+            break;
+        // Parse a single line in the form of "baseNodeID insensitive"
+        istringstream ss(line);
+        NodeID base;
+        bool insensitive;
+        ss >> base >> insensitive;
+
+        if (insensitive)
+            setObjFieldInsensitive(base);
+    }
+
     // Update callgraph
     updateCallGraph(pag->getIndirectCallsites());
 
@@ -348,30 +396,6 @@ bool BVDataPTAImpl::readFromFile(const string& filename)
     return true;
 }
 
-/*!
- * Store pointer analysis result into the current LLVM module as metadata.
- * It includes the points-to relations, and all SVFIR nodes including those
- * created when solving Andersen's constraints.
- */
-void BVDataPTAImpl::writeToModule()
-{
-    auto irAnnotator = std::make_unique<IRAnnotator>();
-
-    irAnnotator->processAndersenResults(pag, this, true);
-}
-
-/*!
- * Load pointer analysis result from the metadata in the module.
- * It populates BVDataPTAImpl with the points-to data, and updates SVFIR with
- * the SVFIR offset nodes created during Andersen's solving stage.
- */
-bool BVDataPTAImpl::readFromModule()
-{
-    auto irAnnotator = std::make_unique<IRAnnotator>();
-    irAnnotator->processAndersenResults(pag, this, false);
-    return true;
-}
-
 /*!
  * Dump points-to of each pag node
  */

package/lib/SVF-LLVM/LLVMModule.cpp

@@ -83,10 +83,15 @@ LLVMModuleSet::~LLVMModuleSet()
 
 SVFModule* LLVMModuleSet::buildSVFModule(Module &mod)
 {
+    double startSVFModuleTime = SVFStat::getClk(true);
     svfModule = std::make_unique<SVFModule>(mod.getModuleIdentifier());
     modules.emplace_back(mod);
 
     build();
+    double endSVFModuleTime = SVFStat::getClk(true);
+    SVFStat::timeOfBuildingLLVMModule = (endSVFModuleTime - startSVFModuleTime)/TIMEINTERVAL;
+
+    build_symbol_table();
 
     return svfModule.get();
 }
@@ -109,6 +114,12 @@ SVFModule* LLVMModuleSet::buildSVFModule(const std::vector<std::string> &moduleN
     double endSVFModuleTime = SVFStat::getClk(true);
     SVFStat::timeOfBuildingLLVMModule = (endSVFModuleTime - startSVFModuleTime)/TIMEINTERVAL;
 
+    build_symbol_table();
+
+    return svfModule.get();
+}
+void LLVMModuleSet::build_symbol_table() const
+{
     double startSymInfoTime = SVFStat::getClk(true);
     if (!SVFModule::pagReadFromTXT())
     {
@@ -119,8 +130,6 @@ SVFModule* LLVMModuleSet::buildSVFModule(const std::vector<std::string> &moduleN
     }
     double endSymInfoTime = SVFStat::getClk(true);
     SVFStat::timeOfBuildingSymbolTable = (endSymInfoTime - startSymInfoTime)/TIMEINTERVAL;
-
-    return svfModule.get();
 }
 
 void LLVMModuleSet::build()

package/lib/WPA/Andersen.cpp

@@ -113,6 +113,9 @@ void AndersenBase::analyze()
         PointerAnalysis::finalize();
     }
 
+    if (!Options::WriteAnder.empty())
+        this->writeObjVarToFile(Options::WriteAnder);
+
     if(!readResultsFromFile)
     {
         // Start solving constraints
@@ -142,12 +145,16 @@ void AndersenBase::analyze()
 
         DBOUT(DGENERAL, outs() << SVFUtil::pasMsg("Finish Solving Constraints\n"));
 
-        // Finalize the analysis
-        finalize();
     }
 
     if (!Options::WriteAnder.empty())
+    {
         this->writeToFile(Options::WriteAnder);
+    }
+
+    if (!readResultsFromFile)
+        // Finalize the analysis
+        finalize();
 }
 
 void AndersenBase::cleanConsCG(NodeID id)

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-tools",
-  "version": "1.0.615",
+  "version": "1.0.617",
   "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": {

package/include/SVF-LLVM/IRAnnotator.h

@@ -1,324 +0,0 @@
-/*
- * Annotator.h
- *
- *  Created on: March 22, 2021
- *      Author: Nicholas Tsom
- */
-
-#ifndef IRANNOTATOR_H_
-#define IRANNOTATOR_H_
-
-#include "llvm/IR/InlineAsm.h"
-#include "SVFIR/SVFIR.h"
-#include "MemoryModel/PointerAnalysisImpl.h"
-#include "Util/SVFUtil.h"
-#include "llvm/IR/Metadata.h"
-
-
-namespace SVF
-{
-/*!
- * Program annotator to write metadata information on LLVM IR
- */
-class IRAnnotator
-{
-public:
-    IRAnnotator():
-        mainModule(nullptr),
-        ptsTo(nullptr)
-    {}
-    ~IRAnnotator() {}
-
-    void processAndersenResults(SVFIR *pag, BVDataPTAImpl *ptsTo, bool writeFlag)
-    {
-        this->ptsTo = ptsTo;
-        mainModule = LLVMModuleSet::getLLVMModuleSet()->getMainLLVMModule();
-
-        // Add a named metadata node used to check whether or not
-        // this IR has been annotated with Andersen information
-        if (writeFlag)
-            mainModule->getOrInsertNamedMetadata("SVFIR-Annotated");
-
-        for (auto it = pag->begin(); it != pag->end(); ++it)
-        {
-            auto nodeId = it->first;
-            auto pagNode = it->second;
-            auto gepNode = SVFUtil::dyn_cast<GepObjVar>(pagNode);
-
-            if (gepNode && writeFlag)
-            {
-                writePAGgepNode(nodeId, gepNode);
-            }
-            else if (pagNode->hasValue())
-            {
-                const Value* val = LLVMModuleSet::getLLVMModuleSet()->getLLVMValue(pagNode->getValue());
-                processPAGNode(val, nodeId, writeFlag);
-            }
-        }
-
-        if (!writeFlag)
-            readPAGgepNodes(pag);
-    }
-
-private:
-    // Write the PAGgepNode to the IR such that metadata name is the SVFIR node id and the operands
-    // are its base node's id and location offset
-    void writePAGgepNode(SVF::NodeID nodeId, GepObjVar* gepNode)
-    {
-        auto baseNodeId = gepNode->getBaseNode();
-        auto locationSetOffset = gepNode->getConstantFieldIdx();
-
-        LLVMContext &context = mainModule->getContext();
-        llvm::SmallVector<llvm::Metadata *, 32> operands;
-        operands.push_back(llvm::MDString::get(context, std::to_string(baseNodeId)));
-        operands.push_back(llvm::MDString::get(context, std::to_string(locationSetOffset)));
-
-        llvm::MDTuple *metadata = llvm::MDTuple::get(context, operands);
-        std::string label = "gepnode-" + std::to_string(nodeId);
-
-        mainModule->getOrInsertNamedMetadata(label)->addOperand(metadata);
-    }
-
-    // Reads the PAGGepNodes in the annotated IR and creates a new SVFIR Node based on the
-    // data contained in the operands of the metadata node
-    void readPAGgepNodes(SVFIR *pag)
-    {
-        for (auto it = mainModule->named_metadata_begin(); it != mainModule->named_metadata_end(); ++it)
-        {
-            std::string label = it->getName().str();
-            std::string toErase = "gepnode-";
-            std::size_t pos = label.find(toErase);
-            if (pos == std::string::npos)
-            {
-                continue;
-            }
-            label.erase(pos, toErase.length());
-
-            SVF::NodeID nodeId = std::stoi(label);
-            auto mdNode = it->getOperand(0);
-
-            SVF::NodeID baseNodeId = std::stoi(llvm::cast<llvm::MDString>(mdNode->getOperand(0))->getString().str());
-            SVF::s32_t locationSetOffset = std::stoi(llvm::cast<llvm::MDString>(mdNode->getOperand(1))->getString().str());
-
-            LocationSet locationSet = LocationSet(locationSetOffset);
-            SVF::NodeID gepnodeId = pag->getGepObjVar(baseNodeId, locationSet);
-
-            bool idEq = (nodeId == gepnodeId);
-            (void)idEq; // Suppress warning of unused variable under release build
-            assert(idEq && "nodeId is not equal to gepnodeId?");
-        }
-    }
-
-    // Deduce the LLVM value's type, and process the metadata accordingly
-    void processPAGNode(const Value* value, SVF::NodeID nodeId, bool writeFlag)
-    {
-        if (auto instruction = const_cast<Instruction* >(SVFUtil::dyn_cast<Instruction>(value)))
-        {
-            processInstructionNode(instruction, nodeId, writeFlag);
-        }
-        else if (auto argument = const_cast<Argument* >(SVFUtil::dyn_cast<Argument>(value)))
-        {
-            processArgumentNode(argument, nodeId, writeFlag);
-        }
-        else if (auto function = const_cast<Function* >(SVFUtil::dyn_cast<Function>(value)))
-        {
-            processFunctionNode(function, nodeId, writeFlag);
-        }
-        else if (auto globalVar = const_cast<GlobalVariable *>(SVFUtil::dyn_cast<GlobalVariable>(value)))
-        {
-            processGlobalVarNode(globalVar, nodeId, writeFlag);
-        }
-        else if (auto basicBlock = const_cast<BasicBlock* >(SVFUtil::dyn_cast<BasicBlock>(value)))
-        {
-            processBasicBlockNode(basicBlock, nodeId, writeFlag);
-        }
-        else if (SVFUtil::isa<Constant>(value))
-        {
-            processConstantNode(nodeId, writeFlag);
-        }
-        else if (auto inlineAsm = const_cast<llvm::InlineAsm *>(SVFUtil::dyn_cast<llvm::InlineAsm>(value)))
-        {
-            processInlineAsmNode(inlineAsm, nodeId, writeFlag);
-        }
-        else
-        {
-            SVFUtil::outs() << "Value is NOT a Instruction, Argument, Function, GlobalVariable, BasicBlock, Constant or InlineAsm" << std::endl;
-        }
-    }
-
-    void processInstructionNode(Instruction* instruction, const SVF::NodeID &nodeId, bool writeFlag)
-    {
-        std::string label = "inode-" + std::to_string(nodeId);
-
-        if (writeFlag)
-        {
-            LLVMContext &context = instruction->getContext();
-            auto mdNodePts = getMdNodePts(nodeId, context);
-            instruction->setMetadata(label, mdNodePts);
-        }
-        else
-        {
-            auto mdNode = instruction->getMetadata(label);
-            assert(mdNode != nullptr && "Failed to retrive valid node id at instruction");
-            addAndersenMetadata(nodeId, mdNode);
-        }
-    }
-
-    void processArgumentNode(Argument* argument, const SVF::NodeID &nodeId, bool writeFlag)
-    {
-        std::string label = "anode-" + std::to_string(nodeId);
-
-        if (writeFlag)
-        {
-            LLVMContext &context = argument->getContext();
-            auto mdNodePts = getMdNodePts(nodeId, context);
-            argument->getParent()->setMetadata(label, mdNodePts);
-        }
-        else
-        {
-            auto mdNode = argument->getParent()->getMetadata(label);
-            assert(mdNode != nullptr && "Failed to retrive valid node id at argument");
-            addAndersenMetadata(nodeId, mdNode);
-        }
-    }
-
-    void processFunctionNode(Function* function, const SVF::NodeID &nodeId, bool writeFlag)
-    {
-        std::string label = "fnode-" + std::to_string(nodeId);
-
-        if (writeFlag)
-        {
-            LLVMContext &context = function->getContext();
-            auto mdNodePts = getMdNodePts(nodeId, context);
-            function->setMetadata(label, mdNodePts);
-        }
-        else
-        {
-            auto mdNode = function->getMetadata(label);
-            assert(mdNode != nullptr && "Failed to retrive valid node id at function");
-            addAndersenMetadata(nodeId, mdNode);
-        }
-    }
-
-    void processGlobalVarNode(GlobalVariable *globalVar, const SVF::NodeID &nodeId, bool writeFlag)
-    {
-        std::string label = "gnode-" + std::to_string(nodeId);
-
-        if (writeFlag)
-        {
-            LLVMContext &context = globalVar->getContext();
-            auto mdNodePts = getMdNodePts(nodeId, context);
-            globalVar->setMetadata(label, mdNodePts);
-        }
-        else
-        {
-            auto mdNode = globalVar->getMetadata(label);
-            assert(mdNode != nullptr && "Failed to retrive valid node id at instruction");
-            addAndersenMetadata(nodeId, mdNode);
-        }
-    }
-
-    void processBasicBlockNode(BasicBlock* basicBlock, const SVF::NodeID &nodeId, bool writeFlag)
-    {
-        std::string label = "bnode-" + std::to_string(nodeId);
-
-        if (writeFlag)
-        {
-            LLVMContext &context = basicBlock->getContext();
-            auto mdNodePts = getMdNodePts(nodeId, context);
-            basicBlock->getParent()->setMetadata(label, mdNodePts);
-        }
-        else
-        {
-            auto mdNode = basicBlock->getParent()->getMetadata(label);
-            assert(mdNode != nullptr && "Failed to retrive valid node id at basicBlock");
-            addAndersenMetadata(nodeId, mdNode);
-        }
-    }
-
-    void processConstantNode(const SVF::NodeID &nodeId, bool writeFlag)
-    {
-        std::string label = "cnode-" + std::to_string(nodeId);
-
-        if (writeFlag)
-        {
-            LLVMContext &context = mainModule->getContext();
-            auto mdNodePts = getMdNodePts(nodeId, context);
-            mainModule->getOrInsertNamedMetadata(label)->addOperand(mdNodePts);
-        }
-        else
-        {
-            auto mdNode = mainModule->getNamedMetadata(label);
-            assert(mdNode != nullptr && "Failed to retrive valid node id at instruction");
-            addAndersenNamedMetdata(nodeId, mdNode);
-        }
-    }
-
-    void processInlineAsmNode(llvm::InlineAsm *inlineAsm, const SVF::NodeID &nodeId, bool writeFlag)
-    {
-        std::string label = "iAsmnode-" + std::to_string(nodeId);
-
-        if (writeFlag)
-        {
-            LLVMContext &context = mainModule->getContext();
-            auto mdNodePts = getMdNodePts(nodeId, context);
-            mainModule->getOrInsertNamedMetadata(label)->addOperand(mdNodePts);
-        }
-        else
-        {
-            auto mdNode = mainModule->getNamedMetadata(label);
-            assert(mdNode != nullptr && "Failed to retrive valid node id at inlineAsm");
-            addAndersenNamedMetdata(nodeId, mdNode);
-        }
-    }
-
-    void addAndersenMetadata(const SVF::NodeID &nodeId, MDNode *mdNode)
-    {
-        if (mdNode)
-        {
-            for (unsigned int i = 0; i < mdNode->getNumOperands(); i++)
-            {
-                auto anderNodeIdStr = llvm::cast<llvm::MDString>(mdNode->getOperand(i))->getString().str();
-                auto anderNodeId = SVF::NodeID(std::stoul(anderNodeIdStr));
-                ptsTo->addPts(nodeId, anderNodeId);
-            }
-        }
-    }
-
-    void addAndersenNamedMetdata(const SVF::NodeID &nodeId, NamedMDNode *mdNode)
-    {
-        if (mdNode)
-        {
-            for (unsigned int i = 0; i < mdNode->getNumOperands(); i++)
-            {
-                auto node = mdNode->getOperand(i);
-
-                for (unsigned int j = 0; j < node->getNumOperands(); j++)
-                {
-                    auto anderNodeIdStr = llvm::cast<llvm::MDString>(node->getOperand(j))->getString().str();
-                    auto anderNodeId = SVF::NodeID(std::stoul(anderNodeIdStr));
-                    ptsTo->addPts(nodeId, anderNodeId);
-                }
-            }
-        }
-    }
-
-    inline llvm::MDTuple* getMdNodePts(const SVF::NodeID &nodeId, LLVMContext &context)
-    {
-        llvm::SmallVector<llvm::Metadata *, 32> operands;
-        auto &ptTo = ptsTo->getPts(nodeId);
-        for (const auto p : ptTo)
-        {
-            operands.push_back(llvm::MDString::get(context, std::to_string(p)));
-        }
-        return llvm::MDTuple::get(context, operands);
-    }
-
-    Module* mainModule;
-    BVDataPTAImpl *ptsTo;
-
-};
-
-} // End namespace SVF
-
-#endif /* IRANNOTATOR_H_ */