Batfish网络配置验证工具
Sherlock_n
这个作者很懒,什么都没留下…
展开
-
Batfish使
此篇文章在github可以找到英文版的,此篇文章目的是提炼Batfish的用法一、执行简单的Batfish命令1.初始化网络和快照# Import packages and load questions%run startup.pyload_questions()# Assign a friendly name to your network and snapshotNET...原创 2019-07-31 10:00:15 · 1604 阅读 · 0 评论 -
Batfish 集成开发环境搭建Intellij IDEA
本篇文章说明如何通过IDE集成环境来搭建一个Batfish的服务器。并在这个集成环境的基础上进行开发、编译、运行。一、Intellij IDEA集成环境的安装1.首先通过如下的网盘链接进行下载,下载包含三个文件,分别是IDEA2019(集成开发工具)的安装包(当然可以自己去官网下载),破解文件以及注册码。新的版本已经不支持仅仅通过注册码进行安装。记住安装的路径。安装完之后不要运行https:...原创 2019-07-10 17:11:58 · 1837 阅读 · 2 评论 -
Batfish Linux下环境搭建
一、环境需求:Java 8 JDK (untested with Java 9, and known incompatibilities with Java 10) maven (3.3.9+) wget (Linux only) unzip (Linux only) git binutils (strip for install_z3.sh)二、maven安装及简单命令1.m...原创 2019-07-09 20:45:05 · 1503 阅读 · 0 评论