conftrace_

foreign function interface

1 paper

Explore in graph

Also known as

FFI

Co-occurring keywords · papers mentioning both

c to rust translation (1) pointer semantics (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