/mini-invader

Toy implementation of a separation logic based program analysis

Primary LanguageOCamlBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

Toy implementation of a separation logic based static analysis tool. 

See my_examples for syntax of program files and precondition file names.

Usage: 

mini-invader -f <file-name> -p <precondition-file-name>