Checkpoint work on RCE program analysis.