<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:content="http://purl.org/rss/1.0/modules/content/"><channel><title>Symproxy on Pieter Viljoen's Blog</title><link>https://blog.insanegenius.com/tag/symproxy/</link><description>Recent content in Symproxy on Pieter Viljoen's Blog</description><generator>Hugo</generator><language>en</language><lastBuildDate>Thu, 09 Apr 2009 23:24:00 +0000</lastBuildDate><atom:link href="https://blog.insanegenius.com/tag/symproxy/feed.xml" rel="self" type="application/rss+xml"/><item><title>Broken Symbol Proxy</title><link>https://blog.insanegenius.com/2009/04/09/broken-symbol-proxy/</link><pubDate>Thu, 09 Apr 2009 23:24:00 +0000</pubDate><guid isPermaLink="false">https://blog.insanegenius.com/2009/04/09/broken-symbol-proxy/</guid><description>&lt;p&gt;This post is about &lt;a href="http://www.microsoft.com/whdc/DevTools/Debugging/default.mspx"&gt;Microsoft Debugging Tools for Windows&lt;/a&gt;, symbol servers, and &lt;a href="http://msdn.microsoft.com/en-us/library/cc901417.aspx"&gt;symbol proxy servers&lt;/a&gt;.&lt;/p&gt;
&lt;p&gt;You can read my posts about this problem on the &lt;a href="http://groups.google.com/group/microsoft.public.windbg/browse_thread/thread/8d4d4628cbd580b8/c95bd267da162ff4"&gt;Microsoft WinDbg group&lt;/a&gt;, and on the &lt;a href="http://groups.google.com/group/chromium-dev/browse_thread/thread/1f109398e848bb6d"&gt;Google Chromium group&lt;/a&gt;.&lt;/p&gt;
&lt;p&gt;We run several symbol servers, and a single symbol proxy server that provides transparent access to all our symbol servers, as well as the Microsoft symbol servers.&lt;/p&gt;
&lt;p&gt;I was debugging a Google Chrome crash, and was looking for symbols for Chrome. I was pleasantly surprised to find out that both Mozilla and Google have public debug symbol servers &lt;a href="https://developer.mozilla.org/en/Using_the_Mozilla_symbol_server"&gt;for Firefox&lt;/a&gt; and &lt;a href="http://dev.chromium.org/developers/how-tos/debugging"&gt;for Chrome&lt;/a&gt;. I added the Mozilla and Google symbol servers to our symbol proxy server list.&lt;/p&gt;</description></item></channel></rss>