qsym

 1[jnz] Exploring path for label 'end1'
 2Halting executing
 3Local variables:
 4	a = (bvadd #x00000005 |main:a|)
 5	b = #x0000002a
 6	exit = #x00000001
 7	r = (ite (= |main:a| #x00000025) #x00000001 #x00000000)
 8Symbolic variable values:
 9	main:a -> #x00000025
10	
11[jnz] Exploring path for label 'end2'
12Halting executing
13Local variables:
14	a = (bvadd #x00000005 |main:a|)
15	b = #x0000002a
16	exit = #x00000002
17	r = (ite (= |main:a| #x00000025) #x00000001 #x00000000)
18Symbolic variable values:
19	main:a -> #x00000000
20