This adds a new --rewrite-mode called "pointwise", which rewrites each function in isolation, with all other definitions marked FIXED. The static analysis runs only once, then we run multiple rewriting passes using the same analysis results, making this much more efficient than running the whole c2rust-analyze tool multiple times.
The rewritten code is output to a separate file for each function. For example, given foo.rs containing a function bar, this mode will write to foo.bar.rs the new code produced by rewriting only bar.
Pointwise mode is the basis for our new "pointwise success rate" metric.
This adds a new --rewrite-mode called "pointwise", which rewrites each function in isolation, with all other definitions marked
FIXED
. The static analysis runs only once, then we run multiple rewriting passes using the same analysis results, making this much more efficient than running the wholec2rust-analyze
tool multiple times.The rewritten code is output to a separate file for each function. For example, given
foo.rs
containing a functionbar
, this mode will write tofoo.bar.rs
the new code produced by rewriting onlybar
.Pointwise mode is the basis for our new "pointwise success rate" metric.