svf-tools 1.0.477 → 1.0.480
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/SVF-doxygen/html/html/Andersen_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/Andersen_8h_source.html +1 -1
- package/SVF-doxygen/html/html/BreakConstantExpr_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/CFGNormalizer_8cpp.html +5 -4
- package/SVF-doxygen/html/html/CFGNormalizer_8cpp_source.html +50 -40
- package/SVF-doxygen/html/html/CFGNormalizer_8h_source.html +20 -18
- package/SVF-doxygen/html/html/CFLAlias_8cpp.html +80 -0
- package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +107 -0
- package/SVF-doxygen/html/html/CFLAlias_8h_source.html +14 -35
- package/SVF-doxygen/html/html/CFLGramGraphChecker_8h_source.html +10 -10
- package/SVF-doxygen/html/html/CFLGrammar_8cpp.html +1 -0
- package/SVF-doxygen/html/html/CFLGrammar_8cpp_source.html +34 -23
- package/SVF-doxygen/html/html/CFLGrammar_8h.html +9 -1
- package/SVF-doxygen/html/html/CFLGrammar_8h_source.html +106 -62
- package/SVF-doxygen/html/html/CFLGrammar_8txt.html +58 -151
- package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +24 -11
- package/SVF-doxygen/html/html/CFLGraphBuilder_8h.html +2 -0
- package/SVF-doxygen/html/html/CFLGraphBuilder_8h_source.html +18 -19
- package/SVF-doxygen/html/html/CFLGraph_8cpp_source.html +27 -16
- package/SVF-doxygen/html/html/CFLGraph_8h_source.html +20 -16
- package/SVF-doxygen/html/html/CFLSolver_8cpp_source.html +14 -14
- package/SVF-doxygen/html/html/CFLSolver_8h_source.html +5 -5
- package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/CHGBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/html/CHG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/CHG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/CPPUtil_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/CPPUtil_8h.html +4 -4
- package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/CallGraphBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/html/ConsGEdge_8h_source.html +7 -7
- package/SVF-doxygen/html/html/ConsGNode_8h_source.html +5 -5
- package/SVF-doxygen/html/html/ConsG_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/ConsG_8h_source.html +2 -2
- package/SVF-doxygen/html/html/DCHG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/DataFlowUtil_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +36 -32
- package/SVF-doxygen/html/html/ExtAPI_8h.html +36 -0
- package/SVF-doxygen/html/html/ExtAPI_8h_source.html +66 -64
- package/SVF-doxygen/html/html/GEPTypeBridgeIterator_8h_source.html +1 -1
- package/SVF-doxygen/html/html/GenericGraph_8h_source.html +1 -1
- package/SVF-doxygen/html/html/GrammarBuilder_8cpp_source.html +14 -17
- package/SVF-doxygen/html/html/GrammarBuilder_8h.html +0 -1
- package/SVF-doxygen/html/html/GrammarBuilder_8h_source.html +9 -11
- package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +5 -3
- package/SVF-doxygen/html/html/GraphPrinter_8h_source.html +2 -2
- package/SVF-doxygen/html/html/ICFG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/ICFG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/IRGraph_8h_source.html +1 -1
- package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MHP_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +1 -1
- package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MTAResultValidator_8h_source.html +1 -1
- package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MTA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MTA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/OfflineConsG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/OfflineConsG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/PCG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +1 -1
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFBasicTypes_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFUtil_8h.html +1 -1
- package/SVF-doxygen/html/html/SVFUtil_8h_source.html +8 -8
- package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/TCT_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/TCT_8h_source.html +1 -1
- package/SVF-doxygen/html/html/ThreadAPI_8h_source.html +1 -1
- package/SVF-doxygen/html/html/Util_2BasicTypes_8h.html +1 -1
- package/SVF-doxygen/html/html/VFG_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/VFG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/annotated.html +298 -293
- package/SVF-doxygen/html/html/cfl_8cpp.html +2 -2
- package/SVF-doxygen/html/html/cfl_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder-members.html +96 -0
- package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.html +197 -0
- package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenHCD.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenHLCD.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenLCD.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1BreakConstantGEPs.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer-members.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer.html +108 -99
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +52 -39
- package/SVF-doxygen/html/html/classSVF_1_1CFLEdge-members.html +3 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFLEdge.html +62 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFLFIFOWorkList-members.html +91 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFLFIFOWorkList.html +459 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFLGrammar-members.html +47 -38
- package/SVF-doxygen/html/html/classSVF_1_1CFLGrammar.html +180 -137
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraph-members.html +21 -20
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraph.html +44 -22
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder-members.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder.html +53 -43
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFLNode.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1CFLSolver.html +14 -14
- package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode-members.html +26 -26
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode.html +43 -43
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI-members.html +5 -4
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +158 -125
- package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +20 -21
- package/SVF-doxygen/html/html/classSVF_1_1GenericNode.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBase-members.html +29 -21
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBase.html +397 -179
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBase_1_1SymbolHash-members.html +81 -0
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBase_1_1SymbolHash.html +124 -0
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBuilder-members.html +6 -7
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBuilder.html +73 -91
- package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1MHP.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1MTA.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PCG.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +14 -14
- package/SVF-doxygen/html/html/classSVF_1_1SaberCheckerAPI.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1VariantGepCGEdge.html +11 -11
- package/SVF-doxygen/html/html/classes.html +105 -106
- package/SVF-doxygen/html/html/classllvm_1_1GraphPrinter.html +1 -1
- package/SVF-doxygen/html/html/cuddInt_8c.html +17 -17
- package/SVF-doxygen/html/html/cuddInt_8c_source.html +3 -3
- package/SVF-doxygen/html/html/cuddInt_8h.html +5 -5
- package/SVF-doxygen/html/html/cudd_8h.html +9 -9
- package/SVF-doxygen/html/html/cudd_8h_source.html +1 -1
- package/SVF-doxygen/html/html/dda_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/dir_98f9a352f241e0e917d4efaa4086f6e8.html +2 -0
- package/SVF-doxygen/html/html/files.html +5 -4
- package/SVF-doxygen/html/html/functions_0x7e.html +3 -0
- package/SVF-doxygen/html/html/functions_a.html +14 -8
- package/SVF-doxygen/html/html/functions_b.html +4 -3
- package/SVF-doxygen/html/html/functions_c.html +37 -35
- package/SVF-doxygen/html/html/functions_d.html +8 -4
- package/SVF-doxygen/html/html/functions_e.html +15 -8
- package/SVF-doxygen/html/html/functions_f.html +16 -17
- package/SVF-doxygen/html/html/functions_func.html +1 -1
- package/SVF-doxygen/html/html/functions_func_0x7e.html +3 -0
- package/SVF-doxygen/html/html/functions_func_b.html +3 -2
- package/SVF-doxygen/html/html/functions_func_c.html +32 -28
- package/SVF-doxygen/html/html/functions_func_e.html +14 -7
- package/SVF-doxygen/html/html/functions_func_f.html +3 -2
- package/SVF-doxygen/html/html/functions_func_g.html +22 -18
- package/SVF-doxygen/html/html/functions_func_i.html +18 -9
- package/SVF-doxygen/html/html/functions_func_l.html +2 -5
- package/SVF-doxygen/html/html/functions_func_o.html +20 -5
- package/SVF-doxygen/html/html/functions_func_p.html +9 -7
- package/SVF-doxygen/html/html/functions_func_s.html +12 -6
- package/SVF-doxygen/html/html/functions_g.html +25 -21
- package/SVF-doxygen/html/html/functions_i.html +29 -20
- package/SVF-doxygen/html/html/functions_k.html +2 -1
- package/SVF-doxygen/html/html/functions_l.html +1 -4
- package/SVF-doxygen/html/html/functions_n.html +1 -1
- package/SVF-doxygen/html/html/functions_o.html +24 -15
- package/SVF-doxygen/html/html/functions_p.html +18 -18
- package/SVF-doxygen/html/html/functions_r.html +5 -5
- package/SVF-doxygen/html/html/functions_s.html +24 -16
- package/SVF-doxygen/html/html/functions_t.html +5 -7
- package/SVF-doxygen/html/html/functions_type_d.html +4 -2
- package/SVF-doxygen/html/html/functions_type_p.html +1 -1
- package/SVF-doxygen/html/html/functions_type_s.html +7 -1
- package/SVF-doxygen/html/html/functions_type_v.html +3 -0
- package/SVF-doxygen/html/html/functions_v.html +7 -1
- package/SVF-doxygen/html/html/functions_vars_a.html +6 -0
- package/SVF-doxygen/html/html/functions_vars_c.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_d.html +4 -2
- package/SVF-doxygen/html/html/functions_vars_e.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_f.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_k.html +1 -0
- package/SVF-doxygen/html/html/functions_vars_n.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_r.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_s.html +2 -2
- package/SVF-doxygen/html/html/functions_vars_t.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_v.html +3 -0
- package/SVF-doxygen/html/html/functions_w.html +6 -10
- package/SVF-doxygen/html/html/globals.html +1 -2
- package/SVF-doxygen/html/html/globals_a.html +1 -6
- package/SVF-doxygen/html/html/globals_c.html +129 -126
- package/SVF-doxygen/html/html/globals_defs_j.html +6 -0
- package/SVF-doxygen/html/html/globals_e.html +7 -8
- package/SVF-doxygen/html/html/globals_f.html +6 -12
- package/SVF-doxygen/html/html/globals_func.html +0 -6
- package/SVF-doxygen/html/html/globals_func_f.html +0 -8
- package/SVF-doxygen/html/html/globals_g.html +4 -2
- package/SVF-doxygen/html/html/globals_j.html +6 -0
- package/SVF-doxygen/html/html/globals_l.html +3 -0
- package/SVF-doxygen/html/html/globals_s.html +7 -9
- package/SVF-doxygen/html/html/globals_v.html +3 -0
- package/SVF-doxygen/html/html/globals_vars.html +17 -13
- package/SVF-doxygen/html/html/hierarchy.html +449 -444
- package/SVF-doxygen/html/html/mta_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/namespaceSVF.html +8 -4
- package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +2 -2
- package/SVF-doxygen/html/html/namespaceSVF_1_1cppUtil.html +8 -8
- package/SVF-doxygen/html/html/saber_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/search/all_0.js +1 -1
- package/SVF-doxygen/html/html/search/all_1.js +5 -4
- package/SVF-doxygen/html/html/search/all_10.js +12 -12
- package/SVF-doxygen/html/html/search/all_12.js +3 -3
- package/SVF-doxygen/html/html/search/all_13.js +22 -17
- package/SVF-doxygen/html/html/search/all_14.js +5 -5
- package/SVF-doxygen/html/html/search/all_15.js +1 -1
- package/SVF-doxygen/html/html/search/all_16.js +2 -0
- package/SVF-doxygen/html/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/html/search/all_1b.js +1 -0
- package/SVF-doxygen/html/html/search/all_2.js +2 -2
- package/SVF-doxygen/html/html/search/all_3.js +7 -6
- package/SVF-doxygen/html/html/search/all_4.js +5 -5
- package/SVF-doxygen/html/html/search/all_5.js +7 -5
- package/SVF-doxygen/html/html/search/all_6.js +4 -4
- package/SVF-doxygen/html/html/search/all_7.js +11 -9
- package/SVF-doxygen/html/html/search/all_9.js +8 -5
- package/SVF-doxygen/html/html/search/all_a.js +2 -0
- package/SVF-doxygen/html/html/search/all_b.js +1 -1
- package/SVF-doxygen/html/html/search/all_c.js +1 -2
- package/SVF-doxygen/html/html/search/all_d.js +1 -1
- package/SVF-doxygen/html/html/search/all_e.js +4 -4
- package/SVF-doxygen/html/html/search/all_f.js +9 -6
- package/SVF-doxygen/html/html/search/classes_0.js +1 -0
- package/SVF-doxygen/html/html/search/classes_2.js +1 -0
- package/SVF-doxygen/html/html/search/classes_f.js +3 -0
- package/SVF-doxygen/html/html/search/defines_8.js +2 -0
- package/SVF-doxygen/html/html/search/files_2.js +1 -1
- package/SVF-doxygen/html/html/search/functions_0.js +1 -3
- package/SVF-doxygen/html/html/search/functions_1.js +2 -2
- package/SVF-doxygen/html/html/search/functions_11.js +4 -2
- package/SVF-doxygen/html/html/search/functions_17.js +1 -0
- package/SVF-doxygen/html/html/search/functions_2.js +3 -2
- package/SVF-doxygen/html/html/search/functions_3.js +1 -1
- package/SVF-doxygen/html/html/search/functions_4.js +5 -3
- package/SVF-doxygen/html/html/search/functions_5.js +1 -3
- package/SVF-doxygen/html/html/search/functions_6.js +9 -8
- package/SVF-doxygen/html/html/search/functions_8.js +4 -1
- package/SVF-doxygen/html/html/search/functions_b.js +0 -1
- package/SVF-doxygen/html/html/search/functions_e.js +8 -5
- package/SVF-doxygen/html/html/search/functions_f.js +4 -4
- package/SVF-doxygen/html/html/search/typedefs_11.js +3 -1
- package/SVF-doxygen/html/html/search/typedefs_14.js +1 -0
- package/SVF-doxygen/html/html/search/typedefs_3.js +2 -2
- package/SVF-doxygen/html/html/search/typedefs_f.js +1 -1
- package/SVF-doxygen/html/html/search/variables_0.js +1 -1
- package/SVF-doxygen/html/html/search/variables_1.js +3 -2
- package/SVF-doxygen/html/html/search/variables_12.js +1 -1
- package/SVF-doxygen/html/html/search/variables_13.js +2 -2
- package/SVF-doxygen/html/html/search/variables_14.js +2 -2
- package/SVF-doxygen/html/html/search/variables_15.js +1 -1
- package/SVF-doxygen/html/html/search/variables_16.js +2 -0
- package/SVF-doxygen/html/html/search/variables_3.js +2 -2
- package/SVF-doxygen/html/html/search/variables_4.js +2 -2
- package/SVF-doxygen/html/html/search/variables_5.js +2 -2
- package/SVF-doxygen/html/html/search/variables_6.js +3 -3
- package/SVF-doxygen/html/html/search/variables_7.js +2 -1
- package/SVF-doxygen/html/html/search/variables_b.js +1 -1
- package/SVF-doxygen/html/html/search/variables_c.js +1 -0
- package/SVF-doxygen/html/html/search/variables_e.js +3 -3
- package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1Symbol-members.html +98 -0
- package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1Symbol.html +652 -0
- package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1SymbolVectorHash-members.html +81 -0
- package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1SymbolVectorHash.html +124 -0
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html +22 -15
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +4 -2
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html +4 -2
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4.html +1 -1
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html +2 -2
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.html +1 -1
- package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/wpa_8cpp_source.html +1 -1
- package/include/CFL/CFGNormalizer.h +14 -9
- package/include/CFL/CFLAlias.h +1 -40
- package/include/CFL/CFLGrammar.h +246 -31
- package/include/CFL/CFLGrammar.txt +13 -15
- package/include/CFL/CFLGraphBuilder.h +27 -29
- package/include/CFL/GrammarBuilder.h +34 -14
- package/include/Graphs/CFLGraph.h +12 -0
- package/include/Graphs/ConsGEdge.h +1 -0
- package/include/SVF-FE/CallGraphBuilder.h +2 -2
- package/include/Util/ExtAPI.h +59 -42
- package/lib/CFL/CFGNormalizer.cpp +138 -86
- package/lib/CFL/CFLAlias.cpp +73 -0
- package/lib/CFL/CFLGrammar.cpp +115 -16
- package/lib/CFL/CFLGraphBuilder.cpp +64 -1
- package/lib/CFL/GrammarBuilder.cpp +42 -60
- package/lib/Graphs/CFLGraph.cpp +41 -1
- package/lib/MemoryModel/LocationSet.cpp +1 -1
- package/lib/SVF-FE/SVFIRBuilder.cpp +2 -2
- package/lib/Util/ExtAPI.cpp +34 -2
- package/lib/Util/ExtAPI.json +3268 -2585
- package/package.json +1 -1
- package/clean.sh +0 -10
- package/include/CFL/CFLGrammarDev.txt +0 -16
|
@@ -59,286 +59,193 @@ $(function() {
|
|
|
59
59
|
</div><!-- top -->
|
|
60
60
|
<div class="header">
|
|
61
61
|
<div class="summary">
|
|
62
|
-
<a href="#func-members">Functions</a> |
|
|
63
62
|
<a href="#var-members">Variables</a> </div>
|
|
64
63
|
<div class="headertitle">
|
|
65
64
|
<div class="title">/home/runner/work/SVF/SVF/include/CFL/CFLGrammar.txt File Reference</div> </div>
|
|
66
65
|
</div><!--header-->
|
|
67
66
|
<div class="contents">
|
|
68
67
|
<table class="memberdecls">
|
|
69
|
-
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="func-members"></a>
|
|
70
|
-
Functions</h2></td></tr>
|
|
71
|
-
<tr class="memitem:a6434ab7c4bf9aff40fdc0eccb3b2233b"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammarDev_8txt.html#a5526c6e27f7632db909dee64f361d2c9">F</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a6434ab7c4bf9aff40fdc0eccb3b2233b">Addr</a> (Copy) *</td></tr>
|
|
72
|
-
<tr class="separator:a6434ab7c4bf9aff40fdc0eccb3b2233b"><td class="memSeparator" colspan="2"> </td></tr>
|
|
73
|
-
<tr class="memitem:a31f4235535454cb2ef4e9f913aae1fdb"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammarDev_8txt.html#a5526c6e27f7632db909dee64f361d2c9">F</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a31f4235535454cb2ef4e9f913aae1fdb">Addr</a> (Store V Load) *</td></tr>
|
|
74
|
-
<tr class="separator:a31f4235535454cb2ef4e9f913aae1fdb"><td class="memSeparator" colspan="2"> </td></tr>
|
|
75
|
-
<tr class="memitem:ab3e8365e4019f02941439ff7980d8972"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#ab3e8365e4019f02941439ff7980d8972">F</a> (Copy) *</td></tr>
|
|
76
|
-
<tr class="separator:ab3e8365e4019f02941439ff7980d8972"><td class="memSeparator" colspan="2"> </td></tr>
|
|
77
|
-
<tr class="memitem:a5526c6e27f7632db909dee64f361d2c9"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a5526c6e27f7632db909dee64f361d2c9">F</a> (Store V Load) *</td></tr>
|
|
78
|
-
<tr class="separator:a5526c6e27f7632db909dee64f361d2c9"><td class="memSeparator" colspan="2"> </td></tr>
|
|
79
|
-
<tr class="memitem:abe55d46cd4b862944984f96d21c66c6d"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammarDev_8txt.html#ad0247f340ac95d507af8a6fae307c193">Fbar</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#abe55d46cd4b862944984f96d21c66c6d">Addrbar</a> (Copybar) *</td></tr>
|
|
80
|
-
<tr class="separator:abe55d46cd4b862944984f96d21c66c6d"><td class="memSeparator" colspan="2"> </td></tr>
|
|
81
|
-
<tr class="memitem:afb4c9b0a496866ec32706fadad690e73"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammarDev_8txt.html#ad0247f340ac95d507af8a6fae307c193">Fbar</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#afb4c9b0a496866ec32706fadad690e73">Addrbar</a> (Loadbar V Storebar) *</td></tr>
|
|
82
|
-
<tr class="separator:afb4c9b0a496866ec32706fadad690e73"><td class="memSeparator" colspan="2"> </td></tr>
|
|
83
|
-
<tr class="memitem:a6fd7ba961de09e32f8086ffb5c1d49cb"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a6fd7ba961de09e32f8086ffb5c1d49cb">Fbar</a> (Copybar) *</td></tr>
|
|
84
|
-
<tr class="separator:a6fd7ba961de09e32f8086ffb5c1d49cb"><td class="memSeparator" colspan="2"> </td></tr>
|
|
85
|
-
<tr class="memitem:a4154da66867aeecdfb16bff361b9d1ce"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a4154da66867aeecdfb16bff361b9d1ce">Fbar</a> (Loadbar V Storebar) *</td></tr>
|
|
86
|
-
<tr class="separator:a4154da66867aeecdfb16bff361b9d1ce"><td class="memSeparator" colspan="2"> </td></tr>
|
|
87
|
-
</table><table class="memberdecls">
|
|
88
68
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="var-members"></a>
|
|
89
69
|
Variables</h2></td></tr>
|
|
90
70
|
<tr class="memitem:ad8c410068267cc7ccd0765a7bd51a2bf"><td class="memItemLeft" align="right" valign="top">Start </td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf">__pad0__</a></td></tr>
|
|
91
71
|
<tr class="separator:ad8c410068267cc7ccd0765a7bd51a2bf"><td class="memSeparator" colspan="2"> </td></tr>
|
|
92
|
-
<tr class="memitem:
|
|
93
|
-
<tr class="separator:
|
|
94
|
-
<tr class="memitem:
|
|
72
|
+
<tr class="memitem:a36f63c7a581bf6d351f835c6127a2519"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> <a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a36f63c7a581bf6d351f835c6127a2519">Copy</a></td></tr>
|
|
73
|
+
<tr class="separator:a36f63c7a581bf6d351f835c6127a2519"><td class="memSeparator" colspan="2"> </td></tr>
|
|
74
|
+
<tr class="memitem:aac550daeb926fa3c77376959d6712fc6"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> <a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> Store V </td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#aac550daeb926fa3c77376959d6712fc6">Load</a></td></tr>
|
|
75
|
+
<tr class="separator:aac550daeb926fa3c77376959d6712fc6"><td class="memSeparator" colspan="2"> </td></tr>
|
|
76
|
+
<tr class="memitem:a439ab12c27eee7f7bf2190c952ba5725"><td class="memItemLeft" align="right" valign="top">Gepbar_j Vgepbar <a class="el" href="CFLGrammar_8txt.html#ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d">Fbar</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a439ab12c27eee7f7bf2190c952ba5725">Gepbar_i</a></td></tr>
|
|
77
|
+
<tr class="separator:a439ab12c27eee7f7bf2190c952ba5725"><td class="memSeparator" colspan="2"> </td></tr>
|
|
78
|
+
<tr class="memitem:a114c2e5cd44b3ea4720e9191ed819f3b"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammar_8txt.html#ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d">Fbar</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a114c2e5cd44b3ea4720e9191ed819f3b">epsilon</a></td></tr>
|
|
79
|
+
<tr class="separator:a114c2e5cd44b3ea4720e9191ed819f3b"><td class="memSeparator" colspan="2"> </td></tr>
|
|
80
|
+
<tr class="memitem:ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d"><td class="memItemLeft" align="right" valign="top">Fbar Copybar </td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d">Fbar</a></td></tr>
|
|
81
|
+
<tr class="separator:ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d"><td class="memSeparator" colspan="2"> </td></tr>
|
|
82
|
+
<tr class="memitem:acc7b4cf736579c4d83be2316d5a9e5f2"><td class="memItemLeft" align="right" valign="top">V <a class="el" href="CFLGrammar_8txt.html#ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d">Fbar</a> V </td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></td></tr>
|
|
95
83
|
<tr class="separator:acc7b4cf736579c4d83be2316d5a9e5f2"><td class="memSeparator" colspan="2"> </td></tr>
|
|
96
|
-
<tr class="memitem:
|
|
97
|
-
<tr class="separator:
|
|
98
|
-
<tr class="memitem:
|
|
99
|
-
<tr class="separator:
|
|
100
|
-
<tr class="memitem:
|
|
101
|
-
<tr class="separator:
|
|
84
|
+
<tr class="memitem:a017fa6c558fa1eff0a13180c8340aba8"><td class="memItemLeft" align="right" valign="top">V Addrbar </td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a017fa6c558fa1eff0a13180c8340aba8">Addr</a></td></tr>
|
|
85
|
+
<tr class="separator:a017fa6c558fa1eff0a13180c8340aba8"><td class="memSeparator" colspan="2"> </td></tr>
|
|
86
|
+
<tr class="memitem:a3570ef0c1d906134e5aa6077d39fef04"><td class="memItemLeft" align="right" valign="top">V <a class="el" href="CFLGrammar_8txt.html#a439ab12c27eee7f7bf2190c952ba5725">Gepbar_i</a> V </td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a3570ef0c1d906134e5aa6077d39fef04">Gep_i</a></td></tr>
|
|
87
|
+
<tr class="separator:a3570ef0c1d906134e5aa6077d39fef04"><td class="memSeparator" colspan="2"> </td></tr>
|
|
88
|
+
<tr class="memitem:a0ac67c3cc3f9d992f8c4e779092905e5"><td class="memItemLeft" align="right" valign="top">Gep_j <a class="el" href="CFLGrammar_8txt.html#a3570ef0c1d906134e5aa6077d39fef04">Gep_i</a> <a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a0ac67c3cc3f9d992f8c4e779092905e5">Vgep</a></td></tr>
|
|
89
|
+
<tr class="separator:a0ac67c3cc3f9d992f8c4e779092905e5"><td class="memSeparator" colspan="2"> </td></tr>
|
|
102
90
|
</table>
|
|
103
|
-
<h2 class="groupheader">
|
|
104
|
-
<a id="
|
|
105
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
91
|
+
<h2 class="groupheader">Variable Documentation</h2>
|
|
92
|
+
<a id="ad8c410068267cc7ccd0765a7bd51a2bf"></a>
|
|
93
|
+
<h2 class="memtitle"><span class="permalink"><a href="#ad8c410068267cc7ccd0765a7bd51a2bf">◆ </a></span>__pad0__</h2>
|
|
106
94
|
|
|
107
95
|
<div class="memitem">
|
|
108
96
|
<div class="memproto">
|
|
109
97
|
<table class="memname">
|
|
110
98
|
<tr>
|
|
111
|
-
<td class="memname"
|
|
112
|
-
<td>(</td>
|
|
113
|
-
<td class="paramtype">Copy </td>
|
|
114
|
-
<td class="paramname"></td><td>)</td>
|
|
115
|
-
<td></td>
|
|
99
|
+
<td class="memname">Start __pad0__</td>
|
|
116
100
|
</tr>
|
|
117
101
|
</table>
|
|
118
102
|
</div><div class="memdoc">
|
|
119
103
|
|
|
120
|
-
</
|
|
121
|
-
</div>
|
|
122
|
-
<a id="a31f4235535454cb2ef4e9f913aae1fdb"></a>
|
|
123
|
-
<h2 class="memtitle"><span class="permalink"><a href="#a31f4235535454cb2ef4e9f913aae1fdb">◆ </a></span>Addr() <span class="overload">[2/2]</span></h2>
|
|
124
|
-
|
|
125
|
-
<div class="memitem">
|
|
126
|
-
<div class="memproto">
|
|
127
|
-
<table class="memname">
|
|
128
|
-
<tr>
|
|
129
|
-
<td class="memname"><a class="el" href="CFLGrammarDev_8txt.html#a5526c6e27f7632db909dee64f361d2c9">F</a> Addr </td>
|
|
130
|
-
<td>(</td>
|
|
131
|
-
<td class="paramtype">Store V </td>
|
|
132
|
-
<td class="paramname"><em>Load</em></td><td>)</td>
|
|
133
|
-
<td></td>
|
|
134
|
-
</tr>
|
|
135
|
-
</table>
|
|
136
|
-
</div><div class="memdoc">
|
|
104
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00006">6</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
|
|
137
105
|
|
|
138
106
|
</div>
|
|
139
107
|
</div>
|
|
140
|
-
<a id="
|
|
141
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
108
|
+
<a id="a017fa6c558fa1eff0a13180c8340aba8"></a>
|
|
109
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a017fa6c558fa1eff0a13180c8340aba8">◆ </a></span>Addr</h2>
|
|
142
110
|
|
|
143
111
|
<div class="memitem">
|
|
144
112
|
<div class="memproto">
|
|
145
113
|
<table class="memname">
|
|
146
114
|
<tr>
|
|
147
|
-
<td class="memname"
|
|
148
|
-
<td>(</td>
|
|
149
|
-
<td class="paramtype">Copybar </td>
|
|
150
|
-
<td class="paramname"></td><td>)</td>
|
|
151
|
-
<td></td>
|
|
115
|
+
<td class="memname">V Addrbar Addr</td>
|
|
152
116
|
</tr>
|
|
153
117
|
</table>
|
|
154
118
|
</div><div class="memdoc">
|
|
155
119
|
|
|
156
|
-
</
|
|
157
|
-
</div>
|
|
158
|
-
<a id="afb4c9b0a496866ec32706fadad690e73"></a>
|
|
159
|
-
<h2 class="memtitle"><span class="permalink"><a href="#afb4c9b0a496866ec32706fadad690e73">◆ </a></span>Addrbar() <span class="overload">[2/2]</span></h2>
|
|
160
|
-
|
|
161
|
-
<div class="memitem">
|
|
162
|
-
<div class="memproto">
|
|
163
|
-
<table class="memname">
|
|
164
|
-
<tr>
|
|
165
|
-
<td class="memname"><a class="el" href="CFLGrammarDev_8txt.html#ad0247f340ac95d507af8a6fae307c193">Fbar</a> Addrbar </td>
|
|
166
|
-
<td>(</td>
|
|
167
|
-
<td class="paramtype">Loadbar V </td>
|
|
168
|
-
<td class="paramname"><em>Storebar</em></td><td>)</td>
|
|
169
|
-
<td></td>
|
|
170
|
-
</tr>
|
|
171
|
-
</table>
|
|
172
|
-
</div><div class="memdoc">
|
|
120
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00014">14</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
|
|
173
121
|
|
|
174
122
|
</div>
|
|
175
123
|
</div>
|
|
176
|
-
<a id="
|
|
177
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
124
|
+
<a id="a36f63c7a581bf6d351f835c6127a2519"></a>
|
|
125
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a36f63c7a581bf6d351f835c6127a2519">◆ </a></span>Copy</h2>
|
|
178
126
|
|
|
179
127
|
<div class="memitem">
|
|
180
128
|
<div class="memproto">
|
|
181
129
|
<table class="memname">
|
|
182
130
|
<tr>
|
|
183
|
-
<td class="memname">F </td>
|
|
184
|
-
<td>(</td>
|
|
185
|
-
<td class="paramtype">Copy </td>
|
|
186
|
-
<td class="paramname"></td><td>)</td>
|
|
187
|
-
<td></td>
|
|
131
|
+
<td class="memname"><a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> <a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> Copy</td>
|
|
188
132
|
</tr>
|
|
189
133
|
</table>
|
|
190
134
|
</div><div class="memdoc">
|
|
191
135
|
|
|
192
|
-
</
|
|
193
|
-
</div>
|
|
194
|
-
<a id="a5526c6e27f7632db909dee64f361d2c9"></a>
|
|
195
|
-
<h2 class="memtitle"><span class="permalink"><a href="#a5526c6e27f7632db909dee64f361d2c9">◆ </a></span>F() <span class="overload">[2/2]</span></h2>
|
|
196
|
-
|
|
197
|
-
<div class="memitem">
|
|
198
|
-
<div class="memproto">
|
|
199
|
-
<table class="memname">
|
|
200
|
-
<tr>
|
|
201
|
-
<td class="memname">F </td>
|
|
202
|
-
<td>(</td>
|
|
203
|
-
<td class="paramtype">Store V </td>
|
|
204
|
-
<td class="paramname"><em>Load</em></td><td>)</td>
|
|
205
|
-
<td></td>
|
|
206
|
-
</tr>
|
|
207
|
-
</table>
|
|
208
|
-
</div><div class="memdoc">
|
|
136
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00007">7</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
|
|
209
137
|
|
|
210
138
|
</div>
|
|
211
139
|
</div>
|
|
212
|
-
<a id="
|
|
213
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
140
|
+
<a id="a114c2e5cd44b3ea4720e9191ed819f3b"></a>
|
|
141
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a114c2e5cd44b3ea4720e9191ed819f3b">◆ </a></span>epsilon</h2>
|
|
214
142
|
|
|
215
143
|
<div class="memitem">
|
|
216
144
|
<div class="memproto">
|
|
217
145
|
<table class="memname">
|
|
218
146
|
<tr>
|
|
219
|
-
<td class="memname">Fbar </td>
|
|
220
|
-
<td>(</td>
|
|
221
|
-
<td class="paramtype">Copybar </td>
|
|
222
|
-
<td class="paramname"></td><td>)</td>
|
|
223
|
-
<td></td>
|
|
147
|
+
<td class="memname"><a class="el" href="CFLGrammar_8txt.html#ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d">Fbar</a> epsilon</td>
|
|
224
148
|
</tr>
|
|
225
149
|
</table>
|
|
226
150
|
</div><div class="memdoc">
|
|
227
151
|
|
|
228
|
-
</
|
|
229
|
-
</div>
|
|
230
|
-
<a id="a4154da66867aeecdfb16bff361b9d1ce"></a>
|
|
231
|
-
<h2 class="memtitle"><span class="permalink"><a href="#a4154da66867aeecdfb16bff361b9d1ce">◆ </a></span>Fbar() <span class="overload">[2/2]</span></h2>
|
|
232
|
-
|
|
233
|
-
<div class="memitem">
|
|
234
|
-
<div class="memproto">
|
|
235
|
-
<table class="memname">
|
|
236
|
-
<tr>
|
|
237
|
-
<td class="memname">Fbar </td>
|
|
238
|
-
<td>(</td>
|
|
239
|
-
<td class="paramtype">Loadbar V </td>
|
|
240
|
-
<td class="paramname"><em>Storebar</em></td><td>)</td>
|
|
241
|
-
<td></td>
|
|
242
|
-
</tr>
|
|
243
|
-
</table>
|
|
244
|
-
</div><div class="memdoc">
|
|
152
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00010">10</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
|
|
245
153
|
|
|
246
154
|
</div>
|
|
247
155
|
</div>
|
|
248
|
-
<
|
|
249
|
-
<a
|
|
250
|
-
<h2 class="memtitle"><span class="permalink"><a href="#ad8c410068267cc7ccd0765a7bd51a2bf">◆ </a></span>__pad0__</h2>
|
|
156
|
+
<a id="acc7b4cf736579c4d83be2316d5a9e5f2"></a>
|
|
157
|
+
<h2 class="memtitle"><span class="permalink"><a href="#acc7b4cf736579c4d83be2316d5a9e5f2">◆ </a></span>F</h2>
|
|
251
158
|
|
|
252
159
|
<div class="memitem">
|
|
253
160
|
<div class="memproto">
|
|
254
161
|
<table class="memname">
|
|
255
162
|
<tr>
|
|
256
|
-
<td class="memname">
|
|
163
|
+
<td class="memname">V <a class="el" href="CFLGrammar_8txt.html#ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d">Fbar</a> V F</td>
|
|
257
164
|
</tr>
|
|
258
165
|
</table>
|
|
259
166
|
</div><div class="memdoc">
|
|
260
167
|
|
|
261
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#
|
|
168
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00013">13</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
|
|
262
169
|
|
|
263
170
|
</div>
|
|
264
171
|
</div>
|
|
265
|
-
<a id="
|
|
266
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
172
|
+
<a id="ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d"></a>
|
|
173
|
+
<h2 class="memtitle"><span class="permalink"><a href="#ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d">◆ </a></span>Fbar</h2>
|
|
267
174
|
|
|
268
175
|
<div class="memitem">
|
|
269
176
|
<div class="memproto">
|
|
270
177
|
<table class="memname">
|
|
271
178
|
<tr>
|
|
272
|
-
<td class="memname">
|
|
179
|
+
<td class="memname">Fbar Loadbar V Storebar Fbar</td>
|
|
273
180
|
</tr>
|
|
274
181
|
</table>
|
|
275
182
|
</div><div class="memdoc">
|
|
276
183
|
|
|
277
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#
|
|
184
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00011">11</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
|
|
278
185
|
|
|
279
186
|
</div>
|
|
280
187
|
</div>
|
|
281
|
-
<a id="
|
|
282
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
188
|
+
<a id="a3570ef0c1d906134e5aa6077d39fef04"></a>
|
|
189
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a3570ef0c1d906134e5aa6077d39fef04">◆ </a></span>Gep_i</h2>
|
|
283
190
|
|
|
284
191
|
<div class="memitem">
|
|
285
192
|
<div class="memproto">
|
|
286
193
|
<table class="memname">
|
|
287
194
|
<tr>
|
|
288
|
-
<td class="memname"
|
|
195
|
+
<td class="memname">V <a class="el" href="CFLGrammar_8txt.html#a439ab12c27eee7f7bf2190c952ba5725">Gepbar_i</a> V Gep_i</td>
|
|
289
196
|
</tr>
|
|
290
197
|
</table>
|
|
291
198
|
</div><div class="memdoc">
|
|
292
199
|
|
|
293
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#
|
|
200
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00015">15</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
|
|
294
201
|
|
|
295
202
|
</div>
|
|
296
203
|
</div>
|
|
297
|
-
<a id="
|
|
298
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
204
|
+
<a id="a439ab12c27eee7f7bf2190c952ba5725"></a>
|
|
205
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a439ab12c27eee7f7bf2190c952ba5725">◆ </a></span>Gepbar_i</h2>
|
|
299
206
|
|
|
300
207
|
<div class="memitem">
|
|
301
208
|
<div class="memproto">
|
|
302
209
|
<table class="memname">
|
|
303
210
|
<tr>
|
|
304
|
-
<td class="memname">
|
|
211
|
+
<td class="memname">Gepbar_j Vgepbar <a class="el" href="CFLGrammar_8txt.html#ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d">Fbar</a> Gepbar_i</td>
|
|
305
212
|
</tr>
|
|
306
213
|
</table>
|
|
307
214
|
</div><div class="memdoc">
|
|
308
215
|
|
|
309
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#
|
|
216
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00009">9</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
|
|
310
217
|
|
|
311
218
|
</div>
|
|
312
219
|
</div>
|
|
313
|
-
<a id="
|
|
314
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
220
|
+
<a id="aac550daeb926fa3c77376959d6712fc6"></a>
|
|
221
|
+
<h2 class="memtitle"><span class="permalink"><a href="#aac550daeb926fa3c77376959d6712fc6">◆ </a></span>Load</h2>
|
|
315
222
|
|
|
316
223
|
<div class="memitem">
|
|
317
224
|
<div class="memproto">
|
|
318
225
|
<table class="memname">
|
|
319
226
|
<tr>
|
|
320
|
-
<td class="memname">
|
|
227
|
+
<td class="memname"><a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> <a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> Store V Load</td>
|
|
321
228
|
</tr>
|
|
322
229
|
</table>
|
|
323
230
|
</div><div class="memdoc">
|
|
324
231
|
|
|
325
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#
|
|
232
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00008">8</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
|
|
326
233
|
|
|
327
234
|
</div>
|
|
328
235
|
</div>
|
|
329
|
-
<a id="
|
|
330
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
236
|
+
<a id="a0ac67c3cc3f9d992f8c4e779092905e5"></a>
|
|
237
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a0ac67c3cc3f9d992f8c4e779092905e5">◆ </a></span>Vgep</h2>
|
|
331
238
|
|
|
332
239
|
<div class="memitem">
|
|
333
240
|
<div class="memproto">
|
|
334
241
|
<table class="memname">
|
|
335
242
|
<tr>
|
|
336
|
-
<td class="memname">
|
|
243
|
+
<td class="memname">Gep_j <a class="el" href="CFLGrammar_8txt.html#a3570ef0c1d906134e5aa6077d39fef04">Gep_i</a> <a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> Vgep</td>
|
|
337
244
|
</tr>
|
|
338
245
|
</table>
|
|
339
246
|
</div><div class="memdoc">
|
|
340
247
|
|
|
341
|
-
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#
|
|
248
|
+
<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00016">16</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
|
|
342
249
|
|
|
343
250
|
</div>
|
|
344
251
|
</div>
|