Automatic Heavy-weight Static Analysis Tools for Fin- ding Bugs in Safety-critical Embedded C/C++ Code.
David FaragóFlorian MerzCarsten SinzPublished in: Softwaretechnik-Trends (2014)
Keyphrases
- static analysis
- safety critical
- source code
- embedded systems
- formal methods
- dynamic analysis
- malicious code
- software systems
- fault tolerant
- safety analysis
- regular expressions
- open source
- low cost
- semi automatic
- agent architecture
- decision support
- test suite
- high level
- adaptive systems
- database
- information systems
- case study
- database systems
- cooperative
- relational databases
- query language
- decision makers