Improving Automatic C-to-Rust Translation with Static Analysis.

Published in: ICSE Companion (2023)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
malicious code
java card
semi automatic
regular expressions
abstract interpretation
test suite
machine translation
query translation
integrity constraints
building blocks
co occurrence
natural language processing
data sets
database