C++/C Strict Static Type Checker

I realize the due date I am asking for this program is soon, however I am in desperate need of this, many things rely on my completion of this and I am willing to pay as much as $200 for it, however money is tight and if someone could do it for less, it would be greatly appreciated.

Implement, in C++, a strict static type checker for a simplified C language. CSTC reads a C program and should:

· Print “Your program is type error free??, if there are no type errors in the program, or

· Print a brief, accurate description (including line numbers) of each error, If there are any type errors in the program.

The simplified C language includes only the following:

· built-in type

· function calls

Your type checker should statically detect all of the following type errors:

· Incorrect or inconsistent type of expressions (for example, using a floating-point value as the loop condition in a `while` loop).

· Incompatible types used within expressions (for example, adding an integer and a floating-point value).

· Legal operations for each type, e.g., cannot multiply character type.

· Mismatch between the declared number of parameters of some function, and the number of actual parameters provided in some call to that function.

· Mismatch between the declared type of a formal parameter and the type of actual parameter expressions.

· Mismatch between the declared return type of a function, and the type of expressions actually returned from the function.

- Mismatch between the declared return type of a function, and the types at which a call to that function is used.

The test files for the program are included in the attached .zip file.

## Deliverables

1) Complete and fully-functional working program(s) in executable form as well as complete source code of all work done.

2) Deliverables must be in ready-to-run condition, as follows (depending on the nature of the deliverables):

a) For web sites or other server-side deliverables intended to only ever exist in one place in the Buyer's environment--Deliverables must be installed by the Seller in ready-to-run condition in the Buyer's environment.

b) For all others including desktop software or software the buyer intends to distribute: A software installation package that will install the software in ready-to-run condition on the platform(s) specified in this bid request.

3) All deliverables will be considered "work made for hire" under U.S. Copyright law. Buyer will receive exclusive and complete copyrights to all work purchased. (No GPL, GNU, 3rd party components, etc. unless all copyright ramifications are explained AND AGREED TO by the buyer on the site per the coder's Seller Legal Agreement).

## Platform

This must run on a Unix machine and should be entirely command line based.

C Programming PHP

Project ID: #3169902

About the project