qsym

A symbolic executor for the QBE intermediate language

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

 1int main(int a, int b) {
 2	int r;
 3
 4	if (a < b) {
 5		if (a < 5) {
 6			return 3;
 7		} else {
 8			return 2;
 9		}
10	} else {
11		return 1;
12	}
13}