Comment by kd0amg

Abstract interpretation is entirely about the semantics of programs and has nothing to do with their surface syntax.