types analysis: extend type analysis to track types through LDs ans STs

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
model: display line number in output CFG

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
analysis: makes the range analysis a fine flow analysis

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
ast: adds a super class to MOVFLGA and MOVSPA

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
analysis framework: fix broken fine analysis

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
analysis range: reduce max int from 32 000 to 999

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
analysis reaching defs: fix missing is_forward

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

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

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

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
model: adds knowledge to find a label from a memory address

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
analysis types: partial support of ASCII strings

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
analysis types: adds labels to the outputs

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
analysis range: extends support to NEG and MOVs

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
general: renames Object::noter to Object::manager

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
analysis types: adds check for overwriting code

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