ControllerConfig(start_cmd='./start-onos.sh start',
label='c1',
address='192.168.56.11',
cwd='/home/mininet/ONOS',
controller_type='onos',
kill_cmd='./start-onos.sh stop',
restart_cmd='./start-onos.sh stop'),
ControllerConfig(start_cmd='./start-onos.sh start',
label='c2',
address='192.168.56.12',
cwd='/home/mininet/ONOS',
controller_type='onos',
kill_cmd='./start-onos.sh stop',
restart_cmd='./start-onos.sh stop')
],
topology_class=MeshTopology,
topology_params="num_switches=2",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=False,
ignore_interposition=True,
kill_controllers_on_exit=False)
control_flow = OpenFlowReplayer(
simulation_config,
"experiments/onos_id_bug_fixed_ids_file_blackbox_mcs2/mcs.trace.notimeouts"
)
# wait_on_deterministic_values=False
# delay_flow_mods=False
# Invariant check: 'check_for_file'
# Bug signature: "bug_file_detected"
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow.openflow_replayer import OpenFlowReplayer
from sts.simulation_state import SimulationConfig
from sts.input_traces.input_logger import InputLogger
simulation_config = SimulationConfig(controller_configs=[
ControllerConfig(
start_cmd=
'java -ea -Dlogback.configurationFile=./src/main/resources/logback-trace.xml -jar ./target/floodlight.jar -cf ./src/main/resources/trace_circuitpusher.properties',
label='c1',
address='127.0.0.1',
cwd='../floodlight')
],
topology_class=StarTopology,
topology_params="num_hosts=2",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=False,
ignore_interposition=False,
kill_controllers_on_exit=True)
control_flow = OpenFlowReplayer(
simulation_config,
"paper/trace_floodlight_circuitpusher-StarTopology2-steps200/events.trace")
# wait_on_deterministic_values=False
# delay_flow_mods=False
# Invariant check: 'InvariantChecker.check_liveness'
# Bug signature: ""
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow.openflow_replayer import OpenFlowReplayer
from sts.simulation_state import SimulationConfig
from sts.input_traces.input_logger import InputLogger
simulation_config = SimulationConfig(controller_configs=[ControllerConfig(start_cmd='java -ea -Dlogback.configurationFile=./src/main/resources/logback-trace.xml -jar ./target/floodlight.jar -cf ./src/main/resources/trace_firewall.properties', label='c1', address='127.0.0.1', cwd='../floodlight')],
topology_class=StarTopology,
topology_params="num_hosts=4",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=False,
ignore_interposition=False,
kill_controllers_on_exit=True)
control_flow = OpenFlowReplayer(simulation_config, "paper/trace_floodlight_firewall-StarTopology4-steps200/events.trace")
# wait_on_deterministic_values=False
# delay_flow_mods=False
# Invariant check: 'InvariantChecker.check_liveness'
# Bug signature: ""
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow.openflow_replayer import OpenFlowReplayer
from sts.simulation_state import SimulationConfig
from sts.input_traces.input_logger import InputLogger
simulation_config = SimulationConfig(controller_configs=[
ControllerConfig(
start_cmd=
'./pox.py --verbose openflow.discovery forwarding.l2_multi_null_pointer sts.util.socket_mux.pox_monkeypatcher openflow.of_01 --address=../sts_socket_pipe',
label='c1',
address='sts_socket_pipe',
cwd='pox')
],
topology_class=FatTree,
topology_params="",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=True,
kill_controllers_on_exit=True)
control_flow = OpenFlowReplayer(
simulation_config,
"experiments/pox_null_pointer_mcs/intermcs_2_/mcs.trace.notimeouts")
# wait_on_deterministic_values=False
# delay_flow_mods=False
# Invariant check: 'InvariantChecker.check_liveness'
# Bug signature: "c1"
ControllerConfig(start_cmd='./start-onos.sh start',
label='c1',
address='192.168.56.11',
cwd='/home/mininet/ONOS',
controller_type='onos',
kill_cmd='./start-onos.sh stop',
restart_cmd='./start-onos.sh stop'),
ControllerConfig(start_cmd='./start-onos.sh start',
label='c2',
address='192.168.56.12',
cwd='/home/mininet/ONOS',
controller_type='onos',
kill_cmd='./start-onos.sh stop',
restart_cmd='./start-onos.sh stop')
],
topology_class=MeshTopology,
topology_params="num_switches=2",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=False,
ignore_interposition=False,
kill_controllers_on_exit=False)
control_flow = OpenFlowReplayer(
simulation_config,
"experiments/onos_id_bug_fixed_ids_file_mcs4/interreplay_1_l_0/events.trace"
)
# wait_on_deterministic_values=False
# delay_flow_mods=False
# Invariant check: 'check_for_file'
# Bug signature: "bug_file_detected"
ControllerConfig(start_cmd='./start-onos.sh start',
label='c1',
address='192.168.56.11',
cwd='/home/mininet/ONOS',
controller_type='onos',
kill_cmd='./start-onos.sh stop',
restart_cmd='./start-onos.sh stop'),
ControllerConfig(start_cmd='./start-onos.sh start',
label='c2',
address='192.168.56.12',
cwd='/home/mininet/ONOS',
controller_type='onos',
kill_cmd='./start-onos.sh stop',
restart_cmd='./start-onos.sh stop')
],
topology_class=MeshTopology,
topology_params="num_switches=2",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=False,
ignore_interposition=True,
kill_controllers_on_exit=False)
control_flow = OpenFlowReplayer(
simulation_config,
"experiments/onos_id_bug_fixed_ids_file_blackbox_mcs2/interreplay_7_l_3/events.trace"
)
# wait_on_deterministic_values=False
# delay_flow_mods=False
# Invariant check: 'check_for_file'
# Bug signature: "bug_file_detected"
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow.openflow_replayer import OpenFlowReplayer
from sts.simulation_state import SimulationConfig
from sts.input_traces.input_logger import InputLogger
simulation_config = SimulationConfig(controller_configs=[
ControllerConfig(
start_cmd=
' ./pox.py --verbose openflow.of_01 --address=__address__ --port=__port__ openflow.discovery forwarding.l2_multi',
label='c1',
address='127.0.0.1',
cwd='/home/ahassany/repos/pox/')
],
topology_class=MeshTopology,
topology_params="num_switches=2",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=False,
ignore_interposition=False,
kill_controllers_on_exit=True)
control_flow = OpenFlowReplayer(
simulation_config,
"traces/trace_pox_eel_l2_multi_fixed-MeshTopology2-steps200/events.trace")
# wait_on_deterministic_values=False
# delay_flow_mods=False
# Invariant check: 'InvariantChecker.check_liveness'
# Bug signature: ""
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow.openflow_replayer import OpenFlowReplayer
from sts.simulation_state import SimulationConfig
from sts.input_traces.input_logger import InputLogger
simulation_config = SimulationConfig(controller_configs=[ControllerConfig(start_cmd='tail -f "/home/jeremie/Applications/apache-karaf-3.0.3/data/log/karaf.log"', label='c1', address='127.0.0.1', cwd='./', controller_type='logfile')],
topology_class=MeshTopology,
topology_params="num_switches=2",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=False,
ignore_interposition=False,
kill_controllers_on_exit=True)
control_flow = OpenFlowReplayer(simulation_config, "traces/trace_onos-noinstr-ifwd-MeshTopology2-steps200/events.trace")
# wait_on_deterministic_values=False
# delay_flow_mods=False
# Invariant check: 'InvariantChecker.check_liveness'
# Bug signature: ""
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow.openflow_replayer import OpenFlowReplayer
from sts.simulation_state import SimulationConfig
from sts.input_traces.input_logger import InputLogger
simulation_config = SimulationConfig(controller_configs=[
ControllerConfig(
start_cmd=
'./pox.py --verbose openflow.discovery forwarding.l2_multi_null_pointer sts.util.socket_mux.pox_monkeypatcher openflow.of_01 --address=../sts_socket_pipe',
label='c1',
address='sts_socket_pipe',
cwd='pox')
],
topology_class=FatTree,
topology_params="",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=True,
kill_controllers_on_exit=True)
control_flow = OpenFlowReplayer(
simulation_config,
"experiments/pox_null_pointer_mcs/interreplay_0_reproducibility/events.trace"
)
# wait_on_deterministic_values=False
# delay_flow_mods=False
# Invariant check: 'InvariantChecker.check_liveness'
# Bug signature: "c1"
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow.openflow_replayer import OpenFlowReplayer
from sts.simulation_state import SimulationConfig
from sts.input_traces.input_logger import InputLogger
simulation_config = SimulationConfig(controller_configs=[ControllerConfig(start_cmd='./start-onos.sh start', label='c1', address='192.168.56.11', cwd='/home/mininet/ONOS', controller_type='onos', kill_cmd='./start-onos.sh stop', restart_cmd='./start-onos.sh stop'), ControllerConfig(start_cmd='./start-onos.sh start', label='c2', address='192.168.56.12', cwd='/home/mininet/ONOS', controller_type='onos', kill_cmd='./start-onos.sh stop', restart_cmd='./start-onos.sh stop')],
topology_class=MeshTopology,
topology_params="num_switches=2",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=False,
ignore_interposition=False,
kill_controllers_on_exit=False)
control_flow = OpenFlowReplayer(simulation_config, "experiments/onos_id_bug_fixed_ids_no_traffic/events.trace")
# wait_on_deterministic_values=False
# delay_flow_mods=False
# Invariant check: 'InvariantChecker.check_liveness'
# Bug signature: ""
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow.openflow_replayer import OpenFlowReplayer
from sts.simulation_state import SimulationConfig
from sts.input_traces.input_logger import InputLogger
simulation_config = SimulationConfig(controller_configs=[
ControllerConfig(
start_cmd=
'./pox.py --verbose forwarding.consistency --consistent=False --deny=False --update_wait=10 --update_once=True --consistent_sleep=5 --barriers=False openflow.of_01 --address=__address__ --port=__port__ ',
label='c1',
address='127.0.0.1',
cwd='pox/')
],
topology_class=ConsistencyTopology,
topology_params="",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=False,
ignore_interposition=False,
kill_controllers_on_exit=True)
control_flow = OpenFlowReplayer(
simulation_config,
"traces/trace_pox_ConsistencyTopology-False-False-steps100/events.trace")
# wait_on_deterministic_values=False
# delay_flow_mods=False
# Invariant check: 'InvariantChecker.check_liveness'
# Bug signature: ""
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow.openflow_replayer import OpenFlowReplayer
from sts.simulation_state import SimulationConfig
from sts.input_traces.input_logger import InputLogger
simulation_config = SimulationConfig(controller_configs=[ControllerConfig(start_cmd='./pox.py --verbose openflow.discovery forwarding.l2_multi openflow.of_01 --address=__address__ --port=__port__ ', label='c1', address='127.0.0.1', cwd='pox/')],
topology_class=StarTopology,
topology_params="num_hosts=4",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=False,
ignore_interposition=False,
kill_controllers_on_exit=True)
control_flow = OpenFlowReplayer(simulation_config, "traces/trace_pox_l2_multi-StarTopology4-steps100/events.trace")
# wait_on_deterministic_values=False
# delay_flow_mods=False
# Invariant check: 'InvariantChecker.check_liveness'
# Bug signature: ""
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow.openflow_replayer import OpenFlowReplayer
from sts.simulation_state import SimulationConfig
from sts.input_traces.input_logger import InputLogger
simulation_config = SimulationConfig(controller_configs=[ControllerConfig(start_cmd='./pox.py --verbose forwarding.l2_learning openflow.of_01 --address=__address__ --port=__port__ ', label='c1', address='127.0.0.1', cwd='../pox/')],
topology_class=BinaryLeafTreeTopology,
topology_params="num_levels=2",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=False,
ignore_interposition=False,
kill_controllers_on_exit=True)
control_flow = OpenFlowReplayer(simulation_config, "traces/trace_pox_eel_l2_learning-BinaryLeafTreeTopology2-steps200/events.trace")
# wait_on_deterministic_values=False
# delay_flow_mods=False
# Invariant check: 'InvariantChecker.check_liveness'
# Bug signature: ""
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow.openflow_replayer import OpenFlowReplayer
from sts.simulation_state import SimulationConfig
from sts.input_traces.input_logger import InputLogger
simulation_config = SimulationConfig(controller_configs=[
ControllerConfig(
start_cmd=
'./pox.py --verbose openflow.discovery forwarding.l2_multi_broken_floyd sts.util.socket_mux.pox_monkeypatcher openflow.of_01 --address=__address__ --port=__port__',
label='c1',
address='127.0.0.1',
cwd='pox')
],
topology_class=MeshTopology,
topology_params="num_switches=3",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=True,
ignore_interposition=True,
kill_controllers_on_exit=True)
control_flow = OpenFlowReplayer(
simulation_config,
"experiments/pox_broken_floyd_updated_mcs/interreplay_0_reproducibility/events.trace"
)
# wait_on_deterministic_values=False
# delay_flow_mods=False
# Invariant check: 'InvariantChecker.python_check_loops'
# Bug signature: "{'hs_history': [(x^L) - ([]), (dl_src:12:34:56:78:01:03,dl_dst:12:34:56:78:03:03,dl_vlan:65535,dl_vlan_pcp:0,dl_type:2048,nw_tos:0,nw_proto:1,nw_src:123.123.1.3/32,nw_dst:123.123.3.3/32,tp_src:0,tp_dst:0) - ([]), (dl_src:12:34:56:78:01:03,dl_dst:12:34:56:78:03:03,dl_vlan:65535,dl_vlan_pcp:0,dl_type:2048,nw_tos:0,nw_proto:1,nw_src:123.123.1.3/32,nw_dst:123.123.3.3/32,tp_src:0,tp_dst:0) - ([]), (dl_src:12:34:56:78:01:03,dl_dst:12:34:56:78:03:03,dl_vlan:65535,dl_vlan_pcp:0,dl_type:2048,nw_tos:0,nw_proto:1,nw_src:123.123.1.3/32,nw_dst:123.123.3.3/32,tp_src:0,tp_dst:0) - ([])], 'hdr': (dl_src:12:34:56:78:01:03,dl_dst:12:34:56:78:03:03,dl_vlan:65535,dl_vlan_pcp:0,dl_type:2048,nw_tos:0,nw_proto:1,nw_src:123.123.1.3/32,nw_dst:123.123.3.3/32,tp_src:0,tp_dst:0) - ([]), 'visits': [100003, 200002, 300001, 100001], 'port': 200002}"
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow.openflow_replayer import OpenFlowReplayer
from sts.simulation_state import SimulationConfig
from sts.input_traces.input_logger import InputLogger
simulation_config = SimulationConfig(controller_configs=[ControllerConfig(start_cmd='./pox.py --verbose openflow.discovery forwarding.l2_multi_broken_floyd sts.util.socket_mux.pox_monkeypatcher openflow.of_01 --address=__address__ --port=__port__', label='c1', address='127.0.0.1', cwd='pox')],
topology_class=MeshTopology,
topology_params="num_switches=3",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=True,
ignore_interposition=True,
kill_controllers_on_exit=True)
control_flow = OpenFlowReplayer(simulation_config, "experiments/pox_broken_floyd_updated_mcs/intermcs_4_/mcs.trace.notimeouts")
# wait_on_deterministic_values=False
# delay_flow_mods=False
# Invariant check: 'InvariantChecker.python_check_loops'
# Bug signature: "{'hs_history': [(x^L) - ([]), (dl_src:12:34:56:78:01:03,dl_dst:12:34:56:78:03:03,dl_vlan:65535,dl_vlan_pcp:0,dl_type:2048,nw_tos:0,nw_proto:1,nw_src:123.123.1.3/32,nw_dst:123.123.3.3/32,tp_src:0,tp_dst:0) - ([]), (dl_src:12:34:56:78:01:03,dl_dst:12:34:56:78:03:03,dl_vlan:65535,dl_vlan_pcp:0,dl_type:2048,nw_tos:0,nw_proto:1,nw_src:123.123.1.3/32,nw_dst:123.123.3.3/32,tp_src:0,tp_dst:0) - ([]), (dl_src:12:34:56:78:01:03,dl_dst:12:34:56:78:03:03,dl_vlan:65535,dl_vlan_pcp:0,dl_type:2048,nw_tos:0,nw_proto:1,nw_src:123.123.1.3/32,nw_dst:123.123.3.3/32,tp_src:0,tp_dst:0) - ([])], 'hdr': (dl_src:12:34:56:78:01:03,dl_dst:12:34:56:78:03:03,dl_vlan:65535,dl_vlan_pcp:0,dl_type:2048,nw_tos:0,nw_proto:1,nw_src:123.123.1.3/32,nw_dst:123.123.3.3/32,tp_src:0,tp_dst:0) - ([]), 'visits': [100003, 200002, 300001, 100001], 'port': 200002}"
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow.openflow_replayer import OpenFlowReplayer
from sts.simulation_state import SimulationConfig
from sts.input_traces.input_logger import InputLogger
simulation_config = SimulationConfig(controller_configs=[
ControllerConfig(
start_cmd=
'java -ea -Dlogback.configurationFile=./src/main/resources/logback-test-trace.xml -jar ./target/floodlight.jar -cf ./src/main/resources/trace_loadbalancer.properties',
label='c1',
address='127.0.0.1',
cwd='../floodlight')
],
topology_class=BinaryLeafTreeTopology,
topology_params="num_levels=2",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=False,
ignore_interposition=False,
kill_controllers_on_exit=True)
control_flow = OpenFlowReplayer(
simulation_config,
"paper/trace_floodlight_loadbalancer-BinaryLeafTreeTopology2-steps200/events.trace"
)
# wait_on_deterministic_values=False
# delay_flow_mods=False
# Invariant check: 'InvariantChecker.check_liveness'
# Bug signature: ""
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow.openflow_replayer import OpenFlowReplayer
from sts.simulation_state import SimulationConfig
from sts.input_traces.input_logger import InputLogger
simulation_config = SimulationConfig(controller_configs=[
ControllerConfig(
start_cmd=
'java -ea -Dlogback.configurationFile=./src/main/resources/logback-trace.xml -jar ./target/floodlight.jar -cf ./src/main/resources/hb_learningswitch.properties',
label='c1',
address='127.0.0.1',
cwd='../jfloodlight')
],
topology_class=StarTopology,
topology_params="num_hosts=2",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=False,
ignore_interposition=False,
kill_controllers_on_exit=True)
control_flow = OpenFlowReplayer(simulation_config, "traces/test4/events.trace")
# wait_on_deterministic_values=False
# delay_flow_mods=False
# Invariant check: 'InvariantChecker.check_liveness'
# Bug signature: ""
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow.openflow_replayer import OpenFlowReplayer
from sts.simulation_state import SimulationConfig
from sts.input_traces.input_logger import InputLogger
simulation_config = SimulationConfig(controller_configs=[
ControllerConfig(
start_cmd=
'./pox.py --verbose openflow.discovery forwarding.l2_multi_null_pointer sts.util.socket_mux.pox_monkeypatcher openflow.of_01 --address=../sts_socket_pipe',
label='c1',
address='sts_socket_pipe',
cwd='pox')
],
topology_class=FatTree,
topology_params="",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=True,
kill_controllers_on_exit=True)
control_flow = OpenFlowReplayer(
simulation_config,
"experiments/pox_null_pointer_mcs/interreplay_3_l_2/events.trace")
# wait_on_deterministic_values=False
# delay_flow_mods=False
# Invariant check: 'InvariantChecker.check_liveness'
# Bug signature: "c1"
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow.openflow_replayer import OpenFlowReplayer
from sts.simulation_state import SimulationConfig
from sts.input_traces.input_logger import InputLogger
simulation_config = SimulationConfig(controller_configs=[
ControllerConfig(
start_cmd=
'java -ea -Dlogback.configurationFile=./src/main/resources/logback-trace.xml -jar ./target/floodlight.jar -cf ./src/main/resources/trace_learningswitch.properties',
label='c1',
address='127.0.0.1',
cwd='../floodlight')
],
topology_class=StarTopology,
topology_params="num_hosts=2",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=False,
ignore_interposition=False,
kill_controllers_on_exit=True)
control_flow = OpenFlowReplayer(
simulation_config,
"traces/trace_floodlight_learningswitch-StarTopology2-steps200/events.trace"
)
# wait_on_deterministic_values=False
# delay_flow_mods=False
# Invariant check: 'InvariantChecker.check_liveness'
# Bug signature: ""
simulation_config = SimulationConfig(controller_configs=[
ControllerConfig(start_cmd='./start-onos.sh start',
label='c1',
address='192.168.56.11',
cwd='/home/mininet/ONOS',
controller_type='onos',
kill_cmd='./start-onos.sh stop',
restart_cmd='./start-onos.sh stop'),
ControllerConfig(start_cmd='./start-onos.sh start',
label='c2',
address='192.168.56.12',
cwd='/home/mininet/ONOS',
controller_type='onos',
kill_cmd='./start-onos.sh stop',
restart_cmd='./start-onos.sh stop')
],
topology_class=MeshTopology,
topology_params="num_switches=2",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=False,
ignore_interposition=False,
kill_controllers_on_exit=False)
control_flow = OpenFlowReplayer(
simulation_config,
"experiments/onos_controller_id_replay_2014_05_30_10_46_45/events.trace")
# wait_on_deterministic_values=False
# delay_flow_mods=False
# Invariant check: 'None'
# Bug signature: ""
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow.openflow_replayer import OpenFlowReplayer
from sts.simulation_state import SimulationConfig
from sts.input_traces.input_logger import InputLogger
simulation_config = SimulationConfig(controller_configs=[
ControllerConfig(
start_cmd=
'java -ea -Dlogback.configurationFile=./src/main/resources/logback-trace.xml -jar ./target/floodlight.jar -cf ./src/main/resources/trace_learningswitch.properties',
label='c1',
address='127.0.0.1',
cwd='../floodlight')
],
topology_class=BinaryLeafTreeTopology,
topology_params="num_levels=1",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=False,
ignore_interposition=False,
kill_controllers_on_exit=True)
control_flow = OpenFlowReplayer(
simulation_config,
"traces/trace_floodlight_learningswitch-BinaryLeafTreeTopology1-steps200/events.trace"
)
# wait_on_deterministic_values=False
# delay_flow_mods=False
# Invariant check: 'InvariantChecker.check_liveness'
# Bug signature: ""
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow.openflow_replayer import OpenFlowReplayer
from sts.simulation_state import SimulationConfig
from sts.input_traces.input_logger import InputLogger
simulation_config = SimulationConfig(controller_configs=[
ControllerConfig(
start_cmd=
'./pox.py --verbose openflow.discovery forwarding.l2_multi_broken_floyd sts.util.socket_mux.pox_monkeypatcher openflow.of_01 --address=__address__ --port=7777',
label='c1',
address='127.0.0.1',
cwd='pox')
],
topology_class=MeshTopology,
topology_params="num_switches=3",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=True,
ignore_interposition=False,
kill_controllers_on_exit=True)
control_flow = OpenFlowReplayer(
simulation_config, "experiments/pox_broken_floyd_updated/events.trace")
# wait_on_deterministic_values=False
# delay_flow_mods=False
# Invariant check: 'InvariantChecker.python_check_loops'
# Bug signature: ""
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow.openflow_replayer import OpenFlowReplayer
from sts.simulation_state import SimulationConfig
from sts.input_traces.input_logger import InputLogger
simulation_config = SimulationConfig(controller_configs=[
ControllerConfig(
start_cmd=
'./pox.py --verbose openflow.discovery forwarding.l2_multi_null_pointer sts.util.socket_mux.pox_monkeypatcher openflow.of_01 --address=../sts_socket_pipe',
label='c1',
address='sts_socket_pipe',
cwd='pox')
],
topology_class=FatTree,
topology_params="",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=True,
ignore_interposition=True,
kill_controllers_on_exit=True)
control_flow = OpenFlowReplayer(
simulation_config,
"experiments/pox_null_pointer_mcs_blackbox/interreplay_4_l_3/events.trace")
# wait_on_deterministic_values=False
# delay_flow_mods=False
# Invariant check: 'InvariantChecker.check_liveness'
# Bug signature: "c1"
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow.openflow_replayer import OpenFlowReplayer
from sts.simulation_state import SimulationConfig
from sts.input_traces.input_logger import InputLogger
simulation_config = SimulationConfig(controller_configs=[
ControllerConfig(
start_cmd=
'java -ea -Dlogback.configurationFile=./src/main/resources/logback-trace.xml -jar ./target/floodlight.jar -cf ./src/main/resources/trace_circuitpusher.properties',
label='c1',
address='127.0.0.1',
cwd='../floodlight')
],
topology_class=BinaryLeafTreeTopology,
topology_params="num_levels=1",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=False,
ignore_interposition=False,
kill_controllers_on_exit=True)
control_flow = OpenFlowReplayer(
simulation_config,
"paper/trace_floodlight_circuitpusher-BinaryLeafTreeTopology1-steps200/events.trace"
)
# wait_on_deterministic_values=False
# delay_flow_mods=False
# Invariant check: 'InvariantChecker.check_liveness'
# Bug signature: ""
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow.openflow_replayer import OpenFlowReplayer
from sts.simulation_state import SimulationConfig
from sts.input_traces.input_logger import InputLogger
simulation_config = SimulationConfig(controller_configs=[
ControllerConfig(
start_cmd=
'java -ea -Dlogback.configurationFile=./src/main/resources/logback-trace.xml -jar ./target/floodlight.jar -cf ./src/main/resources/trace_firewall.properties',
label='c1',
address='127.0.0.1',
cwd='../floodlight')
],
topology_class=BinaryLeafTreeTopology,
topology_params="num_levels=2",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=False,
ignore_interposition=False,
kill_controllers_on_exit=True)
control_flow = OpenFlowReplayer(
simulation_config,
"paper/trace_floodlight_firewall-BinaryLeafTreeTopology2-steps400/events.trace"
)
# wait_on_deterministic_values=False
# delay_flow_mods=False
# Invariant check: 'InvariantChecker.check_liveness'
# Bug signature: ""
ControllerConfig(start_cmd='./start-onos.sh start',
label='c1',
address='192.168.56.11',
cwd='/home/mininet/ONOS',
controller_type='onos',
kill_cmd='./start-onos.sh stop',
restart_cmd='./start-onos.sh stop'),
ControllerConfig(start_cmd='./start-onos.sh start',
label='c2',
address='192.168.56.12',
cwd='/home/mininet/ONOS',
controller_type='onos',
kill_cmd='./start-onos.sh stop',
restart_cmd='./start-onos.sh stop')
],
topology_class=MeshTopology,
topology_params="num_switches=2",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=False,
ignore_interposition=False,
kill_controllers_on_exit=False)
control_flow = OpenFlowReplayer(
simulation_config,
"experiments/onos_id_bug_fixed_ids_file_mcs4/intermcs_1_/mcs.trace.notimeouts"
)
# wait_on_deterministic_values=False
# delay_flow_mods=False
# Invariant check: 'check_for_file'
# Bug signature: "bug_file_detected"
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow.openflow_replayer import OpenFlowReplayer
from sts.simulation_state import SimulationConfig
from sts.input_traces.input_logger import InputLogger
simulation_config = SimulationConfig(controller_configs=[ControllerConfig(start_cmd='java -ea -Dlogback.configurationFile=./src/main/resources/logback-trace.xml -jar ./target/floodlight.jar -cf ./src/main/resources/trace_forwarding.properties', label='c1', address='127.0.0.1', cwd='../jfloodlight')],
topology_class=MeshTopology,
topology_params="num_switches=2",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=False,
ignore_interposition=False,
kill_controllers_on_exit=True)
control_flow = OpenFlowReplayer(simulation_config, "traces/trace_floodlight_forwarding-MeshTopology2-steps200/events.trace")
# wait_on_deterministic_values=False
# delay_flow_mods=False
# Invariant check: 'InvariantChecker.check_liveness'
# Bug signature: ""
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow.openflow_replayer import OpenFlowReplayer
from sts.simulation_state import SimulationConfig
from sts.input_traces.input_logger import InputLogger
simulation_config = SimulationConfig(controller_configs=[ControllerConfig(start_cmd='tail -f "/home/jeremie/Applications/apache-karaf-3.0.3/data/log/karaf.log"', label='c1', address='127.0.0.1', cwd='./', controller_type='logfile')],
topology_class=BinaryLeafTreeTopology,
topology_params="num_levels=1",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=False,
ignore_interposition=False,
kill_controllers_on_exit=True)
control_flow = OpenFlowReplayer(simulation_config, "traces/trace_onos-noinstr-ifwd-BinaryLeafTreeTopology1-steps200/events.trace")
# wait_on_deterministic_values=False
# delay_flow_mods=False
# Invariant check: 'InvariantChecker.check_liveness'
# Bug signature: ""
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow.openflow_replayer import OpenFlowReplayer
from sts.simulation_state import SimulationConfig
from sts.input_traces.input_logger import InputLogger
simulation_config = SimulationConfig(controller_configs=[
ControllerConfig(
start_cmd=
'./pox.py --verbose openflow.discovery forwarding.l2_multi openflow.of_01 --address=__address__ --port=__port__ ',
label='c1',
address='127.0.0.1',
cwd='pox/')
],
topology_class=BinaryLeafTreeTopology,
topology_params="num_levels=2",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=False,
ignore_interposition=False,
kill_controllers_on_exit=True)
control_flow = OpenFlowReplayer(
simulation_config,
"traces/trace_pox_l2_multi-BinaryLeafTreeTopology2-steps100/events.trace")
# wait_on_deterministic_values=False
# delay_flow_mods=False
# Invariant check: 'InvariantChecker.check_liveness'
# Bug signature: ""
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow.openflow_replayer import OpenFlowReplayer
from sts.simulation_state import SimulationConfig
from sts.input_traces.input_logger import InputLogger
simulation_config = SimulationConfig(controller_configs=[
ControllerConfig(
start_cmd=
'java -ea -Dlogback.configurationFile=./src/main/resources/logback-trace.xml -jar ./target/floodlight.jar -cf ./src/main/resources/hb_learningswitch.properties',
label='c1',
address='127.0.0.1',
cwd='../floodlight')
],
topology_class=BinaryLeafTreeTopology,
topology_params="num_levels=3",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=False,
ignore_interposition=False,
kill_controllers_on_exit=True)
control_flow = OpenFlowReplayer(
simulation_config,
"traces/floodlight_hb_circuitpusher-bintree3-traffic/events.trace")
# wait_on_deterministic_values=False
# delay_flow_mods=False
# Invariant check: 'InvariantChecker.check_liveness'
# Bug signature: ""