This is a tool to analyze and edit C source code, who can 1) Statically analyze C source code to help peoper know some propertis of the code, for instance, a function is called by who. 2) Code profiling 3) Model checking for security vulnerabilitis in old C code.