<p>i found something called libEncryptorP.so in an Android binary and it uses an interesting method of obfuscation: it replaces a function with basically a CPU emulator for a fantasy CPU and then runs it on a program stored in .rodata or something</p><p>it&#39;s quite cute, at first it looked incomprehensible but it has 32 registers, a 6-bit opcode field, and 16 bits of random stuff (flags, etc) which it extracts out of a 32-bit instruction word and dispatches in a loop</p><p>made by ByteDance apparently</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> That would make a lot more sense.</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.online/@raritastic" class="u-url mention">@<span>raritastic</span></a></span> it might&#39;ve supported IE Tab back then</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> Today I learned Chrome once supported ActiveX...</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> we&#39;ve all done this. we are all bad people.</p>

<p>🚨 New tool &amp; paper! 🚨</p><p>We’re excited to introduce Veil, a framework for verifying distributed &amp; concurrent systems both automatically and interactively — all inside Lean 4.</p><p>🛠️Veil gives you the best of both worlds: <br />– Push-button verification via SMT solvers<br />– Interactive proofs when automation falls short</p><p>📄 <a href="https://pirlea.net/papers/veil-cav25.pdf" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">pirlea.net/papers/veil-cav25.p</span><span class="invisible">df</span></a><br />🛠️ <a href="https://github.com/verse-lab/veil" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">github.com/verse-lab/veil</span><span class="invisible"></span></a><br />🔍 Try it, use it, break it — we’d love your feedback!<br />🔁 Boost to share with your formal methods &amp; distributed systems friends!</p>

<p>anyway, has any of you used revng before?</p>

<p>i asked this girl to give me a native code deobfuscator and she gave me something that she described as &quot;an amalgamation of IRs made by crackheads&quot;. please send help</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.gamedev.place/@lesley" class="u-url mention">@<span>lesley</span></a></span> ahhh that scratches an inch</p>