/static-analyser-C

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

Primary LanguageC

This repository is not active