Prototype of a toolset for code analysis of CPS

Summary
The toolset will include analysis techniques to enable security audit of CPS code bases.