Add baseline implementation of program analysis tool