<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Wong Kok Rui on The Trail of Bits Blog</title><link>https://miscreants.github.io/blog.trailofbits.com/authors/wong-kok-rui/</link><description>Recent content in Wong Kok Rui on The Trail of Bits Blog</description><generator>Hugo</generator><language>en-us</language><lastBuildDate>Tue, 13 Dec 2022 08:00:04 -0500</lastBuildDate><atom:link href="https://miscreants.github.io/blog.trailofbits.com/authors/wong-kok-rui/index.xml" rel="self" type="application/rss+xml"/><item><title>Manticore GUIs made easy</title><link>https://miscreants.github.io/blog.trailofbits.com/2022/12/13/manticore-gui-plugin-binary-ninja-ghidra/</link><pubDate>Tue, 13 Dec 2022 08:00:04 -0500</pubDate><guid>https://miscreants.github.io/blog.trailofbits.com/2022/12/13/manticore-gui-plugin-binary-ninja-ghidra/</guid><description>Trail of Bits maintains Manticore, a symbolic execution engine that can analyze smart contracts and native binaries. While symbolic execution is a powerful technique that can augment the vulnerability discovery process, it requires some base domain knowledge and thus has its own learning curve. Given the plethora […]</description></item></channel></rss>