An example of a model that is intended to run against a generic TFTP server.
A Lustre model is generated using the following python script. This model employs some advanced modeling features such as the use of uninterpreted function to introduce non-determinism and to model large memories.
A relay for the TFTP server is here. Note that this relay uses scapy to format and send UDP packets.
Running this example is simplest using Docker.
To start the example, run the following commands from the FuzzM/examples/tftp-model directory:
docker-compose upTo stop the example:
docker-compose down