Brief description of main modules
- ToyLanguageDef: defines the WHILE-like language
- GaloisConnection: defines a
hasGaloisConnection
class - AbstractDomain: defines a what an abstract domain is
- StaticAnalyser: core of the analyser
- CSet: enumerable non-ordered sets
Just run:
make clean
make all
This will clean, build and execute the analyser.
Then run make exec
to run the analyser again.
The analyser look at *.c
files in the folder prog-example
. For each file file
, it produces:
file.ast
: the abstract syntax tree of a programfile.pp
: the pretty-printed version of a programfile.result
: the resulting analysis