source of programs and their static anlysis data