Conferences and supporting programme
Shared Variable Checker 2: How to statically detect Race Conditions and create Data Access and Call graphs on C Code
We Gaio Technology are a Japanese Software Tool vendor. In this session we present our latest Static Analysis-based tool for C called SVC2, including a few practical examples.
Simply specify your C source files and headers and get Access lists for all your variables and functions in graphical flowcharts, including pointers and Structure members accesses, and Interrupt level reports.
--- Date: 27.02.2019 Time: 15:30 - 16:00 Location: Exhibitor's Forum, Hall 3A, 3A-730