8000 Release v2.1.0: fixes trivial assertions (#1108) · Microsvuln/bap · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

v2.1.0

v2.1.0: fixes trivial assertions (#1108)
@ivg ivg tagged this 29 May 18:40 
If an assertion doesn't contain a symbolic value then we were having
an empty set of constraints, which trivially were true. In other
words, `assert true` doesn't hold.

This PR fixes this by treating non-symbolic values as symbolic
constants.
Assets 2
Loading
0