Initial commit for K3 program analysis