smt-lib-files.zip
eosfuzzer
atom
random-33-0.smt
5.1 MB
random-48-1.smt
5.1 MB
random-49-3.smt
5.1 MB
random-50-2.smt
5.1 MB
random-51-4.smt
5.1 MB
source
coingame-29-0.smt
6.0 MB
coingame-42-2.smt
6.0 MB
coingame-43-3.smt
6.0 MB
coingame-44-1.smt
6.0 MB
coingame-45-4.smt
6.0 MB
eosfun-30-0.smt
6.0 MB
eosfun-43-2.smt
6.0 MB
eosfun-44-3.smt
6.0 MB
eosfun-45-1.smt
6.0 MB
eosfun-46-4.smt
6.1 MB
lottery1-100-15.smt
41.1 MB
lottery1-102-16.smt
41.1 MB
lottery1-103-17.smt
41.1 MB
lottery1-104-18.smt
41.1 MB
lottery1-105-19.smt
41.1 MB
lottery1-106-20.smt
41.1 MB
lottery1-107-21.smt
41.1 MB
lottery1-108-22.smt
41.1 MB
lottery1-109-23.smt
41.1 MB
lottery1-110-24.smt
41.1 MB
lottery1-111-25.smt
41.1 MB
lottery1-112-26.smt
41.1 MB
lottery1-113-27.smt
41.1 MB
lottery1-114-28.smt
41.1 MB
lottery1-115-29.smt
41.1 MB
lottery1-116-30.smt
41.1 MB
lottery1-117-31.smt
41.1 MB
lottery1-35-0.smt
41.1 MB
lottery1-36-1.smt
41.1 MB
lottery1-37-2.smt
41.1 MB
lottery1-38-3.smt
41.1 MB
lottery1-39-4.smt
41.1 MB
lottery1-40-5.smt
41.1 MB
lottery1-74-6.smt
41.1 MB
lottery1-77-7.smt
41.1 MB
lottery1-87-8.smt
41.1 MB
lottery1-92-9.smt
41.1 MB
lottery1-93-10.smt
41.1 MB
lottery1-95-11.smt
41.1 MB
lottery1-96-12.smt
41.1 MB
lottery1-98-13.smt
41.1 MB
lottery1-99-14.smt
41.1 MB
rapid
1-ni-assign-to-high-0-0.smt
9.6 kB
10-ni-rsa-exponentiation-0-0.smt
59.7 kB
2-ni-branch-on-high-0-0.smt
27.2 kB
2-ni-branch-on-high-twice-0-0.smt
40.8 kB
3-ni-high-guard-equal-branches-0-0.smt
23.1 kB
5-ni-temp-impl-flow-0-0.smt
25.8 kB
6-ni-branch-assign-equal-val-0-0.smt
24.5 kB
7-ni-explicit-flow-0-0.smt
46.9 kB
8-ni-explicit-flow-while-0-0.smt
42.4 kB
9-ni-equal-output-0-0.smt
30.8 kB
wanilla
basic
argument-to-global-0-0.smt
9.1 kB
argument-to-global-0-1.smt
9.2 kB
argument-to-global-0-2.smt
9.1 kB
argument-to-global-0-3.smt
9.2 kB
br_table-0-0.smt
26.3 kB
br_table-0-1.smt
26.3 kB
br_table-0-2.smt
26.3 kB
br_table-0-3.smt
26.3 kB
break-0-0.smt
15.6 kB
break-0-1.smt
15.7 kB
break-0-2.smt
15.6 kB
break-0-3.smt
15.7 kB
break-1-0.smt
20.8 kB
break-1-1.smt
20.8 kB
break-1-2.smt
20.7 kB
break-1-3.smt
20.8 kB
break-2-0.smt
26.5 kB
break-2-1.smt
26.5 kB
break-2-2.smt
26.5 kB
break-2-3.smt
26.5 kB
break-3-0.smt
28.8 kB
break-3-1.smt
28.9 kB
break-3-2.smt
28.9 kB
break-3-3.smt
28.9 kB
call-0-0.smt
19.0 kB
call-0-1.smt
19.0 kB
call-0-2.smt
19.0 kB
call-0-3.smt
19.0 kB
call-1-0.smt
19.1 kB
call-1-1.smt
19.1 kB
call-1-10.smt
19.1 kB
call-1-11.smt
19.1 kB
call-1-12.smt
19.1 kB
call-1-13.smt
19.1 kB
call-1-14.smt
19.1 kB
call-1-15.smt
19.1 kB
call-1-2.smt
19.1 kB
call-1-3.smt
19.1 kB
call-1-4.smt
19.1 kB
call-1-5.smt
19.1 kB
call-1-6.smt
19.1 kB
call-1-7.smt
19.1 kB
call-1-8.smt
19.0 kB
call-1-9.smt
19.1 kB
call-2-0.smt
23.1 kB
call-2-1.smt
23.1 kB
call-2-2.smt
23.1 kB
call-2-3.smt
23.1 kB
call-2-4.smt
23.1 kB
call-2-5.smt
23.1 kB
call-2-6.smt
23.1 kB
call-2-7.smt
23.1 kB
call-precise-args-0-0.smt
27.8 kB
call-precise-args-0-1.smt
27.9 kB
call-precise-args-0-2.smt
27.9 kB
call-precise-args-0-3.smt
27.9 kB
call_indirect-0-0.smt
35.2 kB
call_indirect-0-1.smt
35.2 kB
call_indirect-0-2.smt
35.3 kB
call_indirect-0-3.smt
35.3 kB
control-0-0.smt
19.4 kB
control-0-1.smt
19.3 kB
control-0-2.smt
19.3 kB
control-0-3.smt
19.4 kB
control-1-0.smt
32.2 kB
control-1-1.smt
32.1 kB
control-1-2.smt
32.1 kB
control-1-3.smt
32.1 kB
control-2-0.smt
20.1 kB
control-2-1.smt
20.1 kB
control-2-2.smt
20.1 kB
control-2-3.smt
20.1 kB
global-to-result-0-2.smt
8.8 kB
imported-function-1-0.smt
28.0 kB
imported-function-1-1.smt
28.0 kB
imported-function-1-2.smt
28.0 kB
imported-function-1-3.smt
28.0 kB
imported-function-1-4.smt
28.0 kB
imported-function-1-5.smt
28.0 kB
ite-ite-0-0.smt
36.9 kB
ite-ite-0-1.smt
36.9 kB
ite-ite-0-2.smt
36.8 kB
ite-ite-0-3.smt
36.9 kB
ite-ite-1-0.smt
37.1 kB
ite-ite-1-1.smt
37.1 kB
ite-ite-1-2.smt
37.1 kB
ite-ite-1-3.smt
37.1 kB
ite-ite-2-0.smt
37.1 kB
ite-ite-2-1.smt
37.1 kB
ite-ite-2-2.smt
37.2 kB
ite-ite-2-3.smt
37.0 kB
ite-ite-3-0.smt
37.1 kB
ite-ite-3-1.smt
37.1 kB
ite-ite-3-2.smt
37.1 kB
ite-ite-3-3.smt
37.0 kB
ite-scope-extend-0-0.smt
20.4 kB
ite-scope-extend-0-1.smt
20.4 kB
ite-scope-extend-0-2.smt
20.4 kB
ite-scope-extend-0-3.smt
20.4 kB
ite-scope-extend-1-0.smt
20.5 kB
ite-scope-extend-1-1.smt
20.5 kB
ite-scope-extend-1-2.smt
20.4 kB
ite-scope-extend-1-3.smt
20.5 kB
ite-while-0-0.smt
36.5 kB
loop-ctx-0-0.smt
23.5 kB
memory-0-0.smt
7.3 kB
memory-0-1.smt
7.3 kB
memory-1-0.smt
12.5 kB
memory-1-1.smt
12.5 kB
memory-1-2.smt
12.5 kB
memory-1-3.smt
11.0 kB
memory-2-0.smt
14.8 kB
memory-2-1.smt
14.8 kB
memory-2-2.smt
14.8 kB
memory-2-3.smt
14.8 kB
memory-3-0.smt
12.1 kB
memory-3-1.smt
12.1 kB
memory-3-2.smt
12.1 kB
memory-3-3.smt
12.1 kB
memory-4-0.smt
15.8 kB
memory-4-1.smt
15.9 kB
memory-4-2.smt
15.9 kB
memory-4-3.smt
15.9 kB
memory-access-load-from-constant-memory-0.smt
10.9 kB
memory-access-load-from-constant-memory-1.smt
10.9 kB
memory-access-load-from-constant-memory-2.smt
10.9 kB
memory-access-load-from-param-memory-3.smt
12.1 kB
memory-access-load-from-param-memory-4.smt
12.1 kB
memory-access-load-from-param-memory-5.smt
12.1 kB
memory-access-store-const-to-param-memory-6.smt
35 Bytes
memory-access-store-const-to-param-memory-7.smt
35 Bytes
memory-access-you-really-have-to-taint-whole-memory-8.smt
24.1 kB
memory-access-you-really-have-to-taint-whole-memory-9.smt
24.1 kB
numeric-0-0.smt
7.4 kB
numeric-0-1.smt
7.4 kB
numeric-1-0.smt
8.4 kB
numeric-1-1.smt
8.5 kB
numeric-1-2.smt
8.5 kB
numeric-1-3.smt
8.5 kB
numeric-2-0.smt
9.6 kB
numeric-2-1.smt
9.6 kB
numeric-2-2.smt
9.6 kB
numeric-2-3.smt
9.6 kB
numeric-2-4.smt
9.6 kB
numeric-2-5.smt
9.6 kB
numeric-2-6.smt
9.6 kB
numeric-2-7.smt
9.6 kB
numeric-3-0.smt
11.3 kB
numeric-3-1.smt
11.3 kB
numeric-3-10.smt
11.3 kB
numeric-3-11.smt
11.3 kB
numeric-3-12.smt
11.4 kB
numeric-3-13.smt
11.4 kB
numeric-3-14.smt
11.4 kB
numeric-3-15.smt
11.4 kB
numeric-3-2.smt
11.3 kB
numeric-3-3.smt
11.3 kB
numeric-3-4.smt
11.3 kB
numeric-3-5.smt
11.3 kB
numeric-3-6.smt
11.3 kB
numeric-3-7.smt
11.3 kB
numeric-3-8.smt
11.3 kB
numeric-3-9.smt
11.3 kB
scope-extend-0-0.smt
37.8 kB
scope-extend-0-1.smt
37.8 kB
scope-extend-0-2.smt
37.8 kB
scope-extend-0-3.smt
37.8 kB
select-0-0.smt
10.6 kB
select-0-1.smt
10.6 kB
select-0-2.smt
10.6 kB
select-0-3.smt
10.6 kB
select-1-0.smt
10.6 kB
select-1-1.smt
10.6 kB
select-1-2.smt
10.6 kB
select-1-3.smt
10.6 kB
sensitive-upgrade-0-0.smt
20.8 kB
sensitive-upgrade-0-1.smt
20.8 kB
sensitive-upgrade-0-2.smt
20.8 kB
sensitive-upgrade-0-3.smt
20.8 kB
sensitive-upgrade-1-0.smt
20.9 kB
sensitive-upgrade-1-1.smt
20.9 kB
sensitive-upgrade-1-2.smt
20.8 kB
sensitive-upgrade-1-3.smt
20.9 kB
sensitive-upgrade-2-0.smt
20.5 kB
sensitive-upgrade-2-1.smt
20.5 kB
sensitive-upgrade-2-2.smt
20.5 kB
sensitive-upgrade-2-3.smt
20.5 kB
sensitive-upgrade-3-0.smt
20.6 kB
sensitive-upgrade-3-1.smt
20.6 kB
sensitive-upgrade-3-2.smt
20.6 kB
sensitive-upgrade-3-3.smt
20.6 kB
stack-0-0.smt
8.3 kB
stack-0-1.smt
8.3 kB
stack-0-2.smt
8.3 kB
stack-0-3.smt
8.4 kB
stack-1-0.smt
10.1 kB
stack-1-1.smt
10.1 kB
stack-1-10.smt
10.1 kB
stack-1-11.smt
10.1 kB
stack-1-12.smt
10.1 kB
stack-1-13.smt
10.1 kB
stack-1-14.smt
10.1 kB
stack-1-15.smt
10.1 kB
stack-1-2.smt
10.1 kB
stack-1-3.smt
10.1 kB
stack-1-4.smt
10.1 kB
stack-1-5.smt
10.1 kB
stack-1-6.smt
10.1 kB
stack-1-7.smt
10.1 kB
stack-1-8.smt
10.1 kB
stack-1-9.smt
10.1 kB
stack-2-0.smt
9.4 kB
stack-2-1.smt
9.4 kB
stack-2-2.smt
9.4 kB
stack-2-3.smt
9.4 kB
stack-2-4.smt
9.4 kB
stack-2-5.smt
9.4 kB
stack-2-6.smt
9.4 kB
stack-2-7.smt
9.4 kB
stack-3-0.smt
8.4 kB
stack-3-1.smt
8.4 kB
stack-3-2.smt
8.4 kB
stack-3-3.smt
8.4 kB
termination-leak-0-0.smt
18.6 kB
termination-leak-0-1.smt
18.6 kB
termination-leak-0-2.smt
18.6 kB
termination-leak-0-3.smt
18.5 kB
termination-leak-1-0.smt
18.4 kB
termination-leak-1-1.smt
18.4 kB
termination-leak-1-2.smt
18.4 kB
termination-leak-1-3.smt
18.4 kB
variable-0-0.smt
10.1 kB
complex
call_implicit-0-0.smt
40.2 kB
call_implicit-0-1.smt
40.2 kB
call_implicit-0-2.smt
40.1 kB
call_implicit-0-3.smt
40.2 kB
call_indirect-imported-function-3-0.smt
50.0 kB
call_indirect-imported-function-3-1.smt
49.9 kB
call_indirect-imported-function-3-2.smt
52.9 kB
call_indirect-imported-function-3-3.smt
52.7 kB
call_indirect-table-imported-function-3-0.smt
36.2 kB
call_indirect_implicit-0-0.smt
98.4 kB
call_indirect_implicit-0-1.smt
98.4 kB
call_indirect_implicit-0-2.smt
98.4 kB
call_indirect_implicit-0-3.smt
98.5 kB
deadcode-leak-0-2.smt
48.4 kB
deadcode-leak-v2-0-2.smt
51.5 kB
deadcode-leak-v3-0-0.smt
93.1 kB
fib-0-0.smt
37.0 kB
fib-0-1.smt
37.0 kB
fib-0-2.smt
37.0 kB
fib-0-3.smt
37.0 kB
loop-ifthenelse-0-0.smt
32.3 kB
loop-ifthenelse-0-1.smt
32.2 kB
loop-ifthenelse-0-2.smt
32.3 kB
loop-ifthenelse-0-3.smt
32.3 kB
loop-iterative-tainting-0-0.smt
60.0 kB
loop-iterative-tainting-0-1.smt
60.0 kB
loop-iterative-tainting-0-2.smt
59.9 kB
loop-iterative-tainting-0-3.smt
60.0 kB
loop-the-loop-0-0.smt
48.1 kB
return-ctx-0-0.smt
20.3 kB
return-ctx-1-1.smt
42.7 kB
six-stores-0-0.smt
34.2 kB
while-store-0-0.smt
29.9 kB
examples
br_if-join-0-0.smt
42.6 kB
call-0-0.smt
25.4 kB
confidentiality-integrity-0-0.smt
45.4 kB
confidentiality-integrity-0-1.smt
45.3 kB
fib-1-0.smt
48.8 kB
join-0-0.smt
23.4 kB
join-implicit-flow-0-0.smt
28.7 kB
join-implicit-flow-fixed-0-0.smt
28.8 kB
join-implicit-flow-fixed2-0-0.smt
28.7 kB
scope-extend-0-0.smt
20.3 kB
tainted-loop-counter-0-0.smt
41.6 kB
tainted-loop-counter-0-1.smt
41.6 kB
tainted-loop-counter-0-2.smt
41.6 kB
tainted-loop-counter-0-3.smt
41.6 kB
while-if-while-if-0-0.smt
68.1 kB
while-if-while-if-0-1.smt
68.1 kB
while-if-while-if-0-2.smt
68.1 kB
while-if-while-if-0-3.smt
68.1 kB
figures
fig1-fixed-update_game_state-0.smt
32.6 kB
fig1-fixed-update_game_state-1.smt
30.6 kB
fig1-fixed-update_game_state-2.smt
32.6 kB
fig1-fixed-update_game_state-3.smt
32.7 kB
fig1-fixed-variant-1-update_game_state-0.smt
33.2 kB
fig1-fixed-variant-1-update_game_state-1.smt
31.1 kB
fig1-fixed-variant-1-update_game_state-2.smt
33.2 kB
fig1-fixed-variant-1-update_game_state-3.smt
33.3 kB
fig1-fixed-variant-2-update_game_state-0.smt
30.8 kB
fig1-fixed-variant-2-update_game_state-1.smt
28.7 kB
fig1-fixed-variant-2-update_game_state-2.smt
30.9 kB
fig1-fixed-variant-2-update_game_state-3.smt
30.9 kB
fig1-update_game_state-0.smt
33.2 kB
fig1-update_game_state-1.smt
31.1 kB
fig1-update_game_state-2.smt
33.2 kB
fig1-update_game_state-3.smt
33.3 kB
fig2-process-0.smt
45.3 kB
fig2-process-1.smt
45.3 kB
fig4-process-0.smt
65.9 kB
fig4-process-1.smt
65.8 kB
integrity
four-element-lattice-0-0.smt
26.4 kB
imported-function-1-0.smt
1.7 kB
imported-function-2-0.smt
3.6 kB
zzz_from_others
af12-fig1-0-0.smt
39.1 kB
af12-fig1-0-1.smt
39.1 kB
af12-fig1-0-2.smt
39.1 kB
af12-fig1-0-3.smt
39.1 kB
rs10-fig13-1-0.smt
44.5 kB