This paper discusses research on improving the reliability of embedded software using static analysis. Static analysis is a technique used to enhance the reliability of software by detecting errors in the source codes. This technique can be executed w...
This paper discusses research on improving the reliability of embedded software using static analysis. Static analysis is a technique used to enhance the reliability of software by detecting errors in the source codes. This technique can be executed without running the software. In this study, a commercial static analysis program was utilized as the static analysis tool, with the topic of the analysis being embedded software in industrial machinery, which must meet specific safety standards. Results of experimentation showed that static analysis detected about 950 errors, of which the program was able to correct 890 errors approximately.