svf-tools 1.0.442 → 1.0.445

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

@@ -15,6 +15,7 @@ var searchData=
   ['scctime',['sccTime',['../classSVF_1_1FlowSensitive.html#af496fa9aa2f4d59594950b2ad121deff',1,'SVF::FlowSensitive']]],
   ['scdandersen',['scdAndersen',['../classSVF_1_1AndersenSCD.html#a1d143f104c0bfb5258b7129d0eceb4cd',1,'SVF::AndersenSCD']]],
   ['scev',['scev',['../classSVF_1_1PTASCEV.html#af1d494e97cfb2f555d47227ca25172b3',1,'SVF::PTASCEV']]],
+  ['secondrhs2prods',['secondRHS2Prods',['../classSVF_1_1CFLGrammar.html#aa85341b1bac9f80780417c83b83b9f73',1,'SVF::CFLGrammar']]],
   ['selectedvalidationscenarios',['selectedValidationScenarios',['../classSVF_1_1RaceResultValidator.html#a1294cb90b073ba25a8ffc06180c09419',1,'SVF::RaceResultValidator']]],
   ['selfcycle',['SelfCycle',['../classSVF_1_1Options.html#a3ed96242ac56a05d057ebd11b23cf053',1,'SVF::Options']]],
   ['sentinel',['sentinel',['../structDdManager.html#a8679aac5ecef09b42b3cf11786d57139',1,'DdManager']]],
@@ -29,6 +30,7 @@ var searchData=
   ['siftmaxvar',['siftMaxVar',['../structDdManager.html#a751612508e0ff55d364279b55872c40d',1,'DdManager']]],
   ['sign',['sign',['../structIeeeDoubleStruct.html#a11e3a3008ed4171e295436d1415705d2',1,'IeeeDoubleStruct::sign()'],['../structIeeeNanStruct.html#abc5b8eb6f2d25bb3d865b18189769150',1,'IeeeNanStruct::sign()']]],
   ['singleload',['SingleLoad',['../classSVF_1_1Options.html#a57564c82a2b90b7de837151f65b276f3',1,'SVF::Options']]],
+  ['singlerhs2prods',['singleRHS2Prods',['../classSVF_1_1CFLGrammar.html#acd866f3392952d7d71b51ca21b7e1c91',1,'SVF::CFLGrammar']]],
   ['singlestride',['SingleStride',['../classSVF_1_1Options.html#aa734ee7b55809934b441cf5e5818e015',1,'SVF::Options']]],
   ['singlevfg',['SingleVFG',['../classSVF_1_1Options.html#a78ce4bd2e80e7b87ff0ee52edd1db403',1,'SVF::Options']]],
   ['sinks',['sinks',['../classSVF_1_1SVFGStat.html#a332adbaad93a3077416c870f175a1202',1,'SVF::SVFGStat::sinks()'],['../classSVF_1_1ProgSlice.html#ab4da58e7c4cd2c80b4830efeaa896f80',1,'SVF::ProgSlice::sinks()'],['../classSVF_1_1SrcSnkDDA.html#aaffd4b48be1f99e0450b23f20f034b1e',1,'SVF::SrcSnkDDA::sinks()']]],
@@ -36,6 +38,7 @@ var searchData=
   ['sizez',['sizeZ',['../structDdManager.html#a97821fdc39438a00a9b26f2205b0b2f5',1,'DdManager']]],
   ['slots',['slots',['../structDdLocalCache.html#a81d92a3508761cdf2f169e421ca7b7ab',1,'DdLocalCache::slots()'],['../structDdSubtable.html#ab01ae39304c9a7ce2236584a78ff5856',1,'DdSubtable::slots()'],['../structDdManager.html#a8a0404c6d3d8c1e49ed84e4467c3387c',1,'DdManager::slots()']]],
   ['solveall',['solveAll',['../classSVF_1_1DDAClient.html#aa8a67c60ec0395c9cfae178dcff638a8',1,'SVF::DDAClient']]],
+  ['solver',['solver',['../classSVF_1_1CFLAlias.html#aa61c3683c9b759b6eca65b1f88e00b35',1,'SVF::CFLAlias']]],
   ['solvetime',['solveTime',['../classSVF_1_1FlowSensitive.html#a4202f837e863a48712765cc346d8b514',1,'SVF::FlowSensitive']]],
   ['sources',['sources',['../classSVF_1_1SVFGStat.html#a18a30f659c3a79d65b4ae7f3316c5f91',1,'SVF::SVFGStat::sources()'],['../classSVF_1_1SrcSnkDDA.html#a96c41d03d2615f952b58dca327a2866c',1,'SVF::SrcSnkDDA::sources()']]],
   ['sp',['sp',['../structDdGen.html#aaff12ccc5727cf52c93db5e27a0a4eb6',1,'DdGen']]],
@@ -46,6 +49,7 @@ var searchData=
   ['srctocsidmap',['srcToCSIDMap',['../classSVF_1_1LeakChecker.html#a46b4447bf1bf34d3b8e56cce93e04852',1,'SVF::LeakChecker']]],
   ['stack',['stack',['../structDdGen.html#a50762b8a4bc39e9094a414d41da2613b',1,'DdGen::stack()'],['../structDdGen.html#af405420fc6648aa758b180a7a1b5f557',1,'DdGen::stack()'],['../structDdManager.html#af99ce33d5dcd3dcf67f10bd7da6a5aa5',1,'DdManager::stack()']]],
   ['start',['start',['../classSVF_1_1PTASCEV.html#a0de1531fc72f5aa0bafc59101faae68d',1,'SVF::PTASCEV']]],
+  ['startsymbol',['startSymbol',['../classSVF_1_1GrammarBase.html#a48c738beefe73184f7aed8b1ed5afb53',1,'SVF::GrammarBase::startSymbol()'],['../classSVF_1_1CFLGraph.html#ab678bb152e60a8b67d6a703792c8af84',1,'SVF::CFLGraph::startSymbol()']]],
   ['starttime',['startTime',['../structDdManager.html#a7436169471f7648c313c0c4a3674942c',1,'DdManager::startTime()'],['../classSVF_1_1PTAStat.html#a59e0fe6fa506f1cf319b5acaf9d28be9',1,'SVF::PTAStat::startTime()']]],
   ['stash',['stash',['../structDdManager.html#a0c7a23b6822e1f426e2021e6864af0e9',1,'DdManager']]],
   ['stat',['stat',['../classSVF_1_1SVFG.html#ad5c1415f488ec4412d5457262269eff3',1,'SVF::SVFG::stat()'],['../classSVF_1_1PointerAnalysis.html#a5ec3d9bf1fc81346c9df29638daedc0f',1,'SVF::PointerAnalysis::stat()'],['../classSVF_1_1MemSSA.html#a4fc930040ec54eb60629da18fb6a4d04',1,'SVF::MemSSA::stat()'],['../classSVF_1_1MTA.html#a8c0f7a777b7fd6b388678be63190ee59',1,'SVF::MTA::stat()']]],
@@ -85,6 +89,7 @@ var searchData=
   ['svfgopttimestart',['svfgOptTimeStart',['../classSVF_1_1SVFGStat.html#a1e92f02d43f06ef31e107859d1bd8ac2',1,'SVF::SVFGStat']]],
   ['svfgwithindcall',['SVFGWithIndCall',['../classSVF_1_1SVFGBuilder.html#a70de38086437635d2e44d2a0c9fdded9',1,'SVF::SVFGBuilder']]],
   ['svfgwithindirectcall',['SVFGWithIndirectCall',['../classSVF_1_1Options.html#a982b4cd71ccafd07d94f10a0a2e953c2',1,'SVF::Options']]],
+  ['svfir',['svfir',['../classSVF_1_1CFLAlias.html#a0bf4ce7e4fb3d1d95608c06420cc65dc',1,'SVF::CFLAlias']]],
   ['svfmain',['SVFMain',['../classSVF_1_1Options.html#a868fa5069b01b7a7dfbc5fb99cb76385',1,'SVF::Options']]],
   ['svfmod',['svfMod',['../classSVF_1_1CHGraph.html#a62a3ccdbc55381d5f8d96dc23141f2e5',1,'SVF::CHGraph::svfMod()'],['../classSVF_1_1PointerAnalysis.html#a7e8b3f6843e5ea75fd189162d2cd60a5',1,'SVF::PointerAnalysis::svfMod()'],['../classSVF_1_1SVFIRBuilder.html#aa67bbd366b93fb1ec7a540c83566c977',1,'SVF::SVFIRBuilder::svfMod()']]],
   ['svfmodule',['svfModule',['../classSVF_1_1DCHGraph.html#a85a3c9a6a60a4379717773f8722ae42e',1,'SVF::DCHGraph::svfModule()'],['../classSVF_1_1LLVMModuleSet.html#a43832e93a42ae43d44b0cc160981678f',1,'SVF::LLVMModuleSet::svfModule()']]],

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

@@ -19,6 +19,7 @@ var searchData=
   ['tdapi',['tdAPI',['../classSVF_1_1ThreadCallGraph.html#af1146c3d8e8b8885a1c48701e5b5a27f',1,'SVF::ThreadCallGraph::tdAPI()'],['../classSVF_1_1MTAResultValidator.html#aa0ca978e95529568edc4bdac1ffac110',1,'SVF::MTAResultValidator::tdAPI()'],['../classSVF_1_1PCG.html#a8215dc3643d1c4fb3d489e80cd3db336',1,'SVF::PCG::tdAPI()'],['../classSVF_1_1ThreadAPI.html#a2faebd2e481362b11ccce4256f81c32d',1,'SVF::ThreadAPI::tdAPI()']]],
   ['tdapimap',['tdAPIMap',['../classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec',1,'SVF::SaberCheckerAPI::tdAPIMap()'],['../classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c',1,'SVF::ThreadAPI::tdAPIMap()']]],
   ['templatenametoinstancesmap',['templateNameToInstancesMap',['../classSVF_1_1CHGraph.html#acd022005e2191bc3bcb265805abee4f8',1,'SVF::CHGraph']]],
+  ['terminals',['terminals',['../classSVF_1_1GrammarBase.html#af9e8e7bf4239a04002ff41885f9e5e91',1,'SVF::GrammarBase']]],
   ['theoreticalnumwords',['TheoreticalNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a2a70b98363303cb33d96732f44b4c5c3',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['threadstmttointerleaving',['threadStmtToInterLeaving',['../classSVF_1_1MTAResultValidator.html#ac4a7773211a9c842639ac25b1a504c7e',1,'SVF::MTAResultValidator']]],
   ['threadstmttotheadinterleav',['threadStmtToTheadInterLeav',['../classSVF_1_1MHP.html#afcfc409e625b74cbefd240170627c541',1,'SVF::MHP']]],
@@ -32,7 +33,7 @@ var searchData=
   ['timeofprocessloadstore',['timeOfProcessLoadStore',['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase']]],
   ['timeofsccdetection',['timeOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143',1,'SVF::AndersenBase']]],
   ['timeofsccmerges',['timeOfSCCMerges',['../classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d',1,'SVF::AndersenBase']]],
-  ['timeofssarenaming',['timeOfSSARenaming',['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()'],['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()']]],
+  ['timeofssarenaming',['TimeOfSSARenaming',['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()'],['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()']]],
   ['timeofupdatecallgraph',['timeOfUpdateCallGraph',['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase']]],
   ['timestatmap',['timeStatMap',['../classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337',1,'SVF::PTAStat']]],
   ['tlptdata',['tlPTData',['../classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f',1,'SVF::MutableVersionedPTData::tlPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5',1,'SVF::PersistentVersionedPTData::tlPTData()']]],
@@ -58,6 +59,7 @@ var searchData=
   ['totalnumofpointers',['TotalNumOfPointers',['../classSVF_1_1PTAStat.html#a1a4d418fd9e5413e7ffbbfe57f5e0560',1,'SVF::PTAStat']]],
   ['totaloutedge',['totalOutEdge',['../classSVF_1_1SVFGStat.html#a18211427d08f70d252512d387763ce4a',1,'SVF::SVFGStat']]],
   ['totalptapagedge',['totalPTAPAGEdge',['../classSVF_1_1IRGraph.html#a9f68ffe75e3d9457092ac2368aa08a27',1,'SVF::IRGraph']]],
+  ['totalsymbol',['totalSymbol',['../classSVF_1_1GrammarBase.html#ac17dee194615cc9f7861375f033aaa8e',1,'SVF::GrammarBase']]],
   ['totalsymnum',['totalSymNum',['../classSVF_1_1SymbolTableInfo.html#a125faa0295b38d027b35bc3d76b3afdd',1,'SVF::SymbolTableInfo']]],
   ['totaltime',['TotalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afef85f0ecacd681357b3945f97d52964',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['totaltimeofconstructmemssa',['TotalTimeOfConstructMemSSA',['../classSVF_1_1MemSSAStat.html#a7dd7e6af850b9d724ea580450bfd3afd',1,'SVF::MemSSAStat']]],

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

@@ -3,7 +3,7 @@ var searchData=
   ['wordit',['wordIt',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a1afa1cb9e8377d3dab767aa4bfc713dc',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
   ['words',['words',['../classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b',1,'SVF::CoreBitVector']]],
   ['wordsize',['WordSize',['../classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3',1,'SVF::CoreBitVector']]],
-  ['worklist',['worklist',['../classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194',1,'SVF::SVFGOPT::worklist()'],['../classSVF_1_1SrcSnkSolver.html#aeecbd88066567b2f123e84072dd09941',1,'SVF::SrcSnkSolver::worklist()'],['../classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5',1,'SVF::WPASolver::worklist()']]],
+  ['worklist',['worklist',['../classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e',1,'SVF::CFLSolver::worklist()'],['../classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194',1,'SVF::SVFGOPT::worklist()'],['../classSVF_1_1SrcSnkSolver.html#aeecbd88066567b2f123e84072dd09941',1,'SVF::SrcSnkSolver::worklist()'],['../classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc',1,'SVF::GraphReachSolver::worklist()'],['../classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5',1,'SVF::WPASolver::worklist()']]],
   ['wpanum',['WPANum',['../classSVF_1_1Options.html#a0865038c4738fcc8f47106faad03d98a',1,'SVF::Options']]],
   ['writeander',['WriteAnder',['../classSVF_1_1Options.html#a4c7eb57066c80c62ef394d644833214a',1,'SVF::Options']]]
 ];

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

@@ -48,6 +48,7 @@ var searchData=
   ['cbv',['cbv',['../classSVF_1_1PointsTo.html#a79333c4ae5c002d9632fa589956b3605',1,'SVF::PointsTo::cbv()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a0cba79551b56ed83dc45ab63619dc590',1,'SVF::CoreBitVector::CoreBitVectorIterator::cbv()']]],
   ['cbvit',['cbvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a4db2c62eb3ad789ab7aaf7506cd340b2',1,'SVF::PointsTo::PointsToIterator']]],
   ['cfinfobuilder',['cfInfoBuilder',['../classSVF_1_1PathCondAllocator.html#a4949fb25fe4cd461de8aec90756b1fea',1,'SVF::PathCondAllocator']]],
+  ['cfledgeset',['cflEdgeSet',['../classSVF_1_1CFLGraph.html#afb41039ad53899fa64fedcef8b7aa7fe',1,'SVF::CFLGraph']]],
   ['chaffmap',['chaFFMap',['../classSVF_1_1DCHGraph.html#abe8d313b501182ab62f2276a19d670a4',1,'SVF::DCHGraph']]],
   ['chamap',['chaMap',['../classSVF_1_1DCHGraph.html#ac0d5f1e10f642aac5b64792bf5fcbd9d',1,'SVF::DCHGraph']]],
   ['chg',['chg',['../classSVF_1_1CHGBuilder.html#ab3471cc9afba5976c7e5fbd07dfb22dc',1,'SVF::CHGBuilder']]],
@@ -132,6 +133,7 @@ var searchData=
   ['curevalsvfgnode',['curEvalSVFGNode',['../classSVF_1_1PathCondAllocator.html#a165e0a354b7679ce582c15f4a3faf6e0',1,'SVF::PathCondAllocator']]],
   ['curloc',['curloc',['../classSVF_1_1StmtDPItem.html#a9e20ebd5ae8272a4aef74914098f97ef',1,'SVF::StmtDPItem']]],
   ['curptr',['curPtr',['../classSVF_1_1DDAClient.html#a6a133cf24ef65eaf58c82ec213f3f6cb',1,'SVF::DDAClient']]],
+  ['current',['current',['../classSVF_1_1CFLGraph.html#a4ae1d3576cfef62444087e321dc110b2',1,'SVF::CFLGraph']]],
   ['currentbestnodemapping',['currentBestNodeMapping',['../classSVF_1_1PointsTo.html#a98781dd444ada40af7eef9aefe76123d',1,'SVF::PointsTo']]],
   ['currentbestreversenodemapping',['currentBestReverseNodeMapping',['../classSVF_1_1PointsTo.html#a53e1230c87912d26604990eb8b0cbc0c',1,'SVF::PointsTo']]],
   ['cursccid',['curSCCID',['../classSVF_1_1WPASCCSolver.html#a28973d7e1301c36254b67c695e8431aa',1,'SVF::WPASCCSolver']]],

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

@@ -21,6 +21,7 @@ var searchData=
   ['entry',['entry',['../structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35',1,'st_generator::entry()'],['../classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372',1,'SVF::CallPE::entry()'],['../cuddInt_8c.html#a936a27e51e66afb57c2b3a12d78a238e',1,'entry(): cuddInt.c']]],
   ['entryfuncset',['entryFuncSet',['../classSVF_1_1TCT.html#a140eaf9440ae9d52dbfb659967aa449a',1,'SVF::TCT']]],
   ['epsilon',['epsilon',['../structDdManager.html#ad495ea9a4104c2be5b4ca850a1da8c28',1,'DdManager']]],
+  ['epsilonprods',['epsilonProds',['../classSVF_1_1CFLGrammar.html#a2cc6beafd16acba439bc748287b598fa',1,'SVF::CFLGrammar']]],
   ['equivalentobject',['equivalentObject',['../classSVF_1_1VersionedFlowSensitive.html#a2d451d89f99a4bff828b682723df477f',1,'SVF::VersionedFlowSensitive']]],
   ['err',['err',['../structDdManager.html#a6b0364070de52e689fe3485a86bb2825',1,'DdManager']]],
   ['errorcode',['errorCode',['../structDdManager.html#ae0690f123fc2c3f0ca9a1cfd18923a37',1,'DdManager']]],
@@ -28,5 +29,6 @@ var searchData=
   ['exit',['exit',['../classSVF_1_1RetPE.html#a6f6ccda153150b6acdd81550e45f640f',1,'SVF::RetPE']]],
   ['exponent',['exponent',['../structIeeeDoubleStruct.html#ae7281389e351ea2e0e577144746d76e2',1,'IeeeDoubleStruct::exponent()'],['../structIeeeNanStruct.html#aeb28a08581e489042de6f647eb431e5a',1,'IeeeNanStruct::exponent()'],['../structEpDoubleStruct.html#ae626888fe53c8c26d65d4fa519b906c6',1,'EpDoubleStruct::exponent()']]],
   ['extapi',['extAPI',['../classSVF_1_1ExtAPI.html#abe666dfdd9b3dea5ea89a5ed9ca4c618',1,'SVF::ExtAPI']]],
-  ['extended',['extended',['../classSVF_1_1DCHGraph.html#aa6f49dfc9e3580d3f2d8c257395eb11e',1,'SVF::DCHGraph']]]
+  ['extended',['extended',['../classSVF_1_1DCHGraph.html#aa6f49dfc9e3580d3f2d8c257395eb11e',1,'SVF::DCHGraph']]],
+  ['externmap',['externMap',['../classSVF_1_1CFLGraph.html#a24ac3a18cb65431cd337a0f4326bff54',1,'SVF::CFLGraph']]]
 ];

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

@@ -6,11 +6,13 @@ var searchData=
   ['fieldreps',['fieldReps',['../classSVF_1_1AndersenSFR.html#a99337c429aebe9046c65068b44eff7cc',1,'SVF::AndersenSFR']]],
   ['fieldtypes',['fieldTypes',['../classSVF_1_1DCHGraph.html#a574ec14099f1112b394b00a79f3fdf1a',1,'SVF::DCHGraph']]],
   ['file',['file',['../classSVF_1_1PAGBuilderFromFile.html#a9ce304b448de65fbde586655dce885a4',1,'SVF::PAGBuilderFromFile']]],
+  ['filename',['fileName',['../classSVF_1_1GrammarBuilder.html#aa0f5135a232adc1ca42d4f51a3c70704',1,'SVF::GrammarBuilder']]],
   ['filterfun',['filterFun',['../classSVF_1_1LockResultValidator.html#a70cdb993b3e90c70cc083fb8ed93fb91',1,'SVF::LockResultValidator']]],
   ['finalcond',['finalCond',['../classSVF_1_1ProgSlice.html#a06d79a32f9f550b068813324dac41460',1,'SVF::ProgSlice']]],
   ['finfo',['finfo',['../classSVF_1_1StInfo.html#a08cf9420a9c7d4019abee8b42fb578bf',1,'SVF::StInfo']]],
   ['first',['first',['../structDdLevelQueue.html#abeda70ee389be7223f6a0ac4eb6cca82',1,'DdLevelQueue']]],
   ['firstfieldeqbase',['FirstFieldEqBase',['../classSVF_1_1Options.html#a8dc477d83a142a62b63207f6f240f224',1,'SVF::Options']]],
+  ['firstrhs2prods',['firstRHS2Prods',['../classSVF_1_1CFLGrammar.html#ab83b803c3407a5776bd28c076c030968',1,'SVF::CFLGrammar']]],
   ['fja',['fja',['../classSVF_1_1MHP.html#a98857a1837cef5519c938d07bb771a60',1,'SVF::MHP']]],
   ['fkjntoptascevmap',['fkjnToPTASCEVMap',['../classSVF_1_1ForkJoinAnalysis.html#a4207948054a0f98560922f3f07ada10f',1,'SVF::ForkJoinAnalysis']]],
   ['flags',['flags',['../structMove.html#a279868fb9de35a14b9b4a066487a5e68',1,'Move::flags()'],['../structMtrNode.html#a729ce47dfa70a8e041a89d478c6565f5',1,'MtrNode::flags()'],['../classSVF_1_1CHNode.html#a6844c89f715979709dc52d4854373e72',1,'SVF::CHNode::flags()'],['../classSVF_1_1ObjTypeInfo.html#abf6bbcccf73bfcd5b950803d349c4eb1',1,'SVF::ObjTypeInfo::flags()'],['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#aafb0a0cd068e1632f0d643233cad8ad9',1,'SVF::RaceResultValidator::AccessPair::flags()'],['../classSVF_1_1DCHNode.html#a0b2c21429fd28c50965737a0baa2e90b',1,'SVF::DCHNode::flags()']]],
@@ -18,6 +20,7 @@ var searchData=
   ['fldidx',['fldIdx',['../classSVF_1_1LocationSet.html#a5c2c1baa17a70b997824002e4c159cbd',1,'SVF::LocationSet']]],
   ['fldidx2typemap',['fldIdx2TypeMap',['../classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479',1,'SVF::StInfo']]],
   ['fldidxvec',['fldIdxVec',['../classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe',1,'SVF::StInfo']]],
+  ['flexsymmap',['FlexSymMap',['../classSVF_1_1Options.html#a79dff5235e82e1313fa4b053f866f357',1,'SVF::Options']]],
   ['flowbudget',['FlowBudget',['../classSVF_1_1Options.html#a53b1a1ec4e5bbd9696ed9b680aa0c3c7',1,'SVF::Options']]],
   ['flowdda',['flowDDA',['../classSVF_1_1ContextDDA.html#a2a23f0235fc49a177b2694f668b02551',1,'SVF::ContextDDA::flowDDA()'],['../classSVF_1_1DDAStat.html#a86e03ef25f150b98bc1f8c89bfd7fc77',1,'SVF::DDAStat::flowDDA()']]],
   ['followers',['followers',['../classSVF_1_1PCG.html#ab3a3d18bac6e1f833583d41fa562caea',1,'SVF::PCG']]],

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

@@ -25,7 +25,11 @@ var searchData=
   ['globs',['globs',['../classSVF_1_1SaberSVFGBuilder.html#a967dba864a6032e448222525aedb1f2a',1,'SVF::SaberSVFGBuilder']]],
   ['globsvfgnodes',['globSVFGNodes',['../classSVF_1_1SaberSVFGBuilder.html#a9431a9dcbcf88b78e721b0347046e997',1,'SVF::SaberSVFGBuilder']]],
   ['globsvfstmtset',['globSVFStmtSet',['../classSVF_1_1SVFIR.html#a71b51492b00e66e36266b9a76a842323',1,'SVF::SVFIR']]],
-  ['graph',['graph',['../classSVF_1_1SVFGStat.html#a3d06ead4c3222ce8a0535d9f3d504c3d',1,'SVF::SVFGStat']]],
+  ['grammar',['grammar',['../classSVF_1_1CFLAlias.html#a31ffa49b8e0995b6ee9b8a1f5ecab7be',1,'SVF::CFLAlias::grammar()'],['../classSVF_1_1CFLSolver.html#aad88cf557ec43127de859b765505df49',1,'SVF::CFLSolver::grammar()'],['../classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa',1,'SVF::GrammarBuilder::grammar()']]],
+  ['grammarfilename',['GrammarFilename',['../classSVF_1_1Options.html#aa929e2ae2c0a78181c3a1311bfe73596',1,'SVF::Options']]],
+  ['grammarisebnf',['GrammarIsEBNF',['../classSVF_1_1Options.html#a5bbbe648c96c9600e9c825dd31585785',1,'SVF::Options']]],
+  ['graph',['graph',['../classSVF_1_1CFLAlias.html#abd4d8eb59209a1f1cedebcf41117914b',1,'SVF::CFLAlias::graph()'],['../classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2',1,'SVF::CFLSolver::graph()'],['../classSVF_1_1SVFGStat.html#a3d06ead4c3222ce8a0535d9f3d504c3d',1,'SVF::SVFGStat::graph()']]],
+  ['graphisfromdot',['GraphIsFromDot',['../classSVF_1_1Options.html#a0d099b268241f4658eb06a14ef598888',1,'SVF::Options']]],
   ['graphtxt',['Graphtxt',['../classSVF_1_1Options.html#aa5c4bc8e55a056adcd7a6f8946ad5f38',1,'SVF::Options']]],
   ['groupcheck',['groupcheck',['../structDdManager.html#ac7cc9100fc0deb8d4e5cdf92b96f075b',1,'DdManager']]],
   ['grow_5ffactor',['grow_factor',['../structst__table.html#a33a7ea1dabc05f109a41d076fc835b02',1,'st_table']]]

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

@@ -26,6 +26,7 @@ var searchData=
   ['info',['info',['../classSVF_1_1ExtAPI.html#a21b103f723d914a95fd0eef28551a3ca',1,'SVF::ExtAPI']]],
   ['initslots',['initSlots',['../structDdManager.html#a46a65218bbed07b36f3ca9b4b0b1535b',1,'DdManager']]],
   ['inloop',['inloop',['../classSVF_1_1PTASCEV.html#ac6636f0c39ef55e2b5f126532bf2d411',1,'SVF::PTASCEV::inloop()'],['../classSVF_1_1CxtThread.html#a2066520689094db3c4a88f5a7fc4ec0c',1,'SVF::CxtThread::inloop()']]],
+  ['inputfilename',['InputFilename',['../classSVF_1_1Options.html#a322f78488d420e41a648d603f2773c56',1,'SVF::Options']]],
   ['inrecurjoinsites',['inRecurJoinSites',['../classSVF_1_1TCT.html#a1b3872361dc17aaea359db8ce0cc2431',1,'SVF::TCT']]],
   ['insencycle',['InsenCycle',['../classSVF_1_1Options.html#a35cfe6add81dc82983e0c53c36c6e667',1,'SVF::Options']]],
   ['insenrecur',['InsenRecur',['../classSVF_1_1Options.html#aa1a3b9293dffeef1bb16a2a7b3a007dd',1,'SVF::Options']]],

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

@@ -1,5 +1,6 @@
 var searchData=
 [
+  ['label2symmap',['label2SymMap',['../classSVF_1_1CFLGraph.html#afb6fe6ac26adb93b0123012891cdd139',1,'SVF::CFLGraph']]],
   ['large',['large',['../cuddInt_8c.html#a134b3b75fc389f1772e03372004cfeff',1,'cuddInt.c']]],
   ['largestregion',['LargestRegion',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a172d72ae4ae45fa2baf2f20ff2b499dc',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['last',['last',['../structDdLevelQueue.html#acf28d01edde7bf6634b4213299f487b3',1,'DdLevelQueue']]],

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

@@ -39,7 +39,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',['../structDdHashTable.html#aba376a6d310dcead9f74cfc459f4a248',1,'DdHashTable::maxsize()'],['../structDdLevelQueue.html#acb7146e9f3dd73a052340c0e4010e6b6',1,'DdLevelQueue::maxsize()'],['../structDdManager.html#aa4d0701dc4e6f11b30085ae30c09fab6',1,'DdManager::maxSize()']]],
+  ['maxsize',['maxSize',['../structDdManager.html#aa4d0701dc4e6f11b30085ae30c09fab6',1,'DdManager::maxSize()'],['../structDdHashTable.html#aba376a6d310dcead9f74cfc459f4a248',1,'DdHashTable::maxsize()'],['../structDdLevelQueue.html#acb7146e9f3dd73a052340c0e4010e6b6',1,'DdLevelQueue::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

@@ -5,6 +5,7 @@ var searchData=
   ['newbvnumwords',['NewBvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#af3fe4b4098898ee38928c9db30ea0fe9',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['newexpand',['newExpand',['../classSVF_1_1ConstraintNode.html#af760652ba65eb5a0d0d2731b6e1961b8',1,'SVF::ConstraintNode']]],
   ['newsbvnumwords',['NewSbvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a779446e2fe92518401f1732fb809f066',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['newterminalsubscript',['newTerminalSubscript',['../classSVF_1_1CFLGrammar.html#a505980f327852aca64bb372f1f87b1cd',1,'SVF::CFLGrammar']]],
   ['next',['next',['../structDdNode.html#a9422352d3b46de31b325d1cf18b9f25f',1,'DdNode::next()'],['../structDdHook.html#af30b5d30fbe9fe96c61bf418c75f1038',1,'DdHook::next()'],['../structDdLocalCache.html#a0db45346abb7d4d58d8631f6236341a8',1,'DdLocalCache::next()'],['../structDdHashItem.html#a8552215a502b76f939920236cf86a20f',1,'DdHashItem::next()'],['../structDdSubtable.html#ab7d4e44285966307d5683079096d3ab2',1,'DdSubtable::next()'],['../structMove.html#a66ffd949928e547d99bd3192616f2c5e',1,'Move::next()'],['../structDdQueueItem.html#a0d21b7869d18ec60019c1bffaacf0a16',1,'DdQueueItem::next()'],['../structst__table__entry.html#a8c7fef89f13d76633cd71d595d39181d',1,'st_table_entry::next()'],['../classSVF_1_1List_1_1ListNode.html#a6fb535e702af0e4f54274050ee0c06c5',1,'SVF::List::ListNode::next()']]],
   ['nextdead',['nextDead',['../structDdManager.html#adfd3bf56eb28cf1bb21294982a4c8cb5',1,'DdManager']]],
   ['nextdyn',['nextDyn',['../structDdManager.html#a832f5099477ac37dbce551565c61496d',1,'DdManager']]],
@@ -26,6 +27,7 @@ var searchData=
   ['nodetorepmap',['nodeToRepMap',['../classSVF_1_1ConstraintGraph.html#ab1b5ee9202bd9f5d738f9850b42a45d2',1,'SVF::ConstraintGraph']]],
   ['nodetosubsmap',['nodeToSubsMap',['../classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60',1,'SVF::ConstraintGraph::nodeToSubsMap()'],['../classSVF_1_1Steensgaard.html#aca87fc74b6acb096a7165f105b14854b',1,'SVF::Steensgaard::nodeToSubsMap()']]],
   ['noncandidatefuncmhprelmap',['nonCandidateFuncMHPRelMap',['../classSVF_1_1MHP.html#a1f057ef082484a1997cb02287e063f00',1,'SVF::MHP']]],
+  ['nonterminals',['nonterminals',['../classSVF_1_1GrammarBase.html#a42edb89b4d782bfae800842f90da09ff',1,'SVF::GrammarBase']]],
   ['normalized',['normalized',['../classSVF_1_1CondPTAImpl.html#ab4115f25e2e477bfd73d01f069f47241',1,'SVF::CondPTAImpl']]],
   ['nortorepmap',['norToRepMap',['../classSVF_1_1OfflineConsG.html#a6eff43757344f75cd3775d473f14fd9c',1,'SVF::OfflineConsG']]],
   ['nullpointerid',['nullPointerId',['../classSVF_1_1NodeIDAllocator.html#a1e3a98be74d5dfd3b4c1b5f9c0941353',1,'SVF::NodeIDAllocator']]],

package/SVF-doxygen/html/html/st_8c.html

@@ -709,7 +709,8 @@ Variables</h2></td></tr>
 <p>SeeAlso [st_gen_int] </p>
 
 <p class="definition">Definition at line <a class="el" href="st_8c_source.html#l00644">644</a> of file <a class="el" href="st_8c_source.html">st.c</a>.</p>
-<div class="fragment"><div class="line"><a name="l00645"></a><span class="lineno">  645</span>&#160;{</div><div class="line"><a name="l00646"></a><span class="lineno">  646</span>&#160;    <span class="keywordtype">int</span> i;</div><div class="line"><a name="l00647"></a><span class="lineno">  647</span>&#160;</div><div class="line"><a name="l00648"></a><span class="lineno">  648</span>&#160;    <span class="keywordflow">if</span> (gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a> == <a class="code" href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a>(<a class="code" href="structst__table__entry.html">st_table_entry</a>)) {</div><div class="line"><a name="l00649"></a><span class="lineno">  649</span>&#160;    <span class="comment">/* try to find next entry */</span></div><div class="line"><a name="l00650"></a><span class="lineno">  650</span>&#160;    <span class="keywordflow">for</span>(i = gen-&gt;<a class="code" href="structst__generator.html#af2fe4c02d62ac650ad39cc28a424b798">index</a>; i &lt; gen-&gt;table-&gt;num_bins; i++) {</div><div class="line"><a name="l00651"></a><span class="lineno">  651</span>&#160;        <span class="keywordflow">if</span> (gen-&gt;<a class="code" href="structst__generator.html#ae75565c5656c86f95323740684912519">table</a>-&gt;<a class="code" href="structst__table.html#a8924d9633a796c5e6c03925c5344c1ad">bins</a>[i] != <a class="code" href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a>(<a class="code" href="structst__table__entry.html">st_table_entry</a>)) {</div><div class="line"><a name="l00652"></a><span class="lineno">  652</span>&#160;        gen-&gt;<a class="code" href="structst__generator.html#af2fe4c02d62ac650ad39cc28a424b798">index</a> = i+1;</div><div class="line"><a name="l00653"></a><span class="lineno">  653</span>&#160;        gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a> = gen-&gt;<a class="code" href="structst__generator.html#ae75565c5656c86f95323740684912519">table</a>-&gt;<a class="code" href="structst__table.html#a8924d9633a796c5e6c03925c5344c1ad">bins</a>[i];</div><div class="line"><a name="l00654"></a><span class="lineno">  654</span>&#160;        <span class="keywordflow">break</span>;</div><div class="line"><a name="l00655"></a><span class="lineno">  655</span>&#160;        }</div><div class="line"><a name="l00656"></a><span class="lineno">  656</span>&#160;    }</div><div class="line"><a name="l00657"></a><span class="lineno">  657</span>&#160;    <span class="keywordflow">if</span> (gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a> == <a class="code" href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a>(<a class="code" href="structst__table__entry.html">st_table_entry</a>)) {</div><div class="line"><a name="l00658"></a><span class="lineno">  658</span>&#160;        <span class="keywordflow">return</span> 0;       <span class="comment">/* that&#39;s all folks ! */</span></div><div class="line"><a name="l00659"></a><span class="lineno">  659</span>&#160;    }</div><div class="line"><a name="l00660"></a><span class="lineno">  660</span>&#160;    }</div><div class="line"><a name="l00661"></a><span class="lineno">  661</span>&#160;    *(<span class="keywordtype">char</span> **)key_p = gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a>-&gt;<a class="code" href="structst__table__entry.html#acc9640c0f32ceb25ca51446d93fc4495">key</a>;</div><div class="line"><a name="l00662"></a><span class="lineno">  662</span>&#160;    <a class="code" href="tools_2DDA_2CMakeLists_8txt.html#a7686df215f6da6fdcfa2c20950c96939">if</a> (value_p != <a class="code" href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a>(<span class="keywordtype">void</span>)) {</div><div class="line"><a name="l00663"></a><span class="lineno">  663</span>&#160;    *(<span class="keywordtype">char</span> **)value_p = gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a>-&gt;<a class="code" href="structst__table__entry.html#abebe2de41d7c13a541ffb1220ca69943">record</a>;</div><div class="line"><a name="l00664"></a><span class="lineno">  664</span>&#160;    }</div><div class="line"><a name="l00665"></a><span class="lineno">  665</span>&#160;    gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a> = gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a>-&gt;<a class="code" href="structst__table__entry.html#a8c7fef89f13d76633cd71d595d39181d">next</a>;</div><div class="line"><a name="l00666"></a><span class="lineno">  666</span>&#160;    <span class="keywordflow">return</span> 1;</div><div class="line"><a name="l00667"></a><span class="lineno">  667</span>&#160;</div><div class="line"><a name="l00668"></a><span class="lineno">  668</span>&#160;} <span class="comment">/* st_gen */</span></div><div class="ttc" id="structst__table__entry_html_a8c7fef89f13d76633cd71d595d39181d"><div class="ttname"><a href="structst__table__entry.html#a8c7fef89f13d76633cd71d595d39181d">st_table_entry::next</a></div><div class="ttdeci">st_table_entry * next</div><div class="ttdef"><b>Definition:</b> <a href="st_8h_source.html#l00056">st.h:56</a></div></div>
+<div class="fragment"><div class="line"><a name="l00645"></a><span class="lineno">  645</span>&#160;{</div><div class="line"><a name="l00646"></a><span class="lineno">  646</span>&#160;    <span class="keywordtype">int</span> i;</div><div class="line"><a name="l00647"></a><span class="lineno">  647</span>&#160;</div><div class="line"><a name="l00648"></a><span class="lineno">  648</span>&#160;    <span class="keywordflow">if</span> (gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a> == <a class="code" href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a>(<a class="code" href="structst__table__entry.html">st_table_entry</a>)) {</div><div class="line"><a name="l00649"></a><span class="lineno">  649</span>&#160;    <span class="comment">/* try to find next entry */</span></div><div class="line"><a name="l00650"></a><span class="lineno">  650</span>&#160;    <span class="keywordflow">for</span>(i = gen-&gt;<a class="code" href="structst__generator.html#af2fe4c02d62ac650ad39cc28a424b798">index</a>; i &lt; gen-&gt;table-&gt;num_bins; i++) {</div><div class="line"><a name="l00651"></a><span class="lineno">  651</span>&#160;        <span class="keywordflow">if</span> (gen-&gt;<a class="code" href="structst__generator.html#ae75565c5656c86f95323740684912519">table</a>-&gt;<a class="code" href="structst__table.html#a8924d9633a796c5e6c03925c5344c1ad">bins</a>[i] != <a class="code" href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a>(<a class="code" href="structst__table__entry.html">st_table_entry</a>)) {</div><div class="line"><a name="l00652"></a><span class="lineno">  652</span>&#160;        gen-&gt;<a class="code" href="structst__generator.html#af2fe4c02d62ac650ad39cc28a424b798">index</a> = i+1;</div><div class="line"><a name="l00653"></a><span class="lineno">  653</span>&#160;        gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a> = gen-&gt;<a class="code" href="structst__generator.html#ae75565c5656c86f95323740684912519">table</a>-&gt;<a class="code" href="structst__table.html#a8924d9633a796c5e6c03925c5344c1ad">bins</a>[i];</div><div class="line"><a name="l00654"></a><span class="lineno">  654</span>&#160;        <span class="keywordflow">break</span>;</div><div class="line"><a name="l00655"></a><span class="lineno">  655</span>&#160;        }</div><div class="line"><a name="l00656"></a><span class="lineno">  656</span>&#160;    }</div><div class="line"><a name="l00657"></a><span class="lineno">  657</span>&#160;    <span class="keywordflow">if</span> (gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a> == <a class="code" href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a>(<a class="code" href="structst__table__entry.html">st_table_entry</a>)) {</div><div class="line"><a name="l00658"></a><span class="lineno">  658</span>&#160;        <span class="keywordflow">return</span> 0;       <span class="comment">/* that&#39;s all folks ! */</span></div><div class="line"><a name="l00659"></a><span class="lineno">  659</span>&#160;    }</div><div class="line"><a name="l00660"></a><span class="lineno">  660</span>&#160;    }</div><div class="line"><a name="l00661"></a><span class="lineno">  661</span>&#160;    *(<span class="keywordtype">char</span> **)key_p = gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a>-&gt;<a class="code" href="structst__table__entry.html#acc9640c0f32ceb25ca51446d93fc4495">key</a>;</div><div class="line"><a name="l00662"></a><span class="lineno">  662</span>&#160;    <a class="code" href="tools_2CFL_2CMakeLists_8txt.html#aff8b1edecee3d7c397afcfe02e05d0c7">if</a> (value_p != <a class="code" href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a>(<span class="keywordtype">void</span>)) {</div><div class="line"><a name="l00663"></a><span class="lineno">  663</span>&#160;    *(<span class="keywordtype">char</span> **)value_p = gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a>-&gt;<a class="code" href="structst__table__entry.html#abebe2de41d7c13a541ffb1220ca69943">record</a>;</div><div class="line"><a name="l00664"></a><span class="lineno">  664</span>&#160;    }</div><div class="line"><a name="l00665"></a><span class="lineno">  665</span>&#160;    gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a> = gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a>-&gt;<a class="code" href="structst__table__entry.html#a8c7fef89f13d76633cd71d595d39181d">next</a>;</div><div class="line"><a name="l00666"></a><span class="lineno">  666</span>&#160;    <span class="keywordflow">return</span> 1;</div><div class="line"><a name="l00667"></a><span class="lineno">  667</span>&#160;</div><div class="line"><a name="l00668"></a><span class="lineno">  668</span>&#160;} <span class="comment">/* st_gen */</span></div><div class="ttc" id="tools_2CFL_2CMakeLists_8txt_html_aff8b1edecee3d7c397afcfe02e05d0c7"><div class="ttname"><a href="tools_2CFL_2CMakeLists_8txt.html#aff8b1edecee3d7c397afcfe02e05d0c7">if</a></div><div class="ttdeci">if(DEFINED IN_SOURCE_BUILD) set(LLVM_LINK_COMPONENTS BitWriter Core IPO IrReader InstCombine Instrumentation Target Linker Analysis ScalarOpts Support Svf Cudd) add_llvm_tool(cfl cfl.cpp) else() add_executable(cfl cfl.cpp) target_link_libraries(cfl Svf Cudd $</div><div class="ttdef"><b>Definition:</b> <a href="tools_2CFL_2CMakeLists_8txt_source.html#l00002">CMakeLists.txt:2</a></div></div>
+<div class="ttc" id="structst__table__entry_html_a8c7fef89f13d76633cd71d595d39181d"><div class="ttname"><a href="structst__table__entry.html#a8c7fef89f13d76633cd71d595d39181d">st_table_entry::next</a></div><div class="ttdeci">st_table_entry * next</div><div class="ttdef"><b>Definition:</b> <a href="st_8h_source.html#l00056">st.h:56</a></div></div>
 <div class="ttc" id="structst__generator_html_ae75565c5656c86f95323740684912519"><div class="ttname"><a href="structst__generator.html#ae75565c5656c86f95323740684912519">st_generator::table</a></div><div class="ttdeci">st_table * table</div><div class="ttdef"><b>Definition:</b> <a href="st_8h_source.html#l00073">st.h:73</a></div></div>
 <div class="ttc" id="structst__table__entry_html"><div class="ttname"><a href="structst__table__entry.html">st_table_entry</a></div><div class="ttdef"><b>Definition:</b> <a href="st_8h_source.html#l00053">st.h:53</a></div></div>
 <div class="ttc" id="util_8h_html_a31bfee01545b78af63301bf9e857218b"><div class="ttname"><a href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a></div><div class="ttdeci">#define NIL(type)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00044">util.h:44</a></div></div>
@@ -718,7 +719,6 @@ Variables</h2></td></tr>
 <div class="ttc" id="structst__table__entry_html_acc9640c0f32ceb25ca51446d93fc4495"><div class="ttname"><a href="structst__table__entry.html#acc9640c0f32ceb25ca51446d93fc4495">st_table_entry::key</a></div><div class="ttdeci">char * key</div><div class="ttdef"><b>Definition:</b> <a href="st_8h_source.html#l00054">st.h:54</a></div></div>
 <div class="ttc" id="structst__table_html_a8924d9633a796c5e6c03925c5344c1ad"><div class="ttname"><a href="structst__table.html#a8924d9633a796c5e6c03925c5344c1ad">st_table::bins</a></div><div class="ttdeci">st_table_entry ** bins</div><div class="ttdef"><b>Definition:</b> <a href="st_8h_source.html#l00068">st.h:68</a></div></div>
 <div class="ttc" id="structst__generator_html_a950d044c22c5ee51f1dc00fbc82f7e35"><div class="ttname"><a href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">st_generator::entry</a></div><div class="ttdeci">st_table_entry * entry</div><div class="ttdef"><b>Definition:</b> <a href="st_8h_source.html#l00074">st.h:74</a></div></div>
-<div class="ttc" id="tools_2DDA_2CMakeLists_8txt_html_a7686df215f6da6fdcfa2c20950c96939"><div class="ttname"><a href="tools_2DDA_2CMakeLists_8txt.html#a7686df215f6da6fdcfa2c20950c96939">if</a></div><div class="ttdeci">if(DEFINED IN_SOURCE_BUILD) set(LLVM_LINK_COMPONENTS BitWriter Core IPO IrReader InstCombine Instrumentation Target Linker Analysis ScalarOpts Support Svf Cudd) add_llvm_tool(dvf dda.cpp) else() add_executable(dvf dda.cpp) target_link_libraries(dvf Svf Cudd $</div><div class="ttdef"><b>Definition:</b> <a href="tools_2DDA_2CMakeLists_8txt_source.html#l00002">CMakeLists.txt:2</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -760,7 +760,8 @@ Variables</h2></td></tr>
 <p>SeeAlso [st_gen] </p>
 
 <p class="definition">Definition at line <a class="el" href="st_8c_source.html#l00689">689</a> of file <a class="el" href="st_8c_source.html">st.c</a>.</p>
-<div class="fragment"><div class="line"><a name="l00690"></a><span class="lineno">  690</span>&#160;{</div><div class="line"><a name="l00691"></a><span class="lineno">  691</span>&#160;    <span class="keywordtype">int</span> i;</div><div class="line"><a name="l00692"></a><span class="lineno">  692</span>&#160;</div><div class="line"><a name="l00693"></a><span class="lineno">  693</span>&#160;    <span class="keywordflow">if</span> (gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a> == <a class="code" href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a>(<a class="code" href="structst__table__entry.html">st_table_entry</a>)) {</div><div class="line"><a name="l00694"></a><span class="lineno">  694</span>&#160;    <span class="comment">/* try to find next entry */</span></div><div class="line"><a name="l00695"></a><span class="lineno">  695</span>&#160;    <span class="keywordflow">for</span>(i = gen-&gt;<a class="code" href="structst__generator.html#af2fe4c02d62ac650ad39cc28a424b798">index</a>; i &lt; gen-&gt;table-&gt;num_bins; i++) {</div><div class="line"><a name="l00696"></a><span class="lineno">  696</span>&#160;        <span class="keywordflow">if</span> (gen-&gt;<a class="code" href="structst__generator.html#ae75565c5656c86f95323740684912519">table</a>-&gt;<a class="code" href="structst__table.html#a8924d9633a796c5e6c03925c5344c1ad">bins</a>[i] != <a class="code" href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a>(<a class="code" href="structst__table__entry.html">st_table_entry</a>)) {</div><div class="line"><a name="l00697"></a><span class="lineno">  697</span>&#160;        gen-&gt;<a class="code" href="structst__generator.html#af2fe4c02d62ac650ad39cc28a424b798">index</a> = i+1;</div><div class="line"><a name="l00698"></a><span class="lineno">  698</span>&#160;        gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a> = gen-&gt;<a class="code" href="structst__generator.html#ae75565c5656c86f95323740684912519">table</a>-&gt;<a class="code" href="structst__table.html#a8924d9633a796c5e6c03925c5344c1ad">bins</a>[i];</div><div class="line"><a name="l00699"></a><span class="lineno">  699</span>&#160;        <span class="keywordflow">break</span>;</div><div class="line"><a name="l00700"></a><span class="lineno">  700</span>&#160;        }</div><div class="line"><a name="l00701"></a><span class="lineno">  701</span>&#160;    }</div><div class="line"><a name="l00702"></a><span class="lineno">  702</span>&#160;    <span class="keywordflow">if</span> (gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a> == <a class="code" href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a>(<a class="code" href="structst__table__entry.html">st_table_entry</a>)) {</div><div class="line"><a name="l00703"></a><span class="lineno">  703</span>&#160;        <span class="keywordflow">return</span> 0;       <span class="comment">/* that&#39;s all folks ! */</span></div><div class="line"><a name="l00704"></a><span class="lineno">  704</span>&#160;    }</div><div class="line"><a name="l00705"></a><span class="lineno">  705</span>&#160;    }</div><div class="line"><a name="l00706"></a><span class="lineno">  706</span>&#160;    *(<span class="keywordtype">char</span> **)key_p = gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a>-&gt;<a class="code" href="structst__table__entry.html#acc9640c0f32ceb25ca51446d93fc4495">key</a>;</div><div class="line"><a name="l00707"></a><span class="lineno">  707</span>&#160;    <a class="code" href="tools_2DDA_2CMakeLists_8txt.html#a7686df215f6da6fdcfa2c20950c96939">if</a> (value_p != <a class="code" href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a>(<span class="keywordtype">int</span>)) {</div><div class="line"><a name="l00708"></a><span class="lineno">  708</span>&#160;    *value_p = (int) (<span class="keywordtype">long</span>) gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a>-&gt;<a class="code" href="structst__table__entry.html#abebe2de41d7c13a541ffb1220ca69943">record</a>;</div><div class="line"><a name="l00709"></a><span class="lineno">  709</span>&#160;    }</div><div class="line"><a name="l00710"></a><span class="lineno">  710</span>&#160;    gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a> = gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a>-&gt;<a class="code" href="structst__table__entry.html#a8c7fef89f13d76633cd71d595d39181d">next</a>;</div><div class="line"><a name="l00711"></a><span class="lineno">  711</span>&#160;    <span class="keywordflow">return</span> 1;</div><div class="line"><a name="l00712"></a><span class="lineno">  712</span>&#160;</div><div class="line"><a name="l00713"></a><span class="lineno">  713</span>&#160;} <span class="comment">/* st_gen_int */</span></div><div class="ttc" id="structst__table__entry_html_a8c7fef89f13d76633cd71d595d39181d"><div class="ttname"><a href="structst__table__entry.html#a8c7fef89f13d76633cd71d595d39181d">st_table_entry::next</a></div><div class="ttdeci">st_table_entry * next</div><div class="ttdef"><b>Definition:</b> <a href="st_8h_source.html#l00056">st.h:56</a></div></div>
+<div class="fragment"><div class="line"><a name="l00690"></a><span class="lineno">  690</span>&#160;{</div><div class="line"><a name="l00691"></a><span class="lineno">  691</span>&#160;    <span class="keywordtype">int</span> i;</div><div class="line"><a name="l00692"></a><span class="lineno">  692</span>&#160;</div><div class="line"><a name="l00693"></a><span class="lineno">  693</span>&#160;    <span class="keywordflow">if</span> (gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a> == <a class="code" href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a>(<a class="code" href="structst__table__entry.html">st_table_entry</a>)) {</div><div class="line"><a name="l00694"></a><span class="lineno">  694</span>&#160;    <span class="comment">/* try to find next entry */</span></div><div class="line"><a name="l00695"></a><span class="lineno">  695</span>&#160;    <span class="keywordflow">for</span>(i = gen-&gt;<a class="code" href="structst__generator.html#af2fe4c02d62ac650ad39cc28a424b798">index</a>; i &lt; gen-&gt;table-&gt;num_bins; i++) {</div><div class="line"><a name="l00696"></a><span class="lineno">  696</span>&#160;        <span class="keywordflow">if</span> (gen-&gt;<a class="code" href="structst__generator.html#ae75565c5656c86f95323740684912519">table</a>-&gt;<a class="code" href="structst__table.html#a8924d9633a796c5e6c03925c5344c1ad">bins</a>[i] != <a class="code" href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a>(<a class="code" href="structst__table__entry.html">st_table_entry</a>)) {</div><div class="line"><a name="l00697"></a><span class="lineno">  697</span>&#160;        gen-&gt;<a class="code" href="structst__generator.html#af2fe4c02d62ac650ad39cc28a424b798">index</a> = i+1;</div><div class="line"><a name="l00698"></a><span class="lineno">  698</span>&#160;        gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a> = gen-&gt;<a class="code" href="structst__generator.html#ae75565c5656c86f95323740684912519">table</a>-&gt;<a class="code" href="structst__table.html#a8924d9633a796c5e6c03925c5344c1ad">bins</a>[i];</div><div class="line"><a name="l00699"></a><span class="lineno">  699</span>&#160;        <span class="keywordflow">break</span>;</div><div class="line"><a name="l00700"></a><span class="lineno">  700</span>&#160;        }</div><div class="line"><a name="l00701"></a><span class="lineno">  701</span>&#160;    }</div><div class="line"><a name="l00702"></a><span class="lineno">  702</span>&#160;    <span class="keywordflow">if</span> (gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a> == <a class="code" href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a>(<a class="code" href="structst__table__entry.html">st_table_entry</a>)) {</div><div class="line"><a name="l00703"></a><span class="lineno">  703</span>&#160;        <span class="keywordflow">return</span> 0;       <span class="comment">/* that&#39;s all folks ! */</span></div><div class="line"><a name="l00704"></a><span class="lineno">  704</span>&#160;    }</div><div class="line"><a name="l00705"></a><span class="lineno">  705</span>&#160;    }</div><div class="line"><a name="l00706"></a><span class="lineno">  706</span>&#160;    *(<span class="keywordtype">char</span> **)key_p = gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a>-&gt;<a class="code" href="structst__table__entry.html#acc9640c0f32ceb25ca51446d93fc4495">key</a>;</div><div class="line"><a name="l00707"></a><span class="lineno">  707</span>&#160;    <a class="code" href="tools_2CFL_2CMakeLists_8txt.html#aff8b1edecee3d7c397afcfe02e05d0c7">if</a> (value_p != <a class="code" href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a>(<span class="keywordtype">int</span>)) {</div><div class="line"><a name="l00708"></a><span class="lineno">  708</span>&#160;    *value_p = (int) (<span class="keywordtype">long</span>) gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a>-&gt;<a class="code" href="structst__table__entry.html#abebe2de41d7c13a541ffb1220ca69943">record</a>;</div><div class="line"><a name="l00709"></a><span class="lineno">  709</span>&#160;    }</div><div class="line"><a name="l00710"></a><span class="lineno">  710</span>&#160;    gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a> = gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a>-&gt;<a class="code" href="structst__table__entry.html#a8c7fef89f13d76633cd71d595d39181d">next</a>;</div><div class="line"><a name="l00711"></a><span class="lineno">  711</span>&#160;    <span class="keywordflow">return</span> 1;</div><div class="line"><a name="l00712"></a><span class="lineno">  712</span>&#160;</div><div class="line"><a name="l00713"></a><span class="lineno">  713</span>&#160;} <span class="comment">/* st_gen_int */</span></div><div class="ttc" id="tools_2CFL_2CMakeLists_8txt_html_aff8b1edecee3d7c397afcfe02e05d0c7"><div class="ttname"><a href="tools_2CFL_2CMakeLists_8txt.html#aff8b1edecee3d7c397afcfe02e05d0c7">if</a></div><div class="ttdeci">if(DEFINED IN_SOURCE_BUILD) set(LLVM_LINK_COMPONENTS BitWriter Core IPO IrReader InstCombine Instrumentation Target Linker Analysis ScalarOpts Support Svf Cudd) add_llvm_tool(cfl cfl.cpp) else() add_executable(cfl cfl.cpp) target_link_libraries(cfl Svf Cudd $</div><div class="ttdef"><b>Definition:</b> <a href="tools_2CFL_2CMakeLists_8txt_source.html#l00002">CMakeLists.txt:2</a></div></div>
+<div class="ttc" id="structst__table__entry_html_a8c7fef89f13d76633cd71d595d39181d"><div class="ttname"><a href="structst__table__entry.html#a8c7fef89f13d76633cd71d595d39181d">st_table_entry::next</a></div><div class="ttdeci">st_table_entry * next</div><div class="ttdef"><b>Definition:</b> <a href="st_8h_source.html#l00056">st.h:56</a></div></div>
 <div class="ttc" id="structst__generator_html_ae75565c5656c86f95323740684912519"><div class="ttname"><a href="structst__generator.html#ae75565c5656c86f95323740684912519">st_generator::table</a></div><div class="ttdeci">st_table * table</div><div class="ttdef"><b>Definition:</b> <a href="st_8h_source.html#l00073">st.h:73</a></div></div>
 <div class="ttc" id="structst__table__entry_html"><div class="ttname"><a href="structst__table__entry.html">st_table_entry</a></div><div class="ttdef"><b>Definition:</b> <a href="st_8h_source.html#l00053">st.h:53</a></div></div>
 <div class="ttc" id="util_8h_html_a31bfee01545b78af63301bf9e857218b"><div class="ttname"><a href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a></div><div class="ttdeci">#define NIL(type)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00044">util.h:44</a></div></div>
@@ -769,7 +770,6 @@ Variables</h2></td></tr>
 <div class="ttc" id="structst__table__entry_html_acc9640c0f32ceb25ca51446d93fc4495"><div class="ttname"><a href="structst__table__entry.html#acc9640c0f32ceb25ca51446d93fc4495">st_table_entry::key</a></div><div class="ttdeci">char * key</div><div class="ttdef"><b>Definition:</b> <a href="st_8h_source.html#l00054">st.h:54</a></div></div>
 <div class="ttc" id="structst__table_html_a8924d9633a796c5e6c03925c5344c1ad"><div class="ttname"><a href="structst__table.html#a8924d9633a796c5e6c03925c5344c1ad">st_table::bins</a></div><div class="ttdeci">st_table_entry ** bins</div><div class="ttdef"><b>Definition:</b> <a href="st_8h_source.html#l00068">st.h:68</a></div></div>
 <div class="ttc" id="structst__generator_html_a950d044c22c5ee51f1dc00fbc82f7e35"><div class="ttname"><a href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">st_generator::entry</a></div><div class="ttdeci">st_table_entry * entry</div><div class="ttdef"><b>Definition:</b> <a href="st_8h_source.html#l00074">st.h:74</a></div></div>
-<div class="ttc" id="tools_2DDA_2CMakeLists_8txt_html_a7686df215f6da6fdcfa2c20950c96939"><div class="ttname"><a href="tools_2DDA_2CMakeLists_8txt.html#a7686df215f6da6fdcfa2c20950c96939">if</a></div><div class="ttdeci">if(DEFINED IN_SOURCE_BUILD) set(LLVM_LINK_COMPONENTS BitWriter Core IPO IrReader InstCombine Instrumentation Target Linker Analysis ScalarOpts Support Svf Cudd) add_llvm_tool(dvf dda.cpp) else() add_executable(dvf dda.cpp) target_link_libraries(dvf Svf Cudd $</div><div class="ttdef"><b>Definition:</b> <a href="tools_2DDA_2CMakeLists_8txt_source.html#l00002">CMakeLists.txt:2</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>