Statical analysis

Hi all,
   i'm working on a minimal statical analyzer to test some algorithms and
I'd like to test some routines of a flight control software so i'm here.
Unfortunately my program is a bit limited: no data structures are admitted,
and integers are the only data type available.
I've looked at the source code and i'm interested on the range of input
variables of some routine, for example:
Altimeter::update
VerticalSpeedIndicator::update

Others interesting rountines are the ones that controls
undercarriage or flaps but i've not found them through the sources.

Can you help me?
thanks,
   Dino

-------------------------------------------------------------------------
Using Tomcat but need to do more? Need to support web services, security?
Get stuff done quickly with pre-integrated technology to make your job easier
Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642

_______________________________________________
Flightgear-flightmodel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/flightgear-flightmodel