Improving Automatic C-to-Rust Translation with Static Analysis

While popular in system programming, C has been infamous for its poor language-level safety mechanisms, leading to critical bugs and vulnerabilities. C programs can still have memory and thread bugs despite passing type checking. To resolve this long-standing problem, Rust has been recently develope...

Full description

Saved in:
Bibliographic Details
Main Author: Hong, Jaemin
Format: Conference Proceeding
Language:English
Subjects:
Computer bugs
Costs
Instruction sets
Manuals
Programming
Safety
Software and its engineering
Software and its engineering > Software creation and management
Software and its engineering > Software creation and management > Software verification and validation
Software and its engineering > Software notations and tools
Software and its engineering > Software notations and tools > Compilers
Software and its engineering > Software organization and properties
Software and its engineering > Software organization and properties > Software functional properties
Software and its engineering > Software organization and properties > Software functional properties > Formal methods
Static analysis
Theory of computation
Theory of computation > Semantics and reasoning
Theory of computation > Semantics and reasoning > Program reasoning
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!