Blog about the development of a static code analyzer capable of detecting the heartbleed bug in OpenSSL prior to version 1.0.1g. http://vscharf.github.io/ Sun, 10 Aug 2014 19:43:50 +0000 Sun, 10 Aug 2014 19:43:50 +0000 Jekyll v2.2.0 <p>This is the first post on this blog and as it is conventional, I will start it with a “Hello World!”.</p> <div class="highlight"><pre><code class="language-python" data-lang="python"><span class="k">def</span> <span class="nf">print_hello_world</span><span class="p">():</span> <span class="k">print</span> <span class="s">&quot;Hello World!&quot;</span> <span class="n">print_hello_world</span><span class="p">()</span></code></pre></div> Sun, 10 Aug 2014 00:00:00 +0000 http://vscharf.github.io/general/2014/08/10/first-post/ http://vscharf.github.io/general/2014/08/10/first-post/ general