<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> 3 ways to get nothing done for weeks. Vivado fits right in.</p>

<p>you can create bytes that you feed into random routines and see how they get transformed</p><p>you can see symbolic expressions for registers or memory bytes</p><p>it even supports filesystem access</p><p>it makes me so happy to see software made by competent people</p>

<p>it even supports subroutine calls!! how cool is that</p>

<p>i just discovered some really good software: SENinja <a href="https://github.com/borzacchiello/seninja" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">github.com/borzacchiello/senin</span><span class="invisible">ja</span></a></p><p>it lifts Binary Ninja&#39;s intermediate representation to a symbolic form and lifts it to an SMT2 representation, then feeds it to Z3</p><p>the user interface is like a debugger, except you get things like symbolic expression, or you can ask for which inputs will result in reaching a specific branch</p><p>this is so so so cool</p><p><a href="https://doi.org/10.1016/j.softx.2022.101219" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">doi.org/10.1016/j.softx.2022.1</span><span class="invisible">01219</span></a></p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> let&#39;s be real, that would be way better than the standard installer</p>

<p>Una bella benedizione 😇</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> can you do questa</p>

<p>boost to scare an engineer</p>

<p><span class="h-card" translate="no"><a href="https://types.pl/@wren6991" class="u-url mention">@<span>wren6991</span></a></span> hmu if you want options</p>