GitHub - matthiaskrgr/icemaker: automatially find crashes in the rust compiler & tooling

Maker of ICE (Internal Compiler Error).

A small program to automatically find crashes in the rust compiler, clippy, rustdoc, rustfmt and miri. Runs executable on a vast number of rust files (such as rustcs testsuit or glacier) and filters all the crashes.

Features:

run rustc, clippy, rustdoc, rustfmt, miri, cg_clif or kani on a file and check if there is a crash
parallel execution
check different combinations of RUSTFLAGS
try to find minimal set of RUSTFLAGS that reproduces the internal compiler error
check if a file compiles stably with incremental compilation
build and run a file or tests under miri
run clippy or rustc on a file and find out if (and which) lint does not apply successfully (causes compiler errors)
find rustc diagnostics that change the file but do not managed to actually fix the broken code
use "prlimit" to protect against etenally hanging processes or OOMs during infinite loops
fuzz incremental compilation by using tree-splicer-rust to cause modifications for incremental compilation testing
automatic testcase reduction for rustc with treereduce-rust
somewhat automatic report generation for the bugtracker (for rustc atleast)

Requirements:

by default, we build with the "ci" feature disabled and require "prlimit" to limit memory and runtime of a process

History:
This project started years ago as a simple bash oneliner like

for file in `find . | grep \.rs$` ;do ; echo $file; clippy-driver $file |& grep panicked ; done

but later I decided to RIIR and add support for rustc, rustdoc, nicer output, finding UB via miri and broken lint suggestions etc...

Shout-outs and related projects
http://github.com/jruderman/fuzz-rustc for getting me 80mb of fuzzing code
http://github.com/dwrensha/fuzz-rustc which I could use to generate more output
http://github.com/Nilstrieb/cargo-minimize testcase reduction
http://github.com/langston-barrett/treereduce testcase reducion
http://github.com/langston-barrett/tree-splicer code mutator which icemaker can use to generate more code

Trophy case (1120+):

License:

Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
<LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
option. All files in the project carrying such notice may not be
copied, modified, or distributed except according to those terms.

Name		Name	Last commit message	Last commit date
Latest commit History 1,584 Commits
.github/workflows		.github/workflows
src		src
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
README.md		README.md
dummy.rs		dummy.rs
test.rs		test.rs

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Repository files navigation

License:

About

Releases

Packages

Languages

matthiaskrgr/icemaker

Folders and files

Latest commit

History

Repository files navigation

License:

About

Resources

Stars

Watchers

Forks

Releases

Packages 0

Languages

Packages