Matches in SemOpenAlex for { <https://semopenalex.org/work/W4328028657> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W4328028657 abstract "Rust is a new safe system programming language enforcing safety guarantees by novel language features, a rich type system, and strict compile-time checking rules, and thus has been used extensively to build system software. For multilingual Rust applications containing external C code, memory security vulnerabilities can occur due to the intrinsically unsafe nature of C and the improper interactions between Rust and C. Unfortunately, existing security studies on Rust only focus on pure Rust code but cannot analyze either the native C code or the Rust/C interactions in multilingual Rust applications. As a result, the lack of such studies may defeat the guarantee that Rust is a safe language.This paper presents CRust, a unified program analysis framework across Rust and C, which enables program analyses to understand the semantics of C code by translating Rust and C into a unified specification language. The CRust framework consists of three key components: (1) a unified specification language CRustIR, which is a strong-typed low-level intermediate language suitable for program analysis; (2) a transformation to build models of C code by converting C code into CRustIR; and (3) program analysis algorithms on CRustIR to detect security vulnerabilities. We have implemented a software prototype for CRust, and have conducted extensive experiments to evaluate its effectiveness and performance. Experimental results demonstrated that CRust can effectively detect common memory security vulnerabilities caused by the interaction of Rust and C that are missed by state-of-the-art tools. In addition, CRust is efficient in bringing negligible overhead (0.23 seconds on average)." @default.
- W4328028657 created "2023-03-22" @default.
- W4328028657 creator A5003642180 @default.
- W4328028657 creator A5026604505 @default.
- W4328028657 creator A5040207561 @default.
- W4328028657 creator A5074522543 @default.
- W4328028657 date "2022-12-01" @default.
- W4328028657 modified "2023-10-17" @default.
- W4328028657 title "CRUST: Towards a Unified Cross-Language Program Analysis Framework for Rust" @default.
- W4328028657 cites W2036329595 @default.
- W4328028657 cites W2103380617 @default.
- W4328028657 cites W2112736324 @default.
- W4328028657 cites W2154555738 @default.
- W4328028657 cites W2249862487 @default.
- W4328028657 cites W2566209330 @default.
- W4328028657 cites W2625141509 @default.
- W4328028657 cites W2753084336 @default.
- W4328028657 cites W2765284675 @default.
- W4328028657 cites W2793146918 @default.
- W4328028657 cites W2884623841 @default.
- W4328028657 cites W2913530642 @default.
- W4328028657 cites W2963104396 @default.
- W4328028657 cites W2988850119 @default.
- W4328028657 cites W3003268600 @default.
- W4328028657 cites W3009731533 @default.
- W4328028657 cites W3034030180 @default.
- W4328028657 cites W3039784053 @default.
- W4328028657 cites W3089734599 @default.
- W4328028657 cites W3095334931 @default.
- W4328028657 cites W3097019712 @default.
- W4328028657 cites W3104573630 @default.
- W4328028657 cites W3159691394 @default.
- W4328028657 cites W3206881395 @default.
- W4328028657 cites W3209913027 @default.
- W4328028657 cites W3212191335 @default.
- W4328028657 cites W4200371568 @default.
- W4328028657 cites W4213355846 @default.
- W4328028657 cites W4226087707 @default.
- W4328028657 cites W4252184193 @default.
- W4328028657 cites W4285222082 @default.
- W4328028657 doi "https://doi.org/10.1109/qrs57517.2022.00101" @default.
- W4328028657 hasPublicationYear "2022" @default.
- W4328028657 type Work @default.
- W4328028657 citedByCount "0" @default.
- W4328028657 crossrefType "proceedings-article" @default.
- W4328028657 hasAuthorship W4328028657A5003642180 @default.
- W4328028657 hasAuthorship W4328028657A5026604505 @default.
- W4328028657 hasAuthorship W4328028657A5040207561 @default.
- W4328028657 hasAuthorship W4328028657A5074522543 @default.
- W4328028657 hasConcept C111919701 @default.
- W4328028657 hasConcept C169590947 @default.
- W4328028657 hasConcept C184842701 @default.
- W4328028657 hasConcept C197781089 @default.
- W4328028657 hasConcept C199360897 @default.
- W4328028657 hasConcept C2778361913 @default.
- W4328028657 hasConcept C2779960059 @default.
- W4328028657 hasConcept C28180684 @default.
- W4328028657 hasConcept C41008148 @default.
- W4328028657 hasConcept C62913178 @default.
- W4328028657 hasConcept C79974875 @default.
- W4328028657 hasConceptScore W4328028657C111919701 @default.
- W4328028657 hasConceptScore W4328028657C169590947 @default.
- W4328028657 hasConceptScore W4328028657C184842701 @default.
- W4328028657 hasConceptScore W4328028657C197781089 @default.
- W4328028657 hasConceptScore W4328028657C199360897 @default.
- W4328028657 hasConceptScore W4328028657C2778361913 @default.
- W4328028657 hasConceptScore W4328028657C2779960059 @default.
- W4328028657 hasConceptScore W4328028657C28180684 @default.
- W4328028657 hasConceptScore W4328028657C41008148 @default.
- W4328028657 hasConceptScore W4328028657C62913178 @default.
- W4328028657 hasConceptScore W4328028657C79974875 @default.
- W4328028657 hasFunder F4320321001 @default.
- W4328028657 hasLocation W43280286571 @default.
- W4328028657 hasOpenAccess W4328028657 @default.
- W4328028657 hasPrimaryLocation W43280286571 @default.
- W4328028657 hasRelatedWork W1507167368 @default.
- W4328028657 hasRelatedWork W1608659702 @default.
- W4328028657 hasRelatedWork W1814870153 @default.
- W4328028657 hasRelatedWork W1977285665 @default.
- W4328028657 hasRelatedWork W2048706733 @default.
- W4328028657 hasRelatedWork W2192862863 @default.
- W4328028657 hasRelatedWork W2740990710 @default.
- W4328028657 hasRelatedWork W4282842358 @default.
- W4328028657 hasRelatedWork W4328028657 @default.
- W4328028657 hasRelatedWork W2467097043 @default.
- W4328028657 isParatext "false" @default.
- W4328028657 isRetracted "false" @default.
- W4328028657 workType "article" @default.