GitHub repository: statinf-otawa/gliss2
Primary language: OCaml
Description: GLISS2 is a generator of ISS (Instruction Set Simulator).