arata-nvm/angr-doc-ja

"bounded integer"の訳

Opened this issue · 0 comments

arata-nvm commented

angr-doc-ja/docs/solver.md

Line 19 in 764197d

A bitvector is just a sequence of bits, interpreted with the semantics of a bounded integer for arithmetic.