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.