(Binary Analysis) Documentation for the MultiSemantics domain