<?xml version="1.0" encoding="UTF-8"?><rss xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:atom="http://www.w3.org/2005/Atom" version="2.0"><channel><title><![CDATA[RSS Feed]]></title><description><![CDATA[RSS Feed]]></description><link>http://direct.ecency.com</link><image><url>http://direct.ecency.com/logo512.png</url><title>RSS Feed</title><link>http://direct.ecency.com</link></image><generator>RSS for Node</generator><lastBuildDate>Mon, 06 Apr 2026 21:41:10 GMT</lastBuildDate><atom:link href="http://direct.ecency.com/@cpuu/rss" rel="self" type="application/rss+xml"/><item><title><![CDATA[The difference between Soundness and Completeness]]></title><description><![CDATA[Useful static analysis tools fall somewhere between sound and complete analyses. So, let's go into what I mean by that. Soundness is a property that states if an analysis says that x is true, then x is]]></description><link>http://direct.ecency.com/software/@cpuu/the-difference-between-soundness-and-completeness</link><guid isPermaLink="true">http://direct.ecency.com/software/@cpuu/the-difference-between-soundness-and-completeness</guid><category><![CDATA[software]]></category><dc:creator><![CDATA[cpuu]]></dc:creator><pubDate>Mon, 28 May 2018 15:01:18 GMT</pubDate><enclosure url="https://images.ecency.com/p/2gsjgna1uruv8X2R8t7XDv5HGXyHWCCu4rKmbB5pmEzjYSiyZjhpoJpSVipLavt8RbbBcoazkAZ9gGBakGkA9sKit9yhzw9QS5ym8qr84ehr2zZNke?format=match&amp;mode=fit" length="0" type="false"/></item><item><title><![CDATA[Announcing CPUU's Software Security Blog]]></title><description><![CDATA[Hi, My name is Jaeyou PARK. I am now employed at LG Electronics as a research engineer. I immensely interested in the field of security analysis to find bugs in the software. My research area spans various]]></description><link>http://direct.ecency.com/software/@cpuu/announcing-cpuu-s-software-security-blog</link><guid isPermaLink="true">http://direct.ecency.com/software/@cpuu/announcing-cpuu-s-software-security-blog</guid><category><![CDATA[software]]></category><dc:creator><![CDATA[cpuu]]></dc:creator><pubDate>Mon, 28 May 2018 04:42:54 GMT</pubDate></item></channel></rss>