While Analyser
Query
-mode
interval
congruence
sign
cfg
parse
Analysis to perform
-modulo
Set the modulo (only for congruence mode)
-file
ex2.c
p1.c
p2.c
p3.c
p4.c
A file