Constraint-based test data generation in the presence of stack-directed pointers