/static-analyser-C

A static analyzer which takes in sourcecode.c and outputs a memory model for the program.

Primary LanguageC

No issues in this repository yet.