VICE

This is the implementation of Virgil Integrated Concolic Engine. VICE uses a novel technique, namely, Event-Based Directed Tetsing to perform dynamic timing analysis and find Worst-Case Ececution Time of Virgil Programs.