@@ -263,7 +263,7 @@ We mainly use `AFL <https://lcamtuf.coredump.cx/afl/>`_ for fuzzing. You need to
263263install the AFL packages from your repositories (afl, afl-clang) or build them manually.
264264Next, build Solidity (or just the ``solfuzzer `` binary) with AFL as your compiler:
265265
266- :: 
266+ ..  code-block ::  shell 
267267
268268    cd  build 
269269    #  if needed 
@@ -273,7 +273,7 @@ Next, build Solidity (or just the ``solfuzzer`` binary) with AFL as your compile
273273
274274 At this stage you should be able to see a message similar to the following:
275275
276- :: 
276+ ..  code-block ::  text 
277277
278278    Scanning dependencies of target solfuzzer 
279279    [ 98%] Building CXX object test/tools/CMakeFiles/solfuzzer.dir/fuzzer.cpp.o 
@@ -284,7 +284,7 @@ At this stage you should be able to see a message similar to the following:
284284
285285 If the instrumentation messages did not appear, try switching the cmake flags pointing to AFL's clang binaries:
286286
287- :: 
287+ ..  code-block ::  shell 
288288
289289    #  if previously failed 
290290    make clean 
@@ -293,7 +293,7 @@ If the instrumentation messages did not appear, try switching the cmake flags po
293293
294294 Otherwise, upon execution the fuzzer halts with an error saying binary is not instrumented:
295295
296- :: 
296+ ..  code-block ::  text 
297297
298298    afl-fuzz 2.52b by <[email protected] > 299299    ... (truncated messages) 
@@ -317,7 +317,7 @@ Next, you need some example source files. This makes it much easier for the fuzz
317317to find errors. You can either copy some files from the syntax tests or extract test files
318318from the documentation or the other tests:
319319
320- :: 
320+ ..  code-block ::  shell 
321321
322322    mkdir /tmp/test_cases 
323323    cd  /tmp/test_cases 
@@ -334,7 +334,7 @@ that result in similar behaviour of the binary.
334334
335335Now run the fuzzer (the ``-m `` extends the size of memory to 60 MB):
336336
337- :: 
337+ ..  code-block ::  shell 
338338
339339    afl-fuzz -m 60 -i /tmp/test_cases -o /tmp/fuzzer_reports -- /path/to/solfuzzer 
340340
0 commit comments