[2302.05331] C-rusted: The Advantages of Rust, in C, without the Disadvantages
source link: https://arxiv.org/abs/2302.05331
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
[Submitted on 10 Feb 2023 (v1), last revised 15 Feb 2023 (this version, v2)]
C-rusted: The Advantages of Rust, in C, without the Disadvantages
C-rusted is an innovative technology whereby C programs can be (partly) annotated so as to express: ownership, exclusivity and shareability of language, system and user-defined resources; dynamic properties of objects and the way they evolve during program execution; nominal typing and subtyping. The (partially) annotated C programs can be translated with unmodified versions of any compilation toolchain capable of processing ISO C code. The annotated C program parts can be validated by static analysis: if the static analyzer flags no error, then the annotations are provably coherent among themselves and with respect to annotated C code, in which case said annotated parts are provably exempt from a large class of logic, security, and run-time errors.
| Comments: | 7 pages, 4 figures |
| Subjects: | Programming Languages (cs.PL); Cryptography and Security (cs.CR); Software Engineering (cs.SE) |
| MSC classes: | 68N15 |
| ACM classes: | F.3.1; D.3.0 |
| Cite as: | arXiv:2302.05331 [cs.PL] |
| (or arXiv:2302.05331v2 [cs.PL] for this version) | |
| https://doi.org/10.48550/arXiv.2302.05331 |
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK