# automated program analysis