Transpile Rust code to POSIX-compliant shell scripts with formal correctness guarantees
Select a category to explore sub-categories, findings, and compliance coverage.