Conferences and supporting programme
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.
--- Date: 28.02.2018 Time: 10:00 AM - 10:30 AM Location: Exhibitor's Forum, hall 4, stand 4-428