Konferenzen und Rahmenprogramm
Static analysis has been improving software quality for many years. However, modern static analysis tools provide many new capabilities that can further improve your software development capability.
We will provide a detailed description with examples of several great new technologies in static analysis that can benefit embedded projects:
- Data taint to track whether data from untrusted sources is properly handled
- Concurrency to make sure that multi threaded applications will work correctly
- Domain specific checkers to validate architectural rules
- Tracking dynamic validation against static checkers
Each category will provide an explanation of the category, a real-life example and explanation on how users can benefit from this.
--- Datum: 28.02.2018 Uhrzeit: 10:00 Uhr - 10:30 Uhr Ort: Aussteller-Forum, Halle 4, Stand 4-428