├── .gitignore ├── CMakeLists.txt ├── GLOSSARY.md ├── LICENSE ├── README.md ├── TODO.md ├── aflplusplus ├── Makefile ├── README.md ├── average.pl ├── edges.gp ├── guide-gen.cpp ├── parallel_afl.sh ├── run_alive2.pl └── separate_afl.sh ├── include └── guide.h ├── john-notes.md ├── mutate ├── mutate.cpp └── mutate.h └── tests ├── gen_regex.cpp ├── gen_regex.h ├── regex_test.cpp ├── saver_test.cpp ├── standard-trees.h ├── sync_test.cpp ├── test-standard-trees.h ├── test.cpp └── weighted-sampler.h /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/guided-tree-search/HEAD/.gitignore -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/guided-tree-search/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /GLOSSARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/guided-tree-search/HEAD/GLOSSARY.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/guided-tree-search/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/guided-tree-search/HEAD/README.md -------------------------------------------------------------------------------- /TODO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/guided-tree-search/HEAD/TODO.md -------------------------------------------------------------------------------- /aflplusplus/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/guided-tree-search/HEAD/aflplusplus/Makefile -------------------------------------------------------------------------------- /aflplusplus/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/guided-tree-search/HEAD/aflplusplus/README.md -------------------------------------------------------------------------------- /aflplusplus/average.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/guided-tree-search/HEAD/aflplusplus/average.pl -------------------------------------------------------------------------------- /aflplusplus/edges.gp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/guided-tree-search/HEAD/aflplusplus/edges.gp -------------------------------------------------------------------------------- /aflplusplus/guide-gen.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/guided-tree-search/HEAD/aflplusplus/guide-gen.cpp -------------------------------------------------------------------------------- /aflplusplus/parallel_afl.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/guided-tree-search/HEAD/aflplusplus/parallel_afl.sh -------------------------------------------------------------------------------- /aflplusplus/run_alive2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/guided-tree-search/HEAD/aflplusplus/run_alive2.pl -------------------------------------------------------------------------------- /aflplusplus/separate_afl.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/guided-tree-search/HEAD/aflplusplus/separate_afl.sh -------------------------------------------------------------------------------- /include/guide.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/guided-tree-search/HEAD/include/guide.h -------------------------------------------------------------------------------- /john-notes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/guided-tree-search/HEAD/john-notes.md -------------------------------------------------------------------------------- /mutate/mutate.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/guided-tree-search/HEAD/mutate/mutate.cpp -------------------------------------------------------------------------------- /mutate/mutate.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/guided-tree-search/HEAD/mutate/mutate.h -------------------------------------------------------------------------------- /tests/gen_regex.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/guided-tree-search/HEAD/tests/gen_regex.cpp -------------------------------------------------------------------------------- /tests/gen_regex.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/guided-tree-search/HEAD/tests/gen_regex.h -------------------------------------------------------------------------------- /tests/regex_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/guided-tree-search/HEAD/tests/regex_test.cpp -------------------------------------------------------------------------------- /tests/saver_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/guided-tree-search/HEAD/tests/saver_test.cpp -------------------------------------------------------------------------------- /tests/standard-trees.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/guided-tree-search/HEAD/tests/standard-trees.h -------------------------------------------------------------------------------- /tests/sync_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/guided-tree-search/HEAD/tests/sync_test.cpp -------------------------------------------------------------------------------- /tests/test-standard-trees.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/guided-tree-search/HEAD/tests/test-standard-trees.h -------------------------------------------------------------------------------- /tests/test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/guided-tree-search/HEAD/tests/test.cpp -------------------------------------------------------------------------------- /tests/weighted-sampler.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/regehr/guided-tree-search/HEAD/tests/weighted-sampler.h --------------------------------------------------------------------------------