Skip to content

Commit 45f3087

Browse files
committed
tutorial: clarify when kafl fuzz succeeds
1 parent b869bc3 commit 45f3087

File tree

1 file changed

+37
-0
lines changed

1 file changed

+37
-0
lines changed

docs/source/tutorials/installation.md

Lines changed: 37 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -191,6 +191,43 @@ You should see the kAFL ACSII art logo:
191191
===================================================
192192

193193
<< kAFL Fuzzer >>
194+
195+
Warning: Launching without --seed-dir?
196+
No PT trace region defined.
197+
00:00:00: 0 exec/s, 0 edges, 0% favs pending, findings: <0, 0, 0>
198+
Worker-00 Launching virtual machine...
199+
/home/mtarral/kafl/kafl/qemu/x86_64-softmmu/qemu-system-x86_64
200+
-enable-kvm
201+
-machine kAFL64-v1
202+
-cpu kAFL64-Hypervisor-v1,+vmx
203+
-no-reboot
204+
-net none
205+
-display none
206+
-chardev socket,server,id=nyx_socket,path=/dev/shm/kafl_mtarral/interface_0
207+
-device nyx,chardev=nyx_socket,workdir=/dev/shm/kafl_mtarral,worker_id=0,bitmap_size=65536,input_buffer_size=131072
208+
-device isa-serial,chardev=kafl_serial
209+
-chardev file,id=kafl_serial,mux=on,path=/dev/shm/kafl_mtarral/serial_00.log
210+
-m 256
211+
-fast_vm_reload path=/dev/shm/kafl_mtarral/snapshot/,load=off
212+
[QEMU-NYX] Max Dirty Ring Size -> 1048576 (Entries: 65536)
213+
qemu-system-x86_64: warning: host doesn't support requested feature: CPUID.01H:ECX.pcid [bit 17]
214+
qemu-system-x86_64: warning: host doesn't support requested feature: CPUID.07H:EBX.hle [bit 4]
215+
qemu-system-x86_64: warning: host doesn't support requested feature: CPUID.07H:EBX.rtm [bit 11]
216+
[QEMU-NYX] Dirty ring mmap region located at 0x767b25d00000
217+
[QEMU-NYX] Warning: Invalid sharedir...
218+
[QEMU-NYX] Booting VM to start fuzzing...
219+
...
220+
~~~
221+
222+
If that's the case, kAFL is **correctly configured** !
223+
224+
You can now send a `CTRL-C` to stop kAFL:
225+
226+
~~~
227+
^CReceived Ctrl-C, killing workers...
228+
Waiting for Workers to shutdown...
229+
Worker-00 Shutting down Qemu after 0 execs..
230+
qemu-system-x86_64: terminating on signal 15 from pid 115166 (/home/mtarral/kafl/kafl/.venv/bin/python3)
194231
~~~
195232
196233
:::{note}

0 commit comments

Comments
 (0)