Exemplos de NetPlumberReachabilityPolicyGenerator.put_source em Python

Exemplo n.º 1

    "cozb_rtr",
    "goza_rtr",
    "gozb_rtr",
    "poza_rtr",
    "pozb_rtr",
    "roza_rtr",
    "rozb_rtr",
    "soza_rtr",
    "sozb_rtr",
    "yoza_rtr",
    "yozb_rtr",
]

ports = [
    "te7/4", "te7/4", "te3/3", "te3/3", "te3/3", "te3/3", "te3/3", "te3/3",
    "te3/3", "te3/3", "te3/3", "te3/3", "te3/3", "te3/3", "te1/4", "te1/4"
]

r = NetPlumberReachabilityPolicyGenerator(16, in_path)

commands = {"commands": []}

for i in range(len(rtr_names)):
    (src, data) = r.put_source(rtr_names[i] + ".in", ports[i])
    commands["commands"].extend(data)

print "number of commands ", len(commands["commands"])
f = open("policy.json", 'w')
f.write(json.dumps(commands, indent=1))
f.close()

Exemplo n.º 2

Arquivo: policy_checker.py Projeto: 0xdyu/VeriExodus

sources = {}

while (True):
    input = raw_input("Enter command:")
    if input == "reachability":
        src = raw_input("Enter source:")
        src_port = raw_input("Enter source port:")
        dst = raw_input("Enter destination:")
        dst_port = raw_input("Enter destination port:")

        if src not in sources:
            sources[src] = {}
        if src_port not in sources[src]:
            if src_port == "all":
                (src_id,data) = r.put_source(src)
            else:
                (src_id,data) = r.put_source(src,src_port)
            sources[src][src_port] = src_id
            send_command(s,data)

        if dst_port == "all":
            #data = r.put_probe(dst, sources[src][src_port])
            pass
        else:
            data = r.put_probe(dst, sources[src][src_port],dst_port)
        send_command(s,data)

    elif input == "linkup":
        src = raw_input("Enter source id:")
        dst = raw_input("Enter target id:")

Exemplo n.º 3

sources = {}

while (True):
    input = raw_input("Enter command:")
    if input == "reachability":
        src = raw_input("Enter source:")
        src_port = raw_input("Enter source port:")
        dst = raw_input("Enter destination:")
        dst_port = raw_input("Enter destination port:")

        if src not in sources:
            sources[src] = {}
        if src_port not in sources[src]:
            if src_port == "all":
                (src_id, data) = r.put_source(src)
            else:
                (src_id, data) = r.put_source(src, src_port)
            sources[src][src_port] = src_id
            send_command(s, data)

        if dst_port == "all":
            #data = r.put_probe(dst, sources[src][src_port])
            pass
        else:
            data = r.put_probe(dst, sources[src][src_port], dst_port)
        send_command(s, data)

    elif input == "linkup":
        src = raw_input("Enter source id:")
        dst = raw_input("Enter target id:")

Exemplo n.º 4

Arquivo: generate_policy.py Projeto: 0xdyu/VeriExodus

ports = ["te7/4",
        "te7/4",
        "te3/3",
        "te3/3",
        "te3/3",
        "te3/3",
        "te3/3",
        "te3/3",
        "te3/3",
        "te3/3",
        "te3/3",
        "te3/3",
        "te3/3",
        "te3/3",
        "te1/4",
        "te1/4"
        ]

r = NetPlumberReachabilityPolicyGenerator(16,in_path)

commands = {"commands": []}

for i in range(len(rtr_names)):
    (src,data) = r.put_source(rtr_names[i] + ".in", ports[i])
    commands["commands"].extend(data)

print "number of commands ",len(commands["commands"])
f = open("policy.json",'w')
f.write(json.dumps(commands, indent=1))
f.close()