The Floating-Point Extension of Symbolic Execution Engine for Bug Detection.

Xingming Wu Zhenbo Xu Dong Yan Tianyong Wu Jun Yan Jian Zhang

Published in: APSEC (2016)

Keyphrases

floating point
execution engine
interval arithmetic
fixed point
floating point arithmetic
instruction set
data structure
source code
efficient implementation
search computing