A static analyzer for a mini c-like language. Implemented as a project following the lecture of static analysis of programs. See the project's full description here https://github.com/machi1990/Static-analyzer/blob/master/sujet_ok.pdf.
A static analyzer for a mini c-like language. Implemented as a project following the lecture of static analysis of programs. See the project's full description here https://github.com/machi1990/Static-analyzer/blob/master/sujet_ok.pdf.