GitHub - aziem/mini-invader: Toy implementation of a separation logic based program analysis

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
docs/.svn		docs/.svn
my_examples		my_examples
test		test
LICENCE		LICENCE
Makefile		Makefile
OcamlMakefile		OcamlMakefile
README		README
TODO		TODO
analysis.ml		analysis.ml
config.ml		config.ml
error.ml		error.ml
genlinenum.ml		genlinenum.ml
gensym.ml		gensym.ml
global.ml		global.ml
heapstuff.ml		heapstuff.ml
heapstuffold.ml		heapstuffold.ml
lexer.mll		lexer.mll
main.ml		main.ml
parser.mly		parser.mly
parsetree.ml		parsetree.ml
symbexec.ml		symbexec.ml
trans.ml		trans.ml
utils.ml		utils.ml

Repository files navigation

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>