Automatic Heavy-weight Static Analysis Tools for Finding Bugs in Safety-critical Embedded C/C++ Code
| dc.contributor.author | Farago, David | |
| dc.contributor.author | Merz, Florian | |
| dc.contributor.author | Sinz, Carsten | |
| dc.date.accessioned | 2023-03-14T11:40:37Z | |
| dc.date.available | 2023-03-14T11:40:37Z | |
| dc.date.issued | 2014 | |
| dc.description.abstract | This paper motivates the use of automatic heavy-weight static analysis tools to find bugs in C (and C++) code for safety-critical embedded systems. By heavy-weight we mean tools that employ powerful analysis to cover all cases. The paper introduces two automatic and relatively heavy-weight tools that are currently employed in the automotive industry, and depicts their underlying techniques, advantages, and disadvantages. Since their results are often imprecise (false positives or false negatives), we advocate the use of alternative techniques such as software bounded model checking (SBMC), which can achieve bit-precise results. Finally, the tool LLBMC is described as an example of a tool implementing SBMC, which makes use of satisfiability modulo theories (SMT) decision procedures as well as the LLVM compiler framework. | en |
| dc.identifier.pissn | 0720-8928 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/40847 | |
| dc.language.iso | en | |
| dc.publisher | Geselllschaft für Informatik e.V. | |
| dc.relation.ispartof | Softwaretechnik-Trends Band 34, Heft 3 | |
| dc.title | Automatic Heavy-weight Static Analysis Tools for Finding Bugs in Safety-critical Embedded C/C++ Code | en |
| dc.type | Text/Journal Article | |
| gi.citation.publisherPlace | Bonn | |
| gi.conference.sessiontitle | Fachgruppenberichte: 36. Treffen der GI-Fachgruppe Test, Analyse und Verifikation von Software, 26. und 27. Juni 2014 in Leipzig |
Dateien
Originalbündel
1 - 1 von 1
Vorschaubild nicht verfügbar
- Name:
- tav36.pdf
- Größe:
- 203.58 KB
- Format:
- Adobe Portable Document Format