qsym

 1[jnz] Exploring path for label 'end1'
 2Halting executing
 3Local variables:
 4	a = |main:a|
 5	exit = #x00000926
 6	symbolic = (bvadd #x00000001 |main:a|)
 7Symbolic variable values:
 8	main:a -> #x00000000
 9	
10[jnz] Exploring path for label 'end2'
11Halting executing
12Local variables:
13	a = |main:a|
14	exit = #x0000107f
15	symbolic = (bvadd #x00000001 |main:a|)
16Symbolic variable values:
17	main:a -> #xffffffff
18