zakarya/puzzles
1
0
Fork 0
mirror of git://git.tartarus.org/simon/puzzles.git synced 2025-04-20 23:51:29 -07:00
Code Issues Packages Projects Releases Wiki Activity

Add a dictionary for AFL++

Browse Source 
It consists of two parts.  One is the list of all record types used by
the serialiser, to make it easy for AFL++ to find them.  The other is
the "interesting" integers used by AFL++ converted to ASCII decimal
form because Puzzles save files are coded in decimal and this will
help AFL++ to guess good values.  I hope.
This commit is contained in:
Ben Harris
2023-01-11 10:14:52 +00:00
parent 1a48d76fcc
commit 32c487ba57
1 changed files with 51 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

51
fuzzpuzz.dict Normal file
View File

@ -0,0 +1,51 @@
# AFL dictionary to help with fuzzing the Puzzles save-file loader.
# All the keywords in their canonical form.
keyword="SAVEFILE:"
keyword="VERSION :"
keyword="GAME :"
keyword="PARAMS :"
keyword="CPARAMS :"
keyword="HEXSEED :"
keyword="SEED :"
keyword="DESC :"
keyword="PRIVDESC:"
keyword="AUXINFO :"
keyword="UI :"
keyword="TIME :"
keyword="NSTATES :"
keyword="STATEPOS:"
keyword="MOVE :"
keyword="SOLVE :"
keyword="RESTART :"
# Interesting integers from AFL++ "include/config.h" in decimal form.
interesting_8="-128"
interesting_8="-1"
interesting_8="0"
interesting_8="1"
interesting_8="16"
interesting_8="32"
interesting_8="64"
interesting_8="100"
interesting_8="127"
interesting_16="-32768"
interesting_16="-129"
interesting_16="128"
interesting_16="255"
interesting_16="256"
interesting_16="512"
interesting_16="1000"
interesting_16="1024"
interesting_16="4096"
interesting_16="32767"
interesting_32="-2147483648"
interesting_32"-100663046"
interesting_32"-32769"
interesting_32"32768"
interesting_32"65535"
interesting_32"65536"
interesting_32"100663045"
interesting_32"2147483647"