The approach to finding errors in program code based on static analysis methodology
| Title | The approach to finding errors in program code based on static analysis methodology |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Novikov, A. S., Ivutin, A. N., Troshina, A. G., Vasiliev, S. N. |
| Conference Name | 2017 6th Mediterranean Conference on Embedded Computing (MECO) |
| ISBN Number | 978-1-5090-6742-8 |
| Keywords | Bars, composability, diagnostic rules, efficiency improvement, Embedded computing, Human Behavior, increase of efficiency, program code Error detection, program diagnostics, pubcrawl, resilience, Resiliency, semantic information, Semantics, software quality, source code, source code (software), static code analysis, static code analysis methodology, static program code analysis, syntactic information, Syntactics, syntax tree, Testing, Tools |
| Abstract | The article considers the approach to static analysis of program code and the general principles of static analyzer operation. The authors identify the most important syntactic and semantic information in the programs, which can be used to find errors in the source code. The general methodology for development of diagnostic rules is proposed, which will improve the efficiency of static code analyzers. |
| URL | https://ieeexplore.ieee.org/document/7977127 |
| DOI | 10.1109/MECO.2017.7977127 |
| Citation Key | novikov_approach_2017 |
- semantic information
- tools
- testing
- syntax tree
- Syntactics
- syntactic information
- static program code analysis
- static code analysis methodology
- static code analysis
- source code (software)
- source code
- software quality
- Semantics
- Bars
- Resiliency
- resilience
- pubcrawl
- program diagnostics
- program code Error detection
- increase of efficiency
- Human behavior
- embedded computing
- efficiency improvement
- diagnostic rules
- composability