%PDF-1.4
%
1 0 obj
<>
endobj
2 0 obj
<>
endobj
3 0 obj
<>stream
IEEE
IEEE Transactions on Dependable and Secure Computing;2020;17;6;10.1109/TDSC.2018.2866469
Symbolic execution
Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs
Hui Xu
Zirui Zhao
Yangfan Zhou
Michael R. Lyu
endstream
endobj
4 0 obj
<>stream
x+ |
endstream
endobj
5 0 obj
<>stream
x_K08
Rt"Mg!n+mndw`E'zgn`Qշms>j_cTQr
G \u$
ဏb'_zqyptvX<}m\r]
4
ZO_?M@
endstream
endobj
6 0 obj
<>stream
x+ |
endstream
endobj
7 0 obj
<>stream
xj@)e%lZYh):)NZʁw~_zs pTޡDe[ݶft Wޣ9AR5G3(l_=Ö*d5hʗ4
6c`1%Qюc)~q?@
endstream
endobj
8 0 obj
<>stream
x+ |
endstream
endobj
9 0 obj
<>stream
x_K08
Rt"Mg!n+mndw`E'z['XԮrms>j_cTQr
G \u$
ဏb'_zqyptvX<}m\r]
4
ZO_?R@B
endstream
endobj
10 0 obj
<>stream
x+ |
endstream
endobj
11 0 obj
<>stream
xj@)e%l*BZh):)N*r>#la@Ot Wޡ-9AR5f(~l>{mwzay []zbr3tA|7MkXpLAIG_
>stream
x+ |
endstream
endobj
13 0 obj
<>stream
x_K08
Rt"Mg!n+mndw`E'zߓM@,jWtrG{
0J.(Kr$_=5QA}kR/>stream
x+ |
endstream
endobj
15 0 obj
<>stream
xj@)e%l,BZh)MuStwӻ`Iy+s:2+-luzxQ\y^vc)rIk,9w/'QC_
_=Tk&-4
c`1%Qюc)~q% @
endstream
endobj
16 0 obj
<>stream
x+ |
endstream
endobj
17 0 obj
<>stream
x_K08
Rt"Mg!n+mndw`E'zkߓM@,jWtrG{
0J.(Kr$_=5QA}kR/>stream
x+ |
endstream
endobj
19 0 obj
<>stream
xj@)e%lZYh):)NZʁw~_zs)&pTޡDe[ݶft Wޣ9AR5G3(l_=Ö*d5hʗ4
6c`1%Qюc)~q@
endstream
endobj
20 0 obj
<>stream
x+ |
endstream
endobj
21 0 obj
<>stream
xj@)e%l!wZ
uoNtJ}r,ne\Gw#(QVm94˞}p )sx˅CtvPWzWoʼXc
ڄrRl]M`; VS}8GkZ?@
endstream
endobj
22 0 obj
<>stream
x+ |
endstream
endobj
23 0 obj
<>stream
xj@)e%lZYh):)NZʁw~_zs)&pTޡDe[ݶft Wޣ9AR5G3(l_=Ö*d5hʗ4
6c`1%Qюc)~q@
endstream
endobj
24 0 obj
<>stream
x+ |
endstream
endobj
25 0 obj
<>stream
xj@)e%l!wZ
Fd']r,nd\Gw(QVm)5?ˎ}p )sx˙CtvPWzWo=ʼXc
ڄrR]M`3 ~8 $#q/5Vu@
endstream
endobj
26 0 obj
<>stream
x+ |
endstream
endobj
27 0 obj
<>stream
xj@)e%l*BZh):)N*r>b
ב]aOJT};e3#0Hʜ sr%]}.WO