Detecting C++ Compiler Front-End Bugs via Grammar Mutation and Differential Testing

Tu, Haoxin; Jiang, He; Zhou, Zhide; Tang, Yixuan; Zhang, Ren; Qiao, Lei; Jiang, Lingxiao

doi:10.1109/tr.2022.3171220

Cited by 8 publications

(2 citation statements)

References 43 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…These stages work together to ensure the production of correct and efficient code by identifying errors, applying optimizations, and generating target-specific code tailored to the underlying architecture. 16 Inspired by an open-source translation software, matiec, 11 we develop a tailored translation tool from St to C language under IEC 61131-3 standard (third version). In the following, the implementation details will be discussed.…”

Section: Procedures Of Translationmentioning

confidence: 99%

“…The traditional three‐stage compilation process consists of analysis, optimization, and synthesis. These stages work together to ensure the production of correct and efficient code by identifying errors, applying optimizations, and generating target‐specific code tailored to the underlying architecture 16 …”

Section: A Translation Tool From St To C With Code Readability Enhanc...mentioning

confidence: 99%

See 1 more Smart Citation

Domain‐specific translation tool from structured text to C source code with code readability enhancement in programmable logic controllers

Han,

Li,

Deng

et al. 2024

Concurrency and Computation

View full text Add to dashboard Cite

The Industrial Internet has emerged as a key technology in the field of industrial automation, revolutionizing traditional manufacturing processes and enabling advanced control systems by integrating machines, sensors, and software systems through network connectivity, allowing for real‐time data exchange, analysis, and decision‐making in industrial environments. Programmable Logic Controllers (PLCs) play a critical role in industrial automation systems, which are specialized digital computers designed to control various manufacturing processes and machinery. As a promising language, Structured Text (ST) is of paramount importance for industrial Internet, and it is essential to translate ST into C, which is widely used in various industries for implementing control systems. However, due to differences in syntax, data types, and programming paradigms between the two languages, the translation process is facing several challenges. In this paper, we present a domain‐specific translation tool that automates the process of converting ST code to C code. This tool incorporates advanced AI techniques, particularly leveraging the capabilities of NL‐PL LLMs, to facilitate accurate and efficient translation while generating comprehensive documentation to assist developers. Finally, the evaluation and case studies conducted validate the effectiveness of the tool, demonstrating its practical applicability and benefits in real‐world industrial settings.

show abstract

Section: Procedures Of Translationmentioning

confidence: 99%

Section: A Translation Tool From St To C With Code Readability Enhanc...mentioning

confidence: 99%