diff --git a/docs/src/BuildingS2E.rst b/docs/src/BuildingS2E.rst index 1370159d0..7076e5d10 100644 --- a/docs/src/BuildingS2E.rst +++ b/docs/src/BuildingS2E.rst @@ -8,7 +8,7 @@ to run them manually. .. note:: - S2E builds and runs on Ubuntu 22.04 LTS and Debian 11 (64-bit). + S2E builds and runs on Ubuntu 22.04 LTS and Debian 11/12 (64-bit). Earlier versions may still work, but we do not support them anymore. diff --git a/docs/src/Howtos/Coverage/index.rst b/docs/src/Howtos/Coverage/index.rst index 7e8b77a22..9af453008 100644 --- a/docs/src/Howtos/Coverage/index.rst +++ b/docs/src/Howtos/Coverage/index.rst @@ -75,7 +75,7 @@ is concrete and we will not instruct S2E to make it symbolic). .. code-block:: console - s2e new_project --image debian-11.3-i386 /path/to/coreutils-8.26/build/bin/cat /etc/fstab + s2e new_project --image debian-12.5-i386 /path/to/coreutils-8.26/build/bin/cat /etc/fstab After creating the project, run S2E. This should take a few seconds and terminate. @@ -242,7 +242,7 @@ folder. .. code-block:: console - s2e new_project -n cat-symb --image debian-11.3-i386 /path/to/coreutils-8.26/build/bin/cat -T @@ + s2e new_project -n cat-symb --image debian-12.5-i386 /path/to/coreutils-8.26/build/bin/cat -T @@ The ``@@`` symbol tells ``s2e-env`` to generate a bootstrap file that will run ``cat`` with a symbolic file as input. By default this symbolic file will be a 256 byte file filled with ``null`` bytes as concolic values. @@ -387,7 +387,7 @@ other program. .. code-block:: console - s2e new_project -n linux-kernel -i debian-11.3-x86_64 --no-target --type linux + s2e new_project -n linux-kernel -i debian-12.5-x86_64 --no-target --type linux 2. Add ``vmlinux`` to the ``ModuleExecutionDetector`` plugin configuration: @@ -526,7 +526,7 @@ The typical symptom is that the coverage report is empty. Here is a checklist to $ ls -l /home/user/s2e/env/projects/my_project ... - lrwxrwxrwx 1 user user 51 Apr 8 18:34 guestfs -> /mnt/home3/guest-images/debian-11.3-x86_64/guestfs + lrwxrwxrwx 1 user user 51 Apr 8 18:34 guestfs -> /mnt/home3/guest-images/debian-12.5-x86_64/guestfs ... - Check that ``projects/my_project/guestfs/vmlinux`` is valid and contains line information (try ``addr2line``) diff --git a/docs/src/Profiling/ProfilingS2E.rst b/docs/src/Profiling/ProfilingS2E.rst index d818c5513..b7f5da0ec 100644 --- a/docs/src/Profiling/ProfilingS2E.rst +++ b/docs/src/Profiling/ProfilingS2E.rst @@ -21,7 +21,7 @@ with ``libs2e.so`` and causes crashes. The disadvantage is that you cannot injec .. code-block:: bash $ ps aux | grep qemu - ubuntu 31044 96.7 4.7 3487216 1191460 pts/8 Sl 13:54 0:03 /home/ubuntu/s2e/env/install/bin/qemu-system-i386 -drive file=/home/ubuntu/s2e/env/images/debian-11.3-i386/image.raw.s2e,format=s2e,cache=writeback -k en-us -nographic -monitor null -m 256M -enable-kvm -serial file:serial.txt -net none -net nic,model=e1000 -loadvm ready + ubuntu 31044 96.7 4.7 3487216 1191460 pts/8 Sl 13:54 0:03 /home/ubuntu/s2e/env/install/bin/qemu-system-i386 -drive file=/home/ubuntu/s2e/env/images/debian-12.5-i386/image.raw.s2e,format=s2e,cache=writeback -k en-us -nographic -monitor null -m 256M -enable-kvm -serial file:serial.txt -net none -net nic,model=e1000 -loadvm ready $ heaptrack -p 31044 heaptrack output will be written to "/home/ubuntu/heaptrack/build/heaptrack.qemu-system-i38.31044.gz" diff --git a/docs/src/Tutorials/MSOffice/index.rst b/docs/src/Tutorials/MSOffice/index.rst index 45dea6551..40f9fb9fd 100644 --- a/docs/src/Tutorials/MSOffice/index.rst +++ b/docs/src/Tutorials/MSOffice/index.rst @@ -29,8 +29,8 @@ this case Windows and Microsoft Office. S2E supports various combinations of Win Available images: * cgc_debian-9.2.1-i386 - Debian i386 image with CGC kernel and user-space packages - * debian-11.3-i386 - Debian i386 image - * debian-11.3-x86_64 - Debian x86_64 image + * debian-12.5-i386 - Debian i386 image + * debian-12.5-x86_64 - Debian x86_64 image * windows-10pro1909-x86_64 - Windows 10 Pro 1909 x86_64 * windows-10pro1909-x86_64/office2010 - Microsoft Office 2010 32-bit * windows-10pro1909-x86_64/office2013 - Microsoft Office 2013 32-bit diff --git a/docs/src/Tutorials/SystemTap/index.rst b/docs/src/Tutorials/SystemTap/index.rst index 54171802b..0f596362d 100644 --- a/docs/src/Tutorials/SystemTap/index.rst +++ b/docs/src/Tutorials/SystemTap/index.rst @@ -49,7 +49,7 @@ two Docker images on your host: ``linux-build-i386`` and ``linux-build-x86_64``. # that does not target any particular binary. You will then later customize the project manually in order to # fetch the .ko file generated by SystemTap. host $ cd /home/user/s2e/env - host $ s2e new_project -n systemtap -i debian-11.3-i386 --no-target --type linux + host $ s2e new_project -n systemtap -i debian-12.5-i386 --no-target --type linux # Start the docker container in order to build the hello world SystemTap probe host $ docker run --rm -ti -v $HOME:$HOME linux-build-i386 diff --git a/docs/src/s2e-env.rst b/docs/src/s2e-env.rst index fb0d493a4..887c25931 100644 --- a/docs/src/s2e-env.rst +++ b/docs/src/s2e-env.rst @@ -13,7 +13,7 @@ You will find in the documentation various tutorials that go deeper into various .. note:: - S2E builds and runs on Ubuntu 22.04 LTS and Debian 11 (64-bit). + S2E builds and runs on Ubuntu 22.04 LTS and Debian 11/12 (64-bit). Earlier versions may still work, but we do not support them anymore. @@ -126,12 +126,12 @@ You will need a virtual machine image to run your analysis target in. To see wha s2e image_build -This will list an image template name and a description of that image. For example, to build a Linux Debian 11.3 i386 +This will list an image template name and a description of that image. For example, to build a Linux Debian 12.5 i386 image run: .. code-block:: console - s2e image_build debian-11.3-i386 + s2e image_build debian-12.5-i386 This will: