├── .gitignore ├── .rustfmt.toml ├── CODE_OF_CONDUCT.md ├── CONTRIBUTING.md ├── Cargo.lock ├── Cargo.toml ├── LICENSE ├── README.md ├── scripts ├── run_dialyzer_once.sh ├── run_eqwalizer_once.sh ├── run_erl_asan.sh ├── run_erl_debug.sh ├── run_erlfmt_once.sh ├── run_gradualizer_once.sh ├── run_infer_once.sh ├── verify_erl_jit.sh ├── verify_erlc_opts.sh └── verify_infer_against_erl.sh └── src ├── ast.rs ├── context.rs ├── core_types.rs ├── environment.rs ├── generator.rs ├── lib.rs ├── main.rs ├── reducer.rs ├── stdlib.rs └── types.rs /.gitignore: -------------------------------------------------------------------------------- 1 | out/ 2 | interesting/ 3 | minimized/ 4 | -------------------------------------------------------------------------------- /.rustfmt.toml: -------------------------------------------------------------------------------- 1 | tools/rust/ossconfigs/rustfmt.toml -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/WhatsApp/erlfuzz/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/WhatsApp/erlfuzz/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/WhatsApp/erlfuzz/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/WhatsApp/erlfuzz/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/WhatsApp/erlfuzz/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/WhatsApp/erlfuzz/HEAD/README.md -------------------------------------------------------------------------------- /scripts/run_dialyzer_once.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/WhatsApp/erlfuzz/HEAD/scripts/run_dialyzer_once.sh -------------------------------------------------------------------------------- /scripts/run_eqwalizer_once.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/WhatsApp/erlfuzz/HEAD/scripts/run_eqwalizer_once.sh -------------------------------------------------------------------------------- /scripts/run_erl_asan.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/WhatsApp/erlfuzz/HEAD/scripts/run_erl_asan.sh -------------------------------------------------------------------------------- /scripts/run_erl_debug.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/WhatsApp/erlfuzz/HEAD/scripts/run_erl_debug.sh -------------------------------------------------------------------------------- /scripts/run_erlfmt_once.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/WhatsApp/erlfuzz/HEAD/scripts/run_erlfmt_once.sh -------------------------------------------------------------------------------- /scripts/run_gradualizer_once.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/WhatsApp/erlfuzz/HEAD/scripts/run_gradualizer_once.sh -------------------------------------------------------------------------------- /scripts/run_infer_once.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/WhatsApp/erlfuzz/HEAD/scripts/run_infer_once.sh -------------------------------------------------------------------------------- /scripts/verify_erl_jit.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/WhatsApp/erlfuzz/HEAD/scripts/verify_erl_jit.sh -------------------------------------------------------------------------------- /scripts/verify_erlc_opts.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/WhatsApp/erlfuzz/HEAD/scripts/verify_erlc_opts.sh -------------------------------------------------------------------------------- /scripts/verify_infer_against_erl.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/WhatsApp/erlfuzz/HEAD/scripts/verify_infer_against_erl.sh -------------------------------------------------------------------------------- /src/ast.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/WhatsApp/erlfuzz/HEAD/src/ast.rs -------------------------------------------------------------------------------- /src/context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/WhatsApp/erlfuzz/HEAD/src/context.rs -------------------------------------------------------------------------------- /src/core_types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/WhatsApp/erlfuzz/HEAD/src/core_types.rs -------------------------------------------------------------------------------- /src/environment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/WhatsApp/erlfuzz/HEAD/src/environment.rs -------------------------------------------------------------------------------- /src/generator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/WhatsApp/erlfuzz/HEAD/src/generator.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/WhatsApp/erlfuzz/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/WhatsApp/erlfuzz/HEAD/src/main.rs -------------------------------------------------------------------------------- /src/reducer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/WhatsApp/erlfuzz/HEAD/src/reducer.rs -------------------------------------------------------------------------------- /src/stdlib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/WhatsApp/erlfuzz/HEAD/src/stdlib.rs -------------------------------------------------------------------------------- /src/types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/WhatsApp/erlfuzz/HEAD/src/types.rs --------------------------------------------------------------------------------