Academic Journal
A Comprehensive Approach to Rustc Optimization Vulnerability Detection in Industrial Control Systems.
| Τίτλος: | A Comprehensive Approach to Rustc Optimization Vulnerability Detection in Industrial Control Systems. |
|---|---|
| Συγγραφείς: | Xie, Kaifeng, Wan, Jinjing, Chen, Lifeng, Wang, Yi |
| Πηγή: | Mathematics (2227-7390); Aug2025, Vol. 13 Issue 15, p2459, 20p |
| Θεματικοί όροι: | Industrial controls manufacturing, Compilers (Computer programs), Dynamic testing, Quality assurance, Language models, Risk assessment, Mathematical optimization |
| Περίληψη: | Compiler optimization is a critical component for improving program performance. However, the Rustc optimization process may introduce vulnerabilities due to algorithmic flaws or issues arising from component interactions. Existing testing methods face several challenges, including high randomness in test cases, inadequate targeting of vulnerability-prone regions, and low-quality initial fuzzing seeds. This paper proposes a test case generation method based on large language models (LLMs), which utilizes prompt templates and optimization algorithms to generate a code relevant to specific optimization passes, especially for real-time control logic and safety-critical modules unique to the industrial control field. A vulnerability screening approach based on static analysis and rule matching is designed to locate potential risk points in the optimization regions of both the MIR and LLVM IR layers, as well as in unsafe code sections. Furthermore, the targeted fuzzing strategy is enhanced by designing seed queues and selection algorithms that consider the correlation between optimization areas. The implemented system, RustOptFuzz, has been evaluated on both custom datasets and real-world programs. Compared with state-of-the-art tools, RustOptFuzz improves vulnerability discovery capabilities by 16%–50% and significantly reduces vulnerability reproduction time, thereby enhancing the overall efficiency of detecting optimization-related vulnerabilities in Rustc, providing key technical support for the reliability of industrial control systems. [ABSTRACT FROM AUTHOR] |
| Copyright of Mathematics (2227-7390) is the property of MDPI and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Βάση Δεδομένων: | Complementary Index |
καταχωρήστε σχόλιο πρώτοι!