qsym

A symbolic executor for the QBE intermediate language

git clone https://git.8pit.net/qsym.git

 1#[derive(Debug)]
 2pub enum Error {
 3    HaltExecution,
 4    UnknownLabel(String),
 5    UnknownFunction(String),
 6    UnknownVariable(String),
 7    InvalidSubtyping,
 8    ForkFailed,
 9    WaitpidFailed,
10    UnsupportedStringType,
11    InvalidCall,
12    MissingJump,
13    PhiAtFuncStart,
14}