Adjoining classified and unclassified information by abstract interpretation