anteater:用于网络设备数据平面状态的静态分析工具
需积分: 5 102 浏览量
2021-05-19
09:14:32
上传
评论
收藏 92KB ZIP 举报
anteater:用于网络设备数据平面状态的静态分析工具 （131个子文件） 
foundry-with-netmask-to-csv.awk 279B foundry-new-to-csv.awk 277B foundry-old-to-csv.awk 277B FindLLVM.cmake 2KB FindBoolector.cmake 759B FindZ3.cmake 622B FindTimeout.cmake 582B FindYices.cmake 531B consistent-forwarding-1-pair 6B consistent-forwarding-1-r1 62B consistent-forwarding-1-r2 73B consistent-forwarding-2-r1 62B consistent-forwarding-2-r2 152B IRBuilder.cpp 17KB SMT12Backend.cpp 6KB YicesBackend.cpp 6KB main.cpp 6KB SymbolicPacket.cpp 4KB whitelistor.cpp 4KB MergePacket.cpp 3KB BareGVN.cpp 3KB PacketScalarReplacement.cpp 2KB anteatercc.cpp 2KB AnteaterInstNamer.cpp 2KB XorElimination.cpp 2KB EliminateRedundantPrecondition.cpp 1KB RemoveAnnotation.cpp 1007B .gitignore 7B IRBuilder.h 3KB SymbolicPacketImpl.h 995B SymbolicPacket.h 704B Backend.h 415B types.h 340B config.h 230B envsetup.sh.in 613B Makefile.config.in 360B anteater_config.rb.in 186B LICENSE 9KB LICENSE 2KB loop-detection-1-r1 71B loop-detection-1-r2 71B loop-detection-2-r1 71B loop-detection-2-r2 71B loop-detection-3-r1 104B loop-detection-3-r2 111B loop-detection-3-resolv 48B loop-detection-4-r1 179B loop-detection-4-r2 208B loop-detection-4-r3 179B loop-detection-4-resolv 69B README.md 1KB NOTICE 178B NOTICE 153B packet-loss-1-r1 89B packet-loss-2-r1 69B packet-loss-2-r2 59B packet-loss-2-resolv 16B boolector-1.4.1-376eb0-110304-support-bool.patch 646B jruby-1.6.3-ffi-enum-newline.patch 458B Makefile.perf-numbers 470B cisco-to-csv.py 4KB ip-aliasing.py 2KB cisco-cleanup.py 637B ip-aliasing-filter-duplicate.py 594B parsing_utils.py 437B ip-aliasing-merge.py 416B gen-equiv-class.py 405B bin-ip-filter.py 360B foundry-with-mask-cleanup.py 286B junos-cleanup.py 230B CSVGraph.rb 12KB anteater.rb 10KB unit-test-lib.rb 8KB ruby-prolog.rb 8KB anteater-ffi.rb 5KB checkers.rb 5KB slang-test.rb 4KB merge-packet.rb 3KB ruby-prolog.rb 1KB consistency-checker.rb 1KB CSVGraphTraceroute.rb 1KB parallel.rb 967B packet-loss.rb 736B loop-detector.rb 717B loop-detector.rb 682B consistency-checker.rb 637B UnionSet.rb 615B packet-loss.rb 562B loop-detector-with-transformation.rb 480B all-pair-reachability-checker.rb 297B Makefile.rules 2KB junos-to-csv.sed 428B gen-ip-aliasing-from-if-data.sh 747B parse-foundry-data.sh 654B parse-cisco-data.sh 343B parse-junos-data.sh 244B Makefile.solve 141B
CMakeLists.txt 1KB CMakeLists.txt 960B CMakeLists.txt 868B共 131 条
- 1
- 2
资源评论
