├── .git-hooks ├── Cargo.toml └── src │ └── lib.rs ├── Cargo.lock ├── Cargo.toml ├── LICENSE ├── afl_mutator ├── Cargo.toml └── src │ └── lib.rs ├── antlr_parser ├── Cargo.toml └── src │ ├── JavaScript.g4 │ ├── bin.rs │ ├── calculator.g4 │ ├── javascript_custom.json │ ├── javascript_new.json │ ├── lib.rs │ ├── lua.json │ ├── php_custom.json │ ├── pythonGrammarComplete.json │ ├── pythonGrammarSimplified.json │ ├── python_custom.json │ ├── ruby_antlr_old.g4 │ ├── ruby_custom.json │ ├── ruby_grammar_less_recursion.json │ ├── ruby_new_antlr_grammar.g4 │ ├── ruby_new_antlr_grammar.json │ └── url_schema.json ├── config.ron ├── forksrv ├── Cargo.toml ├── Dockerfile ├── instrument │ ├── clang_wrapper │ │ ├── .gitignore │ │ ├── Makefile │ │ ├── afl-llvm-pass.cpp │ │ └── redqueen-clang │ ├── rt │ │ ├── Makefile │ │ ├── common.c │ │ ├── runtime.h │ │ ├── runtime_config.h │ │ └── runtime_types.h │ └── test.c ├── run └── src │ ├── error.rs │ ├── exitreason.rs │ ├── lib.rs │ └── main.rs ├── gramfuzz_mrusty ├── .gitignore ├── .travis.yml ├── CHANGELOG.md ├── Cargo.toml ├── LICENSE ├── README.md ├── benches │ ├── coversions.rs │ └── speedup.rs ├── build.rs ├── examples │ └── container.rs ├── src │ ├── lib.rs │ ├── macros.rs │ ├── mrb_ext.c │ ├── mruby.rs │ ├── mruby │ │ ├── get_mruby.sh │ │ └── mruby-out.tar │ ├── mruby_ffi.rs │ ├── read_line.rs │ ├── repl.rs │ ├── spec.rs │ ├── spec │ │ ├── context.rb │ │ ├── example.rb │ │ ├── expect.rb │ │ ├── matchers │ │ │ ├── be.rb │ │ │ ├── be_a.rb │ │ │ ├── compare.rb │ │ │ ├── eq.rb │ │ │ ├── falsey.rb │ │ │ ├── have.rb │ │ │ ├── raise.rb │ │ │ ├── respond.rb │ │ │ ├── truthy.rb │ │ │ └── within.rb │ │ └── spec.rb │ └── tests │ │ ├── macros.rs │ │ └── mruby_ffi.rs └── tests │ ├── api.rs │ ├── compiled.mrb │ └── example │ ├── mod.rs │ ├── scalar.rs │ └── vector.rs ├── grammartec ├── Cargo.toml └── src │ ├── chunkstore.rs │ ├── context.rs │ ├── lib.rs │ ├── mutator.rs │ ├── newtypes.rs │ ├── recursion_info.rs │ ├── rule.rs │ └── tree.rs ├── gramophone ├── Cargo.toml ├── afl │ ├── dict.txt │ ├── in │ │ ├── case1.rb │ │ ├── case10.rb │ │ ├── case2.rb │ │ ├── case3.rb │ │ ├── case4.rb │ │ ├── case5.rb │ │ ├── case6.rb │ │ ├── case7.rb │ │ ├── case8.rb │ │ └── case9.rb │ └── run_afl.sh ├── config.ron ├── fuzz_mruby.sh ├── fuzz_mruby_daemon.sh ├── fuzz_mruby_kill.sh ├── lcov_diff.py ├── local_snapshotter.py ├── readme.md ├── snapshot_process_mruby.sh ├── src │ ├── config.rs │ ├── fuzzer.rs │ ├── generator.rs │ ├── generator.rs~ │ ├── main.rs │ ├── main.rs~ │ ├── mutation_tester.rs │ ├── queue.rs │ ├── rules.rs │ ├── shared_state.rs │ ├── state.rs │ └── test_runner.rs ├── timer.sh └── triaging.sh ├── paper.png ├── readme.md └── tree.png /.git-hooks/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/.git-hooks/Cargo.toml -------------------------------------------------------------------------------- /.git-hooks/src/lib.rs: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/LICENSE -------------------------------------------------------------------------------- /afl_mutator/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/afl_mutator/Cargo.toml -------------------------------------------------------------------------------- /afl_mutator/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/afl_mutator/src/lib.rs -------------------------------------------------------------------------------- /antlr_parser/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/antlr_parser/Cargo.toml -------------------------------------------------------------------------------- /antlr_parser/src/JavaScript.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/antlr_parser/src/JavaScript.g4 -------------------------------------------------------------------------------- /antlr_parser/src/bin.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/antlr_parser/src/bin.rs -------------------------------------------------------------------------------- /antlr_parser/src/calculator.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/antlr_parser/src/calculator.g4 -------------------------------------------------------------------------------- /antlr_parser/src/javascript_custom.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/antlr_parser/src/javascript_custom.json -------------------------------------------------------------------------------- /antlr_parser/src/javascript_new.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/antlr_parser/src/javascript_new.json -------------------------------------------------------------------------------- /antlr_parser/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/antlr_parser/src/lib.rs -------------------------------------------------------------------------------- /antlr_parser/src/lua.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/antlr_parser/src/lua.json -------------------------------------------------------------------------------- /antlr_parser/src/php_custom.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/antlr_parser/src/php_custom.json -------------------------------------------------------------------------------- /antlr_parser/src/pythonGrammarComplete.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/antlr_parser/src/pythonGrammarComplete.json -------------------------------------------------------------------------------- /antlr_parser/src/pythonGrammarSimplified.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/antlr_parser/src/pythonGrammarSimplified.json -------------------------------------------------------------------------------- /antlr_parser/src/python_custom.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/antlr_parser/src/python_custom.json -------------------------------------------------------------------------------- /antlr_parser/src/ruby_antlr_old.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/antlr_parser/src/ruby_antlr_old.g4 -------------------------------------------------------------------------------- /antlr_parser/src/ruby_custom.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/antlr_parser/src/ruby_custom.json -------------------------------------------------------------------------------- /antlr_parser/src/ruby_grammar_less_recursion.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/antlr_parser/src/ruby_grammar_less_recursion.json -------------------------------------------------------------------------------- /antlr_parser/src/ruby_new_antlr_grammar.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/antlr_parser/src/ruby_new_antlr_grammar.g4 -------------------------------------------------------------------------------- /antlr_parser/src/ruby_new_antlr_grammar.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/antlr_parser/src/ruby_new_antlr_grammar.json -------------------------------------------------------------------------------- /antlr_parser/src/url_schema.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/antlr_parser/src/url_schema.json -------------------------------------------------------------------------------- /config.ron: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/config.ron -------------------------------------------------------------------------------- /forksrv/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/forksrv/Cargo.toml -------------------------------------------------------------------------------- /forksrv/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/forksrv/Dockerfile -------------------------------------------------------------------------------- /forksrv/instrument/clang_wrapper/.gitignore: -------------------------------------------------------------------------------- 1 | redqueen-clang++ 2 | -------------------------------------------------------------------------------- /forksrv/instrument/clang_wrapper/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/forksrv/instrument/clang_wrapper/Makefile -------------------------------------------------------------------------------- /forksrv/instrument/clang_wrapper/afl-llvm-pass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/forksrv/instrument/clang_wrapper/afl-llvm-pass.cpp -------------------------------------------------------------------------------- /forksrv/instrument/clang_wrapper/redqueen-clang: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/forksrv/instrument/clang_wrapper/redqueen-clang -------------------------------------------------------------------------------- /forksrv/instrument/rt/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/forksrv/instrument/rt/Makefile -------------------------------------------------------------------------------- /forksrv/instrument/rt/common.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/forksrv/instrument/rt/common.c -------------------------------------------------------------------------------- /forksrv/instrument/rt/runtime.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/forksrv/instrument/rt/runtime.h -------------------------------------------------------------------------------- /forksrv/instrument/rt/runtime_config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/forksrv/instrument/rt/runtime_config.h -------------------------------------------------------------------------------- /forksrv/instrument/rt/runtime_types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/forksrv/instrument/rt/runtime_types.h -------------------------------------------------------------------------------- /forksrv/instrument/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/forksrv/instrument/test.c -------------------------------------------------------------------------------- /forksrv/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/forksrv/run -------------------------------------------------------------------------------- /forksrv/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/forksrv/src/error.rs -------------------------------------------------------------------------------- /forksrv/src/exitreason.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/forksrv/src/exitreason.rs -------------------------------------------------------------------------------- /forksrv/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/forksrv/src/lib.rs -------------------------------------------------------------------------------- /forksrv/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/forksrv/src/main.rs -------------------------------------------------------------------------------- /gramfuzz_mrusty/.gitignore: -------------------------------------------------------------------------------- 1 | target 2 | Cargo.lock 3 | -------------------------------------------------------------------------------- /gramfuzz_mrusty/.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/.travis.yml -------------------------------------------------------------------------------- /gramfuzz_mrusty/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/CHANGELOG.md -------------------------------------------------------------------------------- /gramfuzz_mrusty/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/Cargo.toml -------------------------------------------------------------------------------- /gramfuzz_mrusty/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/LICENSE -------------------------------------------------------------------------------- /gramfuzz_mrusty/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/README.md -------------------------------------------------------------------------------- /gramfuzz_mrusty/benches/coversions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/benches/coversions.rs -------------------------------------------------------------------------------- /gramfuzz_mrusty/benches/speedup.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/benches/speedup.rs -------------------------------------------------------------------------------- /gramfuzz_mrusty/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/build.rs -------------------------------------------------------------------------------- /gramfuzz_mrusty/examples/container.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/examples/container.rs -------------------------------------------------------------------------------- /gramfuzz_mrusty/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/src/lib.rs -------------------------------------------------------------------------------- /gramfuzz_mrusty/src/macros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/src/macros.rs -------------------------------------------------------------------------------- /gramfuzz_mrusty/src/mrb_ext.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/src/mrb_ext.c -------------------------------------------------------------------------------- /gramfuzz_mrusty/src/mruby.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/src/mruby.rs -------------------------------------------------------------------------------- /gramfuzz_mrusty/src/mruby/get_mruby.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/src/mruby/get_mruby.sh -------------------------------------------------------------------------------- /gramfuzz_mrusty/src/mruby/mruby-out.tar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/src/mruby/mruby-out.tar -------------------------------------------------------------------------------- /gramfuzz_mrusty/src/mruby_ffi.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/src/mruby_ffi.rs -------------------------------------------------------------------------------- /gramfuzz_mrusty/src/read_line.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/src/read_line.rs -------------------------------------------------------------------------------- /gramfuzz_mrusty/src/repl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/src/repl.rs -------------------------------------------------------------------------------- /gramfuzz_mrusty/src/spec.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/src/spec.rs -------------------------------------------------------------------------------- /gramfuzz_mrusty/src/spec/context.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/src/spec/context.rb -------------------------------------------------------------------------------- /gramfuzz_mrusty/src/spec/example.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/src/spec/example.rb -------------------------------------------------------------------------------- /gramfuzz_mrusty/src/spec/expect.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/src/spec/expect.rb -------------------------------------------------------------------------------- /gramfuzz_mrusty/src/spec/matchers/be.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/src/spec/matchers/be.rb -------------------------------------------------------------------------------- /gramfuzz_mrusty/src/spec/matchers/be_a.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/src/spec/matchers/be_a.rb -------------------------------------------------------------------------------- /gramfuzz_mrusty/src/spec/matchers/compare.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/src/spec/matchers/compare.rb -------------------------------------------------------------------------------- /gramfuzz_mrusty/src/spec/matchers/eq.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/src/spec/matchers/eq.rb -------------------------------------------------------------------------------- /gramfuzz_mrusty/src/spec/matchers/falsey.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/src/spec/matchers/falsey.rb -------------------------------------------------------------------------------- /gramfuzz_mrusty/src/spec/matchers/have.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/src/spec/matchers/have.rb -------------------------------------------------------------------------------- /gramfuzz_mrusty/src/spec/matchers/raise.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/src/spec/matchers/raise.rb -------------------------------------------------------------------------------- /gramfuzz_mrusty/src/spec/matchers/respond.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/src/spec/matchers/respond.rb -------------------------------------------------------------------------------- /gramfuzz_mrusty/src/spec/matchers/truthy.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/src/spec/matchers/truthy.rb -------------------------------------------------------------------------------- /gramfuzz_mrusty/src/spec/matchers/within.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/src/spec/matchers/within.rb -------------------------------------------------------------------------------- /gramfuzz_mrusty/src/spec/spec.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/src/spec/spec.rb -------------------------------------------------------------------------------- /gramfuzz_mrusty/src/tests/macros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/src/tests/macros.rs -------------------------------------------------------------------------------- /gramfuzz_mrusty/src/tests/mruby_ffi.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/src/tests/mruby_ffi.rs -------------------------------------------------------------------------------- /gramfuzz_mrusty/tests/api.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/tests/api.rs -------------------------------------------------------------------------------- /gramfuzz_mrusty/tests/compiled.mrb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/tests/compiled.mrb -------------------------------------------------------------------------------- /gramfuzz_mrusty/tests/example/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/tests/example/mod.rs -------------------------------------------------------------------------------- /gramfuzz_mrusty/tests/example/scalar.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/tests/example/scalar.rs -------------------------------------------------------------------------------- /gramfuzz_mrusty/tests/example/vector.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramfuzz_mrusty/tests/example/vector.rs -------------------------------------------------------------------------------- /grammartec/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/grammartec/Cargo.toml -------------------------------------------------------------------------------- /grammartec/src/chunkstore.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/grammartec/src/chunkstore.rs -------------------------------------------------------------------------------- /grammartec/src/context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/grammartec/src/context.rs -------------------------------------------------------------------------------- /grammartec/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/grammartec/src/lib.rs -------------------------------------------------------------------------------- /grammartec/src/mutator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/grammartec/src/mutator.rs -------------------------------------------------------------------------------- /grammartec/src/newtypes.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/grammartec/src/newtypes.rs -------------------------------------------------------------------------------- /grammartec/src/recursion_info.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/grammartec/src/recursion_info.rs -------------------------------------------------------------------------------- /grammartec/src/rule.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/grammartec/src/rule.rs -------------------------------------------------------------------------------- /grammartec/src/tree.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/grammartec/src/tree.rs -------------------------------------------------------------------------------- /gramophone/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramophone/Cargo.toml -------------------------------------------------------------------------------- /gramophone/afl/dict.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramophone/afl/dict.txt -------------------------------------------------------------------------------- /gramophone/afl/in/case1.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramophone/afl/in/case1.rb -------------------------------------------------------------------------------- /gramophone/afl/in/case10.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramophone/afl/in/case10.rb -------------------------------------------------------------------------------- /gramophone/afl/in/case2.rb: -------------------------------------------------------------------------------- 1 | a=1 2 | b=2 3 | a + b 4 | -------------------------------------------------------------------------------- /gramophone/afl/in/case3.rb: -------------------------------------------------------------------------------- 1 | "It is now #{Time.now}" 2 | -------------------------------------------------------------------------------- /gramophone/afl/in/case4.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramophone/afl/in/case4.rb -------------------------------------------------------------------------------- /gramophone/afl/in/case5.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramophone/afl/in/case5.rb -------------------------------------------------------------------------------- /gramophone/afl/in/case6.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramophone/afl/in/case6.rb -------------------------------------------------------------------------------- /gramophone/afl/in/case7.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramophone/afl/in/case7.rb -------------------------------------------------------------------------------- /gramophone/afl/in/case8.rb: -------------------------------------------------------------------------------- 1 | def call_block 2 | yield 3 | end 4 | -------------------------------------------------------------------------------- /gramophone/afl/in/case9.rb: -------------------------------------------------------------------------------- 1 | 3.upto(6) {|i| i } 2 | -------------------------------------------------------------------------------- /gramophone/afl/run_afl.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramophone/afl/run_afl.sh -------------------------------------------------------------------------------- /gramophone/config.ron: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramophone/config.ron -------------------------------------------------------------------------------- /gramophone/fuzz_mruby.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramophone/fuzz_mruby.sh -------------------------------------------------------------------------------- /gramophone/fuzz_mruby_daemon.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramophone/fuzz_mruby_daemon.sh -------------------------------------------------------------------------------- /gramophone/fuzz_mruby_kill.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramophone/fuzz_mruby_kill.sh -------------------------------------------------------------------------------- /gramophone/lcov_diff.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramophone/lcov_diff.py -------------------------------------------------------------------------------- /gramophone/local_snapshotter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramophone/local_snapshotter.py -------------------------------------------------------------------------------- /gramophone/readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramophone/readme.md -------------------------------------------------------------------------------- /gramophone/snapshot_process_mruby.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramophone/snapshot_process_mruby.sh -------------------------------------------------------------------------------- /gramophone/src/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramophone/src/config.rs -------------------------------------------------------------------------------- /gramophone/src/fuzzer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramophone/src/fuzzer.rs -------------------------------------------------------------------------------- /gramophone/src/generator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramophone/src/generator.rs -------------------------------------------------------------------------------- /gramophone/src/generator.rs~: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramophone/src/generator.rs~ -------------------------------------------------------------------------------- /gramophone/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramophone/src/main.rs -------------------------------------------------------------------------------- /gramophone/src/main.rs~: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramophone/src/main.rs~ -------------------------------------------------------------------------------- /gramophone/src/mutation_tester.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramophone/src/mutation_tester.rs -------------------------------------------------------------------------------- /gramophone/src/queue.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramophone/src/queue.rs -------------------------------------------------------------------------------- /gramophone/src/rules.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramophone/src/rules.rs -------------------------------------------------------------------------------- /gramophone/src/shared_state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramophone/src/shared_state.rs -------------------------------------------------------------------------------- /gramophone/src/state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramophone/src/state.rs -------------------------------------------------------------------------------- /gramophone/src/test_runner.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramophone/src/test_runner.rs -------------------------------------------------------------------------------- /gramophone/timer.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramophone/timer.sh -------------------------------------------------------------------------------- /gramophone/triaging.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/gramophone/triaging.sh -------------------------------------------------------------------------------- /paper.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/paper.png -------------------------------------------------------------------------------- /readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/readme.md -------------------------------------------------------------------------------- /tree.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RUB-SysSec/nautilus/HEAD/tree.png --------------------------------------------------------------------------------