文件名称：groot:DNS区域文件的静态验证工具
文件大小：103KB
文件格式：ZIP
更新时间：2024-06-06 17:19:37
dns zone-files verification static-analyzer dns-zone-files
根 GRoot是用于DNS的静态验证工具。 GRoot消耗区域文件的集合以及用户定义的属性的集合，并系统地检查DNS的任何输入是否会导致违反属性。 | ·| · :page_with_curl: - :trophy: :desktop_computer: 笔记 我们已经更新了本文，以根据RFC正确处理空的非终结符。 可在此处获得更新的论文。 有关更多详细信息，请检查GitHub问题＃11 。 安装 使用docker （推荐） 注意： Docker映像可能会占用〜1.2 GB的磁盘空间。 我们建议在Docker容器中运行GRoot，因为它们的性能开销可以忽略不计。 （请参阅此报告） 为您的OS获取docker 。 拉我们的docker pull dnsgt/groot镜像＃ ： docker pull dnsgt/groot 。 在镜像上运行一个容器： docker run -it dnsgt/groot 。 这将在groot目录中为
【文件预览】：
groot-master
----.gitattributes(2KB)
----.github()
--------workflows()
----.gitmodules(107B)
----src()
--------node-label.h(1KB)
--------node-label.cpp(414B)
--------driver.cpp(22KB)
--------job.h(761B)
--------zone-graph.cpp(19KB)
--------equivalence-class.h(556B)
--------equivalence-class.cpp(538B)
--------structural-task.cpp(582B)
--------driver.h(908B)
--------resource-record.h(2KB)
--------label-graph.cpp(26KB)
--------zone-file-parser.cpp(20KB)
--------CMakeLists.txt(646B)
--------interpretation-properties.h(7KB)
--------my-logger.h(1KB)
--------interpretation-graph.cpp(24KB)
--------context.h(415B)
--------zone-graph.h(3KB)
--------structural-task.h(394B)
--------properties.cpp(28KB)
--------utils.h(1KB)
--------libgroot.vcxproj(9KB)
--------ec-task.h(257B)
--------label-graph.h(4KB)
--------utils.cpp(6KB)
--------resource-record.cpp(2KB)
--------task.h(226B)
--------ec-task.cpp(838B)
----Dockerfile(534B)
----concurrentqueue()
----.clang-format(175B)
----CMakeLists.txt(1KB)
----benchmark()
--------properties.json(124B)
--------zone_files()
----LICENSE(1KB)
----test()
--------zone-graph-test.cpp(11KB)
--------tests.filters(941B)
--------ec-test.cpp(2KB)
--------main-example-test.cpp(3KB)
--------util-test.cpp(2KB)
--------bankcardTest.cpp(1KB)
--------CMakeLists.txt(1KB)
--------driver-test.h(1KB)
--------tester.cpp(68B)
--------integration-test.cpp(4KB)
--------test.vcxproj(8KB)
--------TestFiles()
--------label-graph-test.cpp(5KB)
--------script.py(4KB)
----README.md(14KB)
----groot.sln(3KB)
----.gitignore(6KB)
----setup.sh(1KB)
----bin()
--------CMakeLists.txt(877B)
--------groot.vcxproj(8KB)
--------groot.vcxproj.filters(940B)
--------groot.cpp(6KB)
--------groot_old.cpp(25KB)