├── .gitignore ├── LICENSE ├── LLMInterpolation ├── README.md ├── bing_cookies_enum.json ├── interpolation_rule_check.py └── ruleJsonFiles │ └── azurerm_virtual_hub_connection │ ├── ATTRFICL.json │ ├── ATTRFIIN.json │ ├── ATTRIN.json │ ├── ATTRREFICL.json │ ├── ATTRREFIIN.json │ ├── ATTRREIN.json │ ├── COMBOFICL.json │ ├── COMBOFIIN.json │ ├── COMBOIN.json │ ├── COMBOREFICL.json │ ├── COMBOREFIIN.json │ ├── COMBOREIN.json │ ├── TOPOFICL.json │ ├── TOPOFIIN.json │ ├── TOPOIN.json │ ├── TOPOREFICL.json │ ├── TOPOREFIIN.json │ └── TOPOREIN.json ├── README.md ├── Vagrantfile ├── dataPreprocessing ├── getCloudRegistry.py ├── getModuleContent.py ├── getOnlineRepo.py └── getRegoFormat.py ├── dataset ├── README.md └── sampledChecks.csv ├── install.sh ├── knowledgeBaseConstruction ├── regoMVPGetKnowledgeBase.py ├── regoMVPGetPartialOrder.py └── regoMVPGetTranslation.py ├── resourceList.json ├── ruleTemplateInstantiation ├── regoMVPRule.py ├── regoMVPRuleFilter.py ├── regoMVPRuleInterpolate.py ├── regoMVPRulePlainText.py ├── regoMVPRuleTemplate.py ├── regoTemplateAttr.py ├── regoTemplateCombo.py ├── regoTemplateSingle.py └── regoTemplateTopo.py ├── testCaseGeneration ├── SMTMaster.py ├── SMTPipeline.py ├── SMTPostprocessing.py ├── SMTPreprocessing.py ├── SMTSummarize.py ├── SMTValidation.py └── destroyRG.sh └── utils └── utils.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/LICENSE -------------------------------------------------------------------------------- /LLMInterpolation/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/LLMInterpolation/README.md -------------------------------------------------------------------------------- /LLMInterpolation/bing_cookies_enum.json: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /LLMInterpolation/interpolation_rule_check.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/LLMInterpolation/interpolation_rule_check.py -------------------------------------------------------------------------------- /LLMInterpolation/ruleJsonFiles/azurerm_virtual_hub_connection/ATTRFICL.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/LLMInterpolation/ruleJsonFiles/azurerm_virtual_hub_connection/ATTRFICL.json -------------------------------------------------------------------------------- /LLMInterpolation/ruleJsonFiles/azurerm_virtual_hub_connection/ATTRFIIN.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/LLMInterpolation/ruleJsonFiles/azurerm_virtual_hub_connection/ATTRFIIN.json -------------------------------------------------------------------------------- /LLMInterpolation/ruleJsonFiles/azurerm_virtual_hub_connection/ATTRIN.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/LLMInterpolation/ruleJsonFiles/azurerm_virtual_hub_connection/ATTRIN.json -------------------------------------------------------------------------------- /LLMInterpolation/ruleJsonFiles/azurerm_virtual_hub_connection/ATTRREFICL.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/LLMInterpolation/ruleJsonFiles/azurerm_virtual_hub_connection/ATTRREFICL.json -------------------------------------------------------------------------------- /LLMInterpolation/ruleJsonFiles/azurerm_virtual_hub_connection/ATTRREFIIN.json: -------------------------------------------------------------------------------- 1 | {} -------------------------------------------------------------------------------- /LLMInterpolation/ruleJsonFiles/azurerm_virtual_hub_connection/ATTRREIN.json: -------------------------------------------------------------------------------- 1 | {} -------------------------------------------------------------------------------- /LLMInterpolation/ruleJsonFiles/azurerm_virtual_hub_connection/COMBOFICL.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/LLMInterpolation/ruleJsonFiles/azurerm_virtual_hub_connection/COMBOFICL.json -------------------------------------------------------------------------------- /LLMInterpolation/ruleJsonFiles/azurerm_virtual_hub_connection/COMBOFIIN.json: -------------------------------------------------------------------------------- 1 | {} -------------------------------------------------------------------------------- /LLMInterpolation/ruleJsonFiles/azurerm_virtual_hub_connection/COMBOIN.json: -------------------------------------------------------------------------------- 1 | {} -------------------------------------------------------------------------------- /LLMInterpolation/ruleJsonFiles/azurerm_virtual_hub_connection/COMBOREFICL.json: -------------------------------------------------------------------------------- 1 | {} -------------------------------------------------------------------------------- /LLMInterpolation/ruleJsonFiles/azurerm_virtual_hub_connection/COMBOREFIIN.json: -------------------------------------------------------------------------------- 1 | {} -------------------------------------------------------------------------------- /LLMInterpolation/ruleJsonFiles/azurerm_virtual_hub_connection/COMBOREIN.json: -------------------------------------------------------------------------------- 1 | {} -------------------------------------------------------------------------------- /LLMInterpolation/ruleJsonFiles/azurerm_virtual_hub_connection/TOPOFICL.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/LLMInterpolation/ruleJsonFiles/azurerm_virtual_hub_connection/TOPOFICL.json -------------------------------------------------------------------------------- /LLMInterpolation/ruleJsonFiles/azurerm_virtual_hub_connection/TOPOFIIN.json: -------------------------------------------------------------------------------- 1 | {} -------------------------------------------------------------------------------- /LLMInterpolation/ruleJsonFiles/azurerm_virtual_hub_connection/TOPOIN.json: -------------------------------------------------------------------------------- 1 | {} -------------------------------------------------------------------------------- /LLMInterpolation/ruleJsonFiles/azurerm_virtual_hub_connection/TOPOREFICL.json: -------------------------------------------------------------------------------- 1 | {} -------------------------------------------------------------------------------- /LLMInterpolation/ruleJsonFiles/azurerm_virtual_hub_connection/TOPOREFIIN.json: -------------------------------------------------------------------------------- 1 | {} -------------------------------------------------------------------------------- /LLMInterpolation/ruleJsonFiles/azurerm_virtual_hub_connection/TOPOREIN.json: -------------------------------------------------------------------------------- 1 | {} -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/README.md -------------------------------------------------------------------------------- /Vagrantfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/Vagrantfile -------------------------------------------------------------------------------- /dataPreprocessing/getCloudRegistry.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/dataPreprocessing/getCloudRegistry.py -------------------------------------------------------------------------------- /dataPreprocessing/getModuleContent.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/dataPreprocessing/getModuleContent.py -------------------------------------------------------------------------------- /dataPreprocessing/getOnlineRepo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/dataPreprocessing/getOnlineRepo.py -------------------------------------------------------------------------------- /dataPreprocessing/getRegoFormat.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/dataPreprocessing/getRegoFormat.py -------------------------------------------------------------------------------- /dataset/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/dataset/README.md -------------------------------------------------------------------------------- /dataset/sampledChecks.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/dataset/sampledChecks.csv -------------------------------------------------------------------------------- /install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/install.sh -------------------------------------------------------------------------------- /knowledgeBaseConstruction/regoMVPGetKnowledgeBase.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/knowledgeBaseConstruction/regoMVPGetKnowledgeBase.py -------------------------------------------------------------------------------- /knowledgeBaseConstruction/regoMVPGetPartialOrder.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/knowledgeBaseConstruction/regoMVPGetPartialOrder.py -------------------------------------------------------------------------------- /knowledgeBaseConstruction/regoMVPGetTranslation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/knowledgeBaseConstruction/regoMVPGetTranslation.py -------------------------------------------------------------------------------- /resourceList.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/resourceList.json -------------------------------------------------------------------------------- /ruleTemplateInstantiation/regoMVPRule.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/ruleTemplateInstantiation/regoMVPRule.py -------------------------------------------------------------------------------- /ruleTemplateInstantiation/regoMVPRuleFilter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/ruleTemplateInstantiation/regoMVPRuleFilter.py -------------------------------------------------------------------------------- /ruleTemplateInstantiation/regoMVPRuleInterpolate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/ruleTemplateInstantiation/regoMVPRuleInterpolate.py -------------------------------------------------------------------------------- /ruleTemplateInstantiation/regoMVPRulePlainText.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/ruleTemplateInstantiation/regoMVPRulePlainText.py -------------------------------------------------------------------------------- /ruleTemplateInstantiation/regoMVPRuleTemplate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/ruleTemplateInstantiation/regoMVPRuleTemplate.py -------------------------------------------------------------------------------- /ruleTemplateInstantiation/regoTemplateAttr.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/ruleTemplateInstantiation/regoTemplateAttr.py -------------------------------------------------------------------------------- /ruleTemplateInstantiation/regoTemplateCombo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/ruleTemplateInstantiation/regoTemplateCombo.py -------------------------------------------------------------------------------- /ruleTemplateInstantiation/regoTemplateSingle.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/ruleTemplateInstantiation/regoTemplateSingle.py -------------------------------------------------------------------------------- /ruleTemplateInstantiation/regoTemplateTopo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/ruleTemplateInstantiation/regoTemplateTopo.py -------------------------------------------------------------------------------- /testCaseGeneration/SMTMaster.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/testCaseGeneration/SMTMaster.py -------------------------------------------------------------------------------- /testCaseGeneration/SMTPipeline.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/testCaseGeneration/SMTPipeline.py -------------------------------------------------------------------------------- /testCaseGeneration/SMTPostprocessing.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/testCaseGeneration/SMTPostprocessing.py -------------------------------------------------------------------------------- /testCaseGeneration/SMTPreprocessing.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/testCaseGeneration/SMTPreprocessing.py -------------------------------------------------------------------------------- /testCaseGeneration/SMTSummarize.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/testCaseGeneration/SMTSummarize.py -------------------------------------------------------------------------------- /testCaseGeneration/SMTValidation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/testCaseGeneration/SMTValidation.py -------------------------------------------------------------------------------- /testCaseGeneration/destroyRG.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/testCaseGeneration/destroyRG.sh -------------------------------------------------------------------------------- /utils/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/824728350/Zodiac/HEAD/utils/utils.py --------------------------------------------------------------------------------