Analyzes C Code