Index of values

Connects two Tools.dev together

f <-= trx sets f as the receive function of this trx.

a <==> b connects a to b such that b receives what a emits and a receives what b emits.

trx =-> f sets f as the emiting function of this trx.

a ==> b connects a to b such that b transmits what a emits.

Adds two intervals.

Adds a time and an interval.

Returns the all-ones address of a CIDR

ARCNET, with BSD-style header

at t f x will execute f x when simulation clock reaches time t.

Amateur Radio AX.25

Constant for Ethernet broadcast address.

A counter for how many bytes were sniffed.

A counter for how many bytes were injected successfully.

Chaos

Used for tests only

Used for tests

Custom comparison function so that we can change time representation more easily in the future.

connect t1 ~name1:"plug1" t2 ~name2:"plug2" will change the plugs emiting and receiving functions such that t1 and t2 start exchanging messages at this point.

We have only one clock so can run only one simulation at the same time.

decode str will decode every URL encoded char present in str

delay d f x will delay the execution of f x by the interval d.

Ethernet (10Mb)

Experimental Ethernet (3Mb)

encode str will encode any reserved char present in str into the alternative %xx syntax.

From a pcap file, returns an Enum.t of Pcap.Pdu.t.

Packet.enum_of_file filename reads a pcap file and returns an Enum.t of Packet.Pdu.t.

Since Ethernet addresses are bitstrings, which cannot be compared using the built-in = operator, here is a dedicated comparison operator for addresses.

FDDI

file_of_enum filename e will save an Enum.t of Pcap.Pdu.t into the file named filename.

remove the matching plug and return it

Converts the other way around.

hours to .

802.5 Token Ring

Printer (in the sense of Batteries) for inet_addrs

Return some informations about a pcap file (require to scan the whole file, so depending on the file size it may take some time).

inject iface bits inject the packet bits into interface iface.

inject_ iface_handler packet inject this packet into this interface

Linux SLL

Returns the set (as an Enum) of all IP addresses in the given CIDR range (that is, all minus subnet zero and all-ones subnet).

Creates a Vlan.TRX.t.

Build a Vlan.Pdu.t for the given payload.

Build a Sll.Pdu.t for a given payload.

Build a t routing through these Tools.trx according to the given routing table.

make ip n returns a Tools.trx corresponding to a NAT device (tx is for transmitting from the LAN to the outside) that can track n sockets.

Creates an Eth.TRX.t.

Build an Eth.Pdu.t for the given payload.

A gateway is a device with 2 Eth interfaces, with a public IP address and a private network address, performing routing between these two, NAT and DHCP for the LAN.

Returns a net with an unlimited supply of plugs that performs as a router.

Returns a lan consisting of n hosts connected to a switch connected to a router/dhcp server/nater with an "exit" plug.

Return a net representing the external network via the given interface, and the thread that sniffs packets.

merge [e1 ; e2 ; e3] will merge the three Enumt.t of packets in chronological order.

minutes to .

the lowest port number used by the address translation

milliseconds to .

Get the MTU of a device (on Linux).

Will process the next event

Return the current simulation time.

BSD loopback encapsulation

For those cases when you want to build a trx from a single dev

Convert a bitstring into an Ip.Addr.t.

Convert from dotted representation (useful to allow DNS-less hosts to 'resolve' some name)

Url.of_string str will return the Url.t corresponding to the given str

Converts a string to an address.

openif "eth0" true "port 80" 96 returns the iface representing eth0, in promiscuous mode, filtering port 80 and capturing only the first 96 bytes of each packets.

openif_ "eth0" true "port 80" 96 returns the iface representing eth0, in promiscuous mode, filtering port 80 and capturing only the first 96 bytes of each packets.

Pack a Vlan.Pdu.t into its bitstring raw representation, ready for encapsulation into a Eth.Pdu.t (or anywhere you like).

Pack a Sll.Pdu.t into its bitstring raw representation.

Return the bitstring ready to be written into a pcap file (see Pcap.save).

pack pdu converts the layer list back to a Pcap.Pdu.t

Pack an Eth.Pdu.t into its bitstring raw representation, ready for injection onto the wire (via Pcap.inject_pdu for instance).

A counter for how many packets we failed to inject.

A counter for how many packets were injected successfully.

A counter for how many packets were sniffed.

pipe trx1 trx2 connects trx1 and trx2 so that trx1 output is sent through trx2, and returns a trx with trx1 as the inside and trx2 as the outside.

play tx "file.pcap" will read packets from "file.pcap" and send them to tx copying the pcap file frame rate.

Point-to-point Protocol

This printer can be composed with others (for instance to print a list of ips.

If true, use the system's name resolver to find a name for each IP addresses that are printed.

When displaying a time, print also the corresponding date.

If true, use the vendor database to decode address names:

# Eth.Addr.of_string "a4:ba:db:e6:15:fa";;

- : Eth.Addr.t = Dell:e6:15:fa

# Eth.Addr.print_with_vendor := false;;

- : unit = ()

# Eth.Addr.of_string "a4:ba:db:e6:15:fa";;

- : Eth.Addr.t = a4:ba:db:e6:15:fa

Proteon ProNET Token Ring

Returns a random Vlan.Pdu.t.

Returns a random Sll.Pdu.t.

Returns a random Ip.Addr.t (apart from broadcast and zero).

Returns a random Eth.Pdu.t.

Returns a random Ethernet address (but neither broadcast nor zero).

read_global_header filename reads the pcap global header from the given file, and returns both a Pcap.global_header and the input channel.

read_next_pkt global_header ic will return the next Pcap.Pdu.t that's to be read from the input stream ic.

Small utility that truncate a pcap file to the last valid packet.

resolve base url will return the absolute version of url, given it's relative to base.

run true will run forever while run false will return once no more events are waiting.

Receive function, called to output untaggd frames from the 802.1q tunnel.

Receive function, called to input an Ethernet frame into the TRX.

save "file.pcap" returns a function that will save passed pdus in "file.pcap".

save "file.pcap" returns a function that will save passed bitstrings as packets in "file.pcap".

seconds to .

Low level send fonction.

Listen HTTP connections arriving at host on given port, passing incoming messages to a user supplied function f.

serve host ips listen on host DHCP port and allocate the given ips to any requester.

Change the emitter of port N.

Build a CIDR from a single address

Serial Line IP

sniff iface will return the next available packet as a Pcap.Pdu.t.

sniff_ iface_handler will return the next available packet as a string, as well as its capture timestamp.

sniffer iface rx returns a thread that continuously sniff packets and pass them to the rx function (via the Clock).

Converts a Eth.gw_addr to a string.

Substract two time and returns an interval.

Synchronize internal clock with realtime clock.

Test an incoming packet against a route.

Convert an Ip.Addr.t to a bitstring.

Turns a port into a device

Turns a port into a device

Regardless of the above setting, return the dotted representation (a string) of a given address.

Packet.to_file filename e write the enumeration of Packet.Pdu.t into the given file.

Convert a timestamp to a pair of ints with seconds, microseconds

the opposite of of_string

Transmit function.

bits are flowing from LAN to outside world

Transmit function.

Unpack a bitstring into a Vlan.Pdu.t

Unpack a bitstring into a Sll.Pdu.t

Converts a Pcap.pdu.t into a Packet.Pdu.t.

Unpack a bitstring into an Eth.Pdu.t

Unpack an ip packets and return the ip PDU, source port and dest port.

microseconds to .

Low level wrapper around the C vendor database.

Get the current wall clock (through ).

write_global_header filename write a 'generic' pcap global header and returns the output channel.

write_next_pkt global_header ic will return the next Pcap.Pdu.t that's to be read from the input stream ic.

Constant for Ethernet all zeroes address.

Returns the subnet-zero address of a CIDR