N
Noob
Hello everyone,
I've just stumbled upon this compiler project from UIUC (by way of
another post which, for some reason, I cannot find at the moment).
One of the main aims of this work is the ability to detect
undefined programs.
I thought some of you may be interested (as I was).
https://code.google.com/p/c-semantics/
Regards.
I've just stumbled upon this compiler project from UIUC (by way of
another post which, for some reason, I cannot find at the moment).
One of the main aims of this work is the ability to detect
undefined programs.
I thought some of you may be interested (as I was).
https://code.google.com/p/c-semantics/
Regards.