cfg: adds a watchdog to prevent infinite loop in creating the CFG

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
analysis types: improves the detected error in the types analysis

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
analysis flow: adds partial support for main memory access

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
tests: adds more flaw in the types.pep program

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
tests: adds the range.pep program

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>