Detecting the Use of Unsafe Data in Software of Embedded Systems by Means of Static Analysis Methodology
| Title | Detecting the Use of Unsafe Data in Software of Embedded Systems by Means of Static Analysis Methodology |
| Publication Type | Conference Paper |
| Year of Publication | 2018 |
| Authors | Novikov, A. S., Ivutin, A. N., Troshina, A. G., Vasiliev, S. N. |
| Conference Name | 2018 7th Mediterranean Conference on Embedded Computing (MECO) |
| ISBN Number | 978-1-5386-5683-9 |
| Keywords | composability, Containers, diagnostic rules, Embedded computing, Embedded systems, Human Behavior, increase of efficiency, Indexes, potentially unsafe data, program code, program diagnostics, pubcrawl, Resiliency, semantic information, Semantics, software quality, static analysis, static analysis methodology, static code analysis, static program code analysis, syntactic information, Syntactics, unsafe data |
| Abstract | The article considers the approach to identifying potentially unsafe data in program code of embedded systems which can lead to errors and fails in the functioning of equipment. The sources of invalid data are revealed and the process of changing the status of this data in process of static code analysis is shown. The mechanism for annotating functions that operate on unsafe data is described, which allows to control the entire process of using them and thus it will improve the quality of the output code. |
| URL | https://ieeexplore.ieee.org/document/8406025 |
| DOI | 10.1109/MECO.2018.8406025 |
| Citation Key | novikov_detecting_2018 |
- pubcrawl
- unsafe data
- Syntactics
- syntactic information
- static program code analysis
- static code analysis
- static analysis methodology
- static analysis
- software quality
- Semantics
- semantic information
- Resiliency
- composability
- program diagnostics
- program code
- potentially unsafe data
- Indexes
- increase of efficiency
- Human behavior
- embedded systems
- embedded computing
- diagnostic rules
- Containers