Rust-API-Bypass-Checker v0.2.0

v0.2.0 Pre-release

This pre-release packages the current Rust API Bypass Checker demo artifact.

Highlights

• MIR-based conservative checker for selected Rust safe/unchecked API counterparts.
• Local reasoning for slice bounds, split indices, swap indices, checked integer addition, and pointer nullness.
• Demo cases under tests/ for the currently supported API families.
• API counterpart data, benchmark materials, and experiment notes included for reference.
• Unsupported calls remain conservative and are downgraded to unknown rather than treated as proven safe.

Notes

This is a research/demo pre-release, not a general-purpose optimizer. The tool reports replacement candidates when local MIR facts prove the required preconditions; it does not automatically rewrite source code

What's Changed

• Split commit by @212SoleYu in #2
• Split commit by @212SoleYu in #3
• Add two temporary documentations by @212SoleYu in #4
• Remove Apron by @212SoleYu in #5
• Update print statement for clarity by @ccuuy in #6
• Fix helper script paths and installation instructions by @lewismosciski in #7

New Contributors

• @ccuuy made their first contribution in #6
• @lewismosciski made their first contribution in #7

Full Changelog: https://github.com/Rust-API/Rust-API-Bypass-Checker/commits/v0.2.0