DOS Abstract Domain Model