Inference of behavioral models that support program analysis