Current Status

Currently, we are trying incorporate some code analysis into C4.