27 February - 1 March 2018 // Nuremberg, Germany

Conferences and supporting programme

back to day overview
Presentations Exhibitor's Forum

Static Analysis++ Vortragssprache Englisch

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.

--- Date: 28.02.2018 Time: 10:00 AM - 10:30 AM Location: Exhibitor's Forum, hall 4, stand 4-428

Speakers

man

Mark Hermeling

/ GrammaTech Inc.

top

The selected entry has been placed in your favourites!

If you register you can save your favourites permanently and access all entries even when underway – via laptop or tablet.

You can register an account here to save your settings in the Exhibitors and Products Database and as well as in the Supporting Programme.The registration is not for the TicketShop and ExhibitorShop.

Register now

Your advantages at a glance:

  • Advantage Save your favourites permanently. Use the instant access to exhibitors or products saved – mobile too, anytime and anywhere – incl. memo function.
  • Advantage The optional newsletter gives you regular up-to-date information about new exhibitors and products – matched to your interests.
  • Advantage Call up your favourites mobile too! Simply log in and access them at anytime.