from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow.mcs_finder import EfficientMCSFinder from sts.invariant_checker import InvariantChecker from sts.simulation_state import SimulationConfig 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=MeshTopology, topology_params="num_switches=4", patch_panel_class=BufferedPatchPanel, multiplex_sockets=False, ignore_interposition=False, kill_controllers_on_exit=True) control_flow = EfficientMCSFinder( simulation_config, "paper/trace_floodlight_firewall-MeshTopology4-steps200/events.trace", wait_on_deterministic_values=False, default_dp_permit=False, pass_through_whitelisted_messages=False, delay_flow_mods=False, invariant_check_name='InvariantChecker.check_liveness', bug_signature="")
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow.replayer import Replayer 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 = Replayer( simulation_config, "traces/trace_onos-ifwd-MeshTopology2-steps200/events.trace", input_logger=InputLogger(), wait_on_deterministic_values=False, allow_unexpected_messages=False, delay_flow_mods=False, default_dp_permit=False, pass_through_whitelisted_messages=False,
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow 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 forwarding.capabilities_manager 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=2", patch_panel_class=BufferedPatchPanel, multiplex_sockets=True, ignore_interposition=True, kill_controllers_on_exit=True) control_flow = OpenFlowReplayer( simulation_config, "experiments/trigger_priority_mismatch_small_mcs_blackbox/interreplay_20_l_2/events.trace" ) # wait_on_deterministic_values=False # delay_flow_mods=False # Invariant check: 'check_for_flow_entry' # Bug signature: "123Found"
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow import EfficientMCSFinder from sts.invariant_checker import InvariantChecker from sts.simulation_state import SimulationConfig simulation_config = SimulationConfig(controller_configs=[ ControllerConfig( start_cmd= './pox.py --verbose --unthreaded-sh sts.util.socket_mux.pox_monkeypatcher openflow.discovery forwarding.topo_proactive openflow.of_01 --address=__address__ --port=__port__', label='c1', address='127.0.0.1', cwd='dart_pox') ], topology_class=FatTree, topology_params="num_pods=3", patch_panel_class=BufferedPatchPanel, multiplex_sockets=True, kill_controllers_on_exit=True) control_flow = EfficientMCSFinder( simulation_config, "experiments/snapshot_proactive_pox/events.trace", wait_on_deterministic_values=False, default_dp_permit=True, delay_flow_mods=False, invariant_check_name='check_for_invalid_ports', bug_signature="")
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow import Replayer from sts.simulation_state import SimulationConfig simulation_config = SimulationConfig( controller_configs=[ ControllerConfig( cmdline= './pox.py --verbose --random-seed=1 openflow.discovery forwarding.l2_multi openflow.of_01 --address=__address__ --port=__port__', address='127.0.0.1', port=6634, cwd='betta') ], topology_class=MeshTopology, topology_params="num_switches=2", patch_panel_class=BufferedPatchPanel, dataplane_trace="dataplane_traces/ping_pong_same_subnet.trace", multiplex_sockets=False) control_flow = Replayer( simulation_config, "exp/pox_l2multi-exp4_2013_01_27_07_22_16/events.trace", wait_on_deterministic_values=False)
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow.interactive_replayer import InteractiveReplayer 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=True, kill_controllers_on_exit=False) control_flow = InteractiveReplayer( simulation_config,
from sts.topology import MeshTopology from sts.control_flow.mcs_finder import EfficientMCSFinder from sts.input_traces.input_logger import InputLogger from sts.simulation_state import SimulationConfig from sts.control_flow.peeker import SnapshotPeeker # Use POX as our controller start_cmd = ( '''./pox.py --verbose ''' '''openflow.discovery forwarding.l2_multi ''' '''sts.util.socket_mux.pox_monkeypatcher --snapshot_address=../snapshot_socket''' '''openflow.of_01 --address=__address__ --port=__port__''') controllers = [ ControllerConfig(start_cmd, cwd="pox", snapshot_address="./snapshot_socket") ] topology_class = MeshTopology topology_params = "num_switches=2" simulation_config = SimulationConfig(controller_configs=controllers, topology_class=topology_class, topology_params=topology_params, multiplex_sockets=True) peeker = SnapshotPeeker(simulation_config) control_flow = EfficientMCSFinder( simulation_config, "/PATH/TO/EVENT.TRACE", wait_on_deterministic_values=False,
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow.interactive_replayer import InteractiveReplayer 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=4", patch_panel_class=BufferedPatchPanel, multiplex_sockets=False, ignore_interposition=False, kill_controllers_on_exit=True) control_flow = InteractiveReplayer(simulation_config, "traces/trace_floodlight_learningswitch-StarTopology4-steps200/events.trace") # wait_on_deterministic_values=False # delay_flow_mods=False # Invariant check: 'InvariantChecker.check_liveness' # Bug signature: ""
from sts.input_traces.input_logger import InputLogger from sts.invariant_checker import InvariantChecker from sts.simulation_state import SimulationConfig # Use POX as our controller command_line = ( '''./pox.py --verbose ''' #'''sts.syncproto.pox_syncer --blocking=False ''' #'''openflow.mock_discovery forwarding.l2_multi ''' '''openflow.discovery forwarding.l2_multi ''' #'''sts.util.socket_mux.pox_monkeypatcher ''' '''openflow.of_01 --address=__address__ --port=__port__''') controllers = [ ControllerConfig( command_line, cwd="betta", #sync="tcp:localhost:18899" ) ] topology_class = MeshTopology topology_params = "num_switches=2" #dataplane_trace = "dataplane_traces/ping_pong_same_subnet.trace" simulation_config = SimulationConfig( controller_configs=controllers, topology_class=topology_class, topology_params=topology_params, #dataplane_trace=dataplane_trace, #multiplex_sockets=True )
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow import Replayer from sts.simulation_state import SimulationConfig from sts.input_traces.input_logger import InputLogger from sts.control_flow.peeker import SnapshotPeeker simulation_config = SimulationConfig(controller_configs=[ ControllerConfig( start_cmd='''./pox.py --verbose openflow.discovery ''' '''forwarding.l2_multi_synthetic_link_failure_crash ''' '''sts.util.socket_mux.pox_monkeypatcher --snapshot_address=/tmp/snapshot_address ''' '''openflow.of_01 --address=__address__ --port=__port__''', label='c1', address='127.0.0.1', cwd='pox', snapshot_address="/tmp/snapshot_address") ], topology_class=MeshTopology, topology_params="num_switches=3", patch_panel_class=BufferedPatchPanel, multiplex_sockets=True, kill_controllers_on_exit=True) peeker = SnapshotPeeker(simulation_config, default_dp_permit=True) # TODO(cs): pass through sends? Add default_dp_permit to Replayer? control_flow = Replayer( simulation_config, "experiments/snapshot_demo_light_failures/events.trace", input_logger=InputLogger(), wait_on_deterministic_values=False,
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow import Replayer 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.topo_proactive sts.util.socket_mux.pox_monkeypatcher openflow.of_01 --address=__address__ --port=6709', label='c1', address='127.0.0.1', cwd='dart_pox')], topology_class=MeshTopology, topology_params="num_switches=4", patch_panel_class=BufferedPatchPanel, multiplex_sockets=True, kill_controllers_on_exit=True) control_flow = Replayer(simulation_config, "experiments/trigger_multithreading_bug_small_mcs/intermcs_8_/mcs.trace.notimeouts", input_logger=InputLogger(), wait_on_deterministic_values=False, allow_unexpected_messages=False, delay_flow_mods=False, default_dp_permit=False, pass_through_whitelisted_messages=False, invariant_check_name='InvariantChecker.check_liveness', bug_signature="c1")
from sts.controller_manager import UserSpaceControllerPatchPanel from sts.control_flow.fuzzer import Fuzzer from sts.input_traces.input_logger import InputLogger from sts.simulation_state import SimulationConfig from sts.happensbefore.hb_logger import HappensBeforeLogger # Use POX as our controller start_cmd = ('''./pox.py --verbose ''' '''openflow.discovery forwarding.l2_multi_new ''' '''openflow.of_01 --address=__address__ --port=__port__ ''') start_cmd = '''echo "no-op"''' controllers = [ ControllerConfig(start_cmd, cwd="pox/", address="192.168.56.1", port=6633, controller_type='dummy') ] num = 2 topology_class = StarTopology topology_params = "num_hosts=%d" % num #topology_class = MeshTopology #topology_params = "num_switches=%d" % num # topology_class = GridTopology # topology_params = "num_rows=3, num_columns=3" #topology_class = BinaryLeafTreeTopology #topology_params = "num_levels=%d" % num steps = 200
from sts.controller_manager import UserSpaceControllerPatchPanel from sts.control_flow.fuzzer import Fuzzer from sts.control_flow.interactive import Interactive from sts.input_traces.input_logger import InputLogger from sts.simulation_state import SimulationConfig from sts.happensbefore.hb_logger import HappensBeforeLogger from config.application_events import AppFloodlightLoadBalancer start_cmd = ( '''java -ea -Dlogback.configurationFile=./src/main/resources/logback-test-trace.xml -jar ''' '''./target/floodlight.jar ''' '''-cf ./src/main/resources/trace_loadbalancer.properties''') controllers = [ ControllerConfig(start_cmd, cwd='../floodlight', address="127.0.0.1", port=6633) ] # Uncomment this if you are running Floodlight separately, e.g. for debugging in Eclipse. There must be a controller listening on port 6633. # start_cmd = '''echo "no-op"''' # controllers = [ControllerConfig(start_cmd, cwd='../floodlight', address="127.0.0.1", port=6633, controller_type='dummy')] num = 2 topology_class = StarTopology topology_params = "num_hosts=%d" % num # topology_class = MeshTopology # topology_params = "num_switches=%d" % num # topology_class = GridTopology # topology_params = "num_rows=3, num_columns=3" # topology_class = BinaryLeafTreeTopology
from config.experiment_config_lib import ControllerConfig from sts.control_flow import Fuzzer from sts.input_traces.input_logger import InputLogger from sts.topology import MeshTopology from sts.simulation_state import SimulationConfig from sts.invariant_checker import InvariantChecker # Use POX as our controller command_line = ( '''./pox.py --verbose --no-cli sts.syncproto.pox_syncer ''' '''openflow.discovery openflow.spanning_tree forwarding.l2_multi ''' '''sts.util.socket_mux.pox_monkeypatcher ''' '''openflow.of_01 --address=__address__ --port=__port__''') controllers = [ ControllerConfig(command_line, port=6632, cwd="pox", sync="tcp:localhost:18901") ] topology_params = "num_pods=10" simulation_config = SimulationConfig(controller_configs=controllers, topology_params=topology_params, multiplex_sockets=True) timestamp_results = True # Use a Fuzzer (already the default) control_flow = Fuzzer( simulation_config, #fuzzer_params="exp/config/fuzzer_params_migration_and_switches.py", check_interval=20,
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow.mcs_finder import EfficientMCSFinder from sts.invariant_checker import InvariantChecker from sts.simulation_state import SimulationConfig 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 = EfficientMCSFinder( simulation_config, "traces/trace_pox_eel_learningswitch-BinaryLeafTreeTopology2-steps200/events.trace", wait_on_deterministic_values=False, default_dp_permit=False, pass_through_whitelisted_messages=False, delay_flow_mods=False, invariant_check_name='InvariantChecker.check_liveness', bug_signature="")
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow import Replayer from sts.simulation_state import SimulationConfig simulation_config = SimulationConfig(controller_configs=[ ControllerConfig( start_cmd= './pox.py --verbose sts.syncproto.pox_syncer --blocking=False openflow.discovery forwarding.l2_multi sts.util.socket_mux.pox_monkeypatcher openflow.of_01 --address=__address__ --port=__port__', address='127.0.0.1', port=6633, cwd='pox', sync='tcp:localhost:18899') ], topology_class=MeshTopology, topology_params="num_switches=2", patch_panel_class=BufferedPatchPanel, multiplex_sockets=True) control_flow = Replayer( simulation_config, "experiments/updated_debug_branch_loop_mcs/interreplay_11_l.5/events.trace", wait_on_deterministic_values=False) # Invariant check: 'None'
from config.experiment_config_lib import ControllerConfig from sts.control_flow import Fuzzer from sts.input_traces.input_logger import InputLogger from sts.simulation_state import SimulationConfig from sts.invariant_checker import InvariantChecker # Use POX as our controller # Use POX as our controller command_line = ('''./pox.py --verbose --no-cli sts.syncproto.pox_syncer ''' '''samples.topo forwarding.l2_multi ''' '''sts.util.socket_mux.pox_monkeypatcher ''' '''openflow.of_01 --address=../sts_socket_pipe''') controllers = [ ControllerConfig(command_line, address="sts_socket_pipe", cwd="pox", sync="tcp:localhost:18899") ] dataplane_trace = "dataplane_traces/ping_pong_fat_tree.trace" simulation_config = SimulationConfig(controller_configs=controllers, dataplane_trace=dataplane_trace, multiplex_sockets=True) # Use a Fuzzer (already the default) control_flow = Fuzzer(simulation_config, check_interval=1, halt_on_violation=True, input_logger=InputLogger(), invariant_check=InvariantChecker.check_liveness)
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow import InteractiveReplayer from sts.simulation_state import SimulationConfig from sts.input_traces.input_logger import InputLogger simulation_config = SimulationConfig(controller_configs=[ ControllerConfig( start_cmd='./pyretic.py -m p0 -v high pyretic.modules.hub', label='c1', address='127.0.0.1', cwd='../pyretic', kill_cmd= 'ps aux | grep -e pox -e pyretic | grep -v simulator | cut -c 9-15 | xargs kill -9' ) ], topology_class=MeshTopology, topology_params="num_switches=3", patch_panel_class=BufferedPatchPanel, multiplex_sockets=False, ignore_interposition=True, kill_controllers_on_exit=True) control_flow = InteractiveReplayer( simulation_config, "experiments/t/interreplay_4_l_1/events.trace") # wait_on_deterministic_values=False # delay_flow_mods=False # Invariant check: 'InvariantChecker.python_check_loops' # Bug signature: "{'hs_history': [(x^L) - ([]), (dl_vlan:65535,dl_vlan_pcp:0) - ([]), (dl_vlan:65535,dl_vlan_pcp:0) - ([])], 'hdr': (dl_vlan:65535,dl_vlan_pcp:0) - ([]), 'visits': [100001, 200002, 300001], 'port': 100001}"
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow import InteractiveReplayer 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_syn_mem_corruption', label='c1', address='127.0.0.1', cwd='pox') ], topology_class=MeshTopology, topology_params="num_switches=4", patch_panel_class=BufferedPatchPanel, multiplex_sockets=False, kill_controllers_on_exit=True) control_flow = InteractiveReplayer( simulation_config, "experiments/syn_mem_corruption_3switch_fuzzer_mcs/interreplay_8_r_4/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 import Replayer from sts.simulation_state import SimulationConfig simulation_config = SimulationConfig(controller_configs=[ControllerConfig(start_cmd='./nox_core -v -i ptcp:6635 routing', address='127.0.0.1', port=6635, cwd='nox_classic/build/src')], topology_class=MeshTopology, topology_params="num_switches=4", patch_panel_class=BufferedPatchPanel, multiplex_sockets=False) control_flow = Replayer(simulation_config, "experiments/nox_mesh_4_loop_repro_w_3_retries/interreplay_28_l.4/events.trace", wait_on_deterministic_values=False) # Invariant check: 'None'
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow import InteractiveReplayer from sts.simulation_state import SimulationConfig from sts.input_traces.input_logger import InputLogger simulation_config = SimulationConfig(controller_configs=[ ControllerConfig( start_cmd= ' onos stop; zk stop ; cassandra stop; echo "sleeping for 5sec"; sleep 5; /mnt/ahassany/vagrant_onosdev/scripts/conf_setup.sh 2 ; zk start ; cassandra start; echo "sleeping for 10sec"; sleep 10 ; onos start ; echo "sleeping for 40 secs"; sleep 40 ; onos stop; sleep 10; cassandra cleandb; onos start; sleep 40', label='c1', address='192.168.56.11', cwd='/mnt/ahassany/vagrant_onosdev', controller_type='onos', kill_cmd= ' ssh onosdev1 "cd ONOS; ./start-onos.sh stop"; echo "killed"; sleep 5', restart_cmd= 'ssh onosdev1 "cd ONOS; ./start-onos.sh start"; echo "restarted"; sleep 20' ), ControllerConfig( start_cmd='echo "DUMMY COMMAND"; sleep 1', label='c2', address='192.168.56.12', cwd='/mnt/ahassany/vagrant_onosdev', controller_type='onos', kill_cmd= ' ssh onosdev2 "cd ONOS; ./start-onos.sh stop"; echo "killed"; sleep 5', restart_cmd= 'ssh onosdev2 "cd ONOS; ./start-onos.sh start"; echo "restarted"; sleep 20' ) ],
from sts.input_traces.input_logger import InputLogger from sts.simulation_state import SimulationConfig from sts.happensbefore.hb_logger import HappensBeforeLogger consistent = False barriers= True # Use POX as our controller start_cmd = ('''./pox.py --verbose ''' ''' forwarding.consistency --consistent=%s --deny=False ''' ''' --update_wait=10 --update_once=True --consistent_sleep=10 --barriers=%s ''' ''' openflow.of_01 --address=__address__ --port=__port__ ''' % (consistent, barriers)) controllers = [ControllerConfig(start_cmd, cwd="pox/")] steps = 200 topology_class = ConsistencyTopology topology_params = "" # Where should the output files be written to results_dir = "traces/trace_pox_%s-%s-%s-steps%d" % (topology_class.__name__, consistent, barriers, steps) apps = None # include all defaults simulation_config = SimulationConfig(controller_configs=controllers, topology_class=topology_class, topology_params=topology_params, patch_panel_class=BufferedPatchPanel,
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow import InteractiveReplayer 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 topology host_tracker sts.util.socket_mux.pox_monkeypatcher openflow.of_01 --address=__address__ --port=__port__ --max_connections=15', label='c1', address='127.0.0.1', cwd='pox') ], topology_class=MeshTopology, topology_params="num_switches=2", patch_panel_class=BufferedPatchPanel, multiplex_sockets=True, kill_controllers_on_exit=True) control_flow = InteractiveReplayer( simulation_config, "experiments/trigger_memory_leak3_mcs/intermcs_2_/mcs.trace.notimeouts") # 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.replayer import Replayer 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 = Replayer( simulation_config, "experiments/pox_null_pointer_mcs_blackbox/intermcs_6_/mcs.trace.notimeouts", input_logger=InputLogger(), wait_on_deterministic_values=False, allow_unexpected_messages=False, delay_flow_mods=False, default_dp_permit=False, pass_through_whitelisted_messages=False, invariant_check_name='InvariantChecker.check_liveness',
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow import OpenFlowReplayer from sts.simulation_state import SimulationConfig from sts.input_traces.input_logger import InputLogger simulation_config = SimulationConfig(controller_configs=[ ControllerConfig( start_cmd= './pyretic.py -m p0 pyretic.examples.firewall_for_sts_no_close', label='c1', address='127.0.0.1', cwd='../pyretic', kill_cmd= 'ps aux | grep -e pox -e pyretic | grep -v simulator | cut -c 9-15 | xargs kill -9' ) ], topology_class=MeshTopology, topology_params="num_switches=3", patch_panel_class=BufferedPatchPanel, multiplex_sockets=False, kill_controllers_on_exit=True) control_flow = OpenFlowReplayer( simulation_config, "experiments/fuzz_pyretic_mesh_proactive_firewall_no_close_check_loop_mcs/interreplay_1_l_0/events.trace" ) # wait_on_deterministic_values=False # delay_flow_mods=False # Invariant check: 'None'
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow.replayer import Replayer 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=True --deny=False --update_wait=10 --update_once=True --consistent_sleep=10 --barriers=True 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 = Replayer(simulation_config, "traces/trace_pox_ConsistencyTopology-True-True-steps200/events.trace", input_logger=InputLogger(), wait_on_deterministic_values=False, allow_unexpected_messages=False, delay_flow_mods=False, default_dp_permit=False, pass_through_whitelisted_messages=False, invariant_check_name='InvariantChecker.check_liveness', bug_signature="")
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow import Replayer from sts.simulation_state import SimulationConfig simulation_config = SimulationConfig(controller_configs=[ ControllerConfig(start_cmd='./nox_core -v -i ptcp:6635 routing', address='127.0.0.1', port=6635, cwd='nox_classic/build/src') ], topology_class=MeshTopology, topology_params="num_switches=4", patch_panel_class=BufferedPatchPanel, multiplex_sockets=False) control_flow = Replayer( simulation_config, "experiments/nox_mesh_4_loop_repro_w_3_retries/interreplay_94_l.5/events.trace", wait_on_deterministic_values=False) # Invariant check: 'None'
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='echo "no-op"', label='c1', address='192.168.56.1', cwd='pox/', controller_type='dummy') ], 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_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 import Replayer 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 --unthreaded-sh misc.ip_loadbalancer --ip=123.123.1.3 --servers=123.123.2.3,123.123.1.3 sts.util.socket_mux.pox_monkeypatcher openflow.discovery openflow.of_01 --address=__address__ --port=__port__', label='c1', address='127.0.0.1', cwd='dart_pox') ], topology_class=MeshTopology, topology_params="num_switches=3", patch_panel_class=BufferedPatchPanel, multiplex_sockets=True, kill_controllers_on_exit=True) control_flow = Replayer( simulation_config, "experiments/load_balancer_fuzzer_mcs/interreplay_64_l_5/events.trace", input_logger=InputLogger(), wait_on_deterministic_values=False, allow_unexpected_messages=False, delay_flow_mods=False, default_dp_permit=False, pass_through_whitelisted_messages=False, invariant_check_name='check_for_ofp_error', bug_signature="ERROR_SENT")
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_fwd --consistent=True --use_barrier=True openflow.of_01 --address=__address__ --port=__port__ ', label='c1', address='127.0.0.1', cwd='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_hb_reactive-consistencyMeshTopology-True-True-steps50/events.trace" ) # wait_on_deterministic_values=False # delay_flow_mods=False # Invariant check: 'InvariantChecker.check_liveness' # Bug signature: ""