├── .gitignore ├── .gitmodules ├── CMakeLists.txt ├── LICENSE ├── README.md ├── bin └── ct-fuzz ├── docs ├── PREREQUISITE.md ├── TEST.md └── USAGE.md ├── scripts └── ct-fuzz-diff.py ├── share └── ct-fuzz │ ├── include │ ├── ct-fuzz-debug.h │ ├── ct-fuzz-observation.h │ ├── ct-fuzz-read.h │ ├── ct-fuzz-utils.h │ └── ct-fuzz.h │ ├── lib │ ├── ct-fuzz-cache.c │ ├── ct-fuzz-debug.c │ ├── ct-fuzz-memory.c │ ├── ct-fuzz-observation.c │ ├── ct-fuzz-read.c │ └── ct-fuzz.c │ ├── top.py │ └── utils.py ├── src ├── include │ ├── generate-seeds.h │ ├── instantiate-harness.h │ ├── instrument-monitors.h │ ├── read-inputs.h │ └── utils.h └── lib │ ├── generate-seeds.cpp │ ├── instantiate-harness.cpp │ ├── instrument-monitors.cpp │ ├── read-inputs.cpp │ └── utils.cpp └── test ├── ct-fuzz-test.h ├── input-reader ├── integer.c ├── integer.c.hex ├── integer.c.output ├── public_in_int.c ├── public_in_int.c.hex ├── public_in_int.c.output ├── public_in_mixed.c ├── public_in_mixed.c.hex ├── public_in_mixed.c.output ├── public_in_ptr.c ├── public_in_ptr.c.hex └── public_in_ptr.c.output ├── length-annotation ├── simple.c └── simple.c.output ├── lit.site.cfg └── seed-generation ├── all_arrs.c ├── all_arrs.c.output ├── all_ints.c └── all_ints.c.output /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/.gitmodules -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/README.md -------------------------------------------------------------------------------- /bin/ct-fuzz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/bin/ct-fuzz -------------------------------------------------------------------------------- /docs/PREREQUISITE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/docs/PREREQUISITE.md -------------------------------------------------------------------------------- /docs/TEST.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/docs/TEST.md -------------------------------------------------------------------------------- /docs/USAGE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/docs/USAGE.md -------------------------------------------------------------------------------- /scripts/ct-fuzz-diff.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/scripts/ct-fuzz-diff.py -------------------------------------------------------------------------------- /share/ct-fuzz/include/ct-fuzz-debug.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/share/ct-fuzz/include/ct-fuzz-debug.h -------------------------------------------------------------------------------- /share/ct-fuzz/include/ct-fuzz-observation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/share/ct-fuzz/include/ct-fuzz-observation.h -------------------------------------------------------------------------------- /share/ct-fuzz/include/ct-fuzz-read.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/share/ct-fuzz/include/ct-fuzz-read.h -------------------------------------------------------------------------------- /share/ct-fuzz/include/ct-fuzz-utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/share/ct-fuzz/include/ct-fuzz-utils.h -------------------------------------------------------------------------------- /share/ct-fuzz/include/ct-fuzz.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/share/ct-fuzz/include/ct-fuzz.h -------------------------------------------------------------------------------- /share/ct-fuzz/lib/ct-fuzz-cache.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/share/ct-fuzz/lib/ct-fuzz-cache.c -------------------------------------------------------------------------------- /share/ct-fuzz/lib/ct-fuzz-debug.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/share/ct-fuzz/lib/ct-fuzz-debug.c -------------------------------------------------------------------------------- /share/ct-fuzz/lib/ct-fuzz-memory.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/share/ct-fuzz/lib/ct-fuzz-memory.c -------------------------------------------------------------------------------- /share/ct-fuzz/lib/ct-fuzz-observation.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/share/ct-fuzz/lib/ct-fuzz-observation.c -------------------------------------------------------------------------------- /share/ct-fuzz/lib/ct-fuzz-read.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/share/ct-fuzz/lib/ct-fuzz-read.c -------------------------------------------------------------------------------- /share/ct-fuzz/lib/ct-fuzz.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/share/ct-fuzz/lib/ct-fuzz.c -------------------------------------------------------------------------------- /share/ct-fuzz/top.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/share/ct-fuzz/top.py -------------------------------------------------------------------------------- /share/ct-fuzz/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/share/ct-fuzz/utils.py -------------------------------------------------------------------------------- /src/include/generate-seeds.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/src/include/generate-seeds.h -------------------------------------------------------------------------------- /src/include/instantiate-harness.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/src/include/instantiate-harness.h -------------------------------------------------------------------------------- /src/include/instrument-monitors.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/src/include/instrument-monitors.h -------------------------------------------------------------------------------- /src/include/read-inputs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/src/include/read-inputs.h -------------------------------------------------------------------------------- /src/include/utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/src/include/utils.h -------------------------------------------------------------------------------- /src/lib/generate-seeds.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/src/lib/generate-seeds.cpp -------------------------------------------------------------------------------- /src/lib/instantiate-harness.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/src/lib/instantiate-harness.cpp -------------------------------------------------------------------------------- /src/lib/instrument-monitors.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/src/lib/instrument-monitors.cpp -------------------------------------------------------------------------------- /src/lib/read-inputs.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/src/lib/read-inputs.cpp -------------------------------------------------------------------------------- /src/lib/utils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/src/lib/utils.cpp -------------------------------------------------------------------------------- /test/ct-fuzz-test.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/test/ct-fuzz-test.h -------------------------------------------------------------------------------- /test/input-reader/integer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/test/input-reader/integer.c -------------------------------------------------------------------------------- /test/input-reader/integer.c.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/test/input-reader/integer.c.hex -------------------------------------------------------------------------------- /test/input-reader/integer.c.output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/test/input-reader/integer.c.output -------------------------------------------------------------------------------- /test/input-reader/public_in_int.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/test/input-reader/public_in_int.c -------------------------------------------------------------------------------- /test/input-reader/public_in_int.c.hex: -------------------------------------------------------------------------------- 1 | ca& f -------------------------------------------------------------------------------- /test/input-reader/public_in_int.c.output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/test/input-reader/public_in_int.c.output -------------------------------------------------------------------------------- /test/input-reader/public_in_mixed.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/test/input-reader/public_in_mixed.c -------------------------------------------------------------------------------- /test/input-reader/public_in_mixed.c.hex: -------------------------------------------------------------------------------- 1 | 00 -------------------------------------------------------------------------------- /test/input-reader/public_in_mixed.c.output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/test/input-reader/public_in_mixed.c.output -------------------------------------------------------------------------------- /test/input-reader/public_in_ptr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/test/input-reader/public_in_ptr.c -------------------------------------------------------------------------------- /test/input-reader/public_in_ptr.c.hex: -------------------------------------------------------------------------------- 1 | 00 -------------------------------------------------------------------------------- /test/input-reader/public_in_ptr.c.output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/test/input-reader/public_in_ptr.c.output -------------------------------------------------------------------------------- /test/length-annotation/simple.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/test/length-annotation/simple.c -------------------------------------------------------------------------------- /test/length-annotation/simple.c.output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/test/length-annotation/simple.c.output -------------------------------------------------------------------------------- /test/lit.site.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/test/lit.site.cfg -------------------------------------------------------------------------------- /test/seed-generation/all_arrs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/test/seed-generation/all_arrs.c -------------------------------------------------------------------------------- /test/seed-generation/all_arrs.c.output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/test/seed-generation/all_arrs.c.output -------------------------------------------------------------------------------- /test/seed-generation/all_ints.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/test/seed-generation/all_ints.c -------------------------------------------------------------------------------- /test/seed-generation/all_ints.c.output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/michael-emmi/ct-fuzz/HEAD/test/seed-generation/all_ints.c.output --------------------------------------------------------------------------------