Compositional analysis with OMNISEC