T'as pas forcément besoin du code source pour faire de l'analyse sémantique. Tu peux très bien t'intéresser à la sémantique du code machine.