projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 490489a) | patch
Fix out-of-bounds access in ExprManager
authorAndres Notzli <andres.noetzli@gmail.com>
Wed, 27 Jul 2016 21:06:56 +0000 (14:06 -0700)
committerAndres Notzli <andres.noetzli@gmail.com>
Thu, 28 Jul 2016 04:39:39 +0000 (21:39 -0700)
commit2db836a8d785cb4d3c7f364dc5a968b5f6394b5c
tree9f9aecca77b6baa9d6cc95ab393ed92015bc762btree
parent490489a78beca486df5d4a0d8b7704e6235ca6fccommit | diff
Fix out-of-bounds access in ExprManager

The size of `d_exprStatisticsVars` was `LAST_TYPE` which was not enough
because the INC_STAT macro tries to access
`d_exprStatisticsVars[LAST_TYPE]` in some cases, resulting in an
out-of-bounds access. Found bug with UBSan.
src/expr/expr_manager_template.cpp diff | blob | history
src/expr/expr_manager_template.h diff | blob | history