conftrace_

pointer semantics

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

c to rust translation (1) foreign function interface (1) memory safety (1) static analysis (1)

Papers

SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification ACL 2026