<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet href="/stylesheets/rss.css" type="text/css"?>
<rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:trackback="http://madskills.com/public/xml/rss/module/trackback/">
  <channel>
    <title>Tom Moertel's Weblog: Concurrent port scanner in Haskell</title>
    <link>http://blog.moertel.com/articles/2004/03/13/concurrent-port-scanner-in-haskell</link>
    <language>en-us</language>
    <ttl>40</ttl>
    <description>Quality rants on programming theory and stuff geeks like</description>
    <item>
      <title>Concurrent port scanner in Haskell</title>
      <description>&lt;p&gt;In &lt;a href="http://www.hulver.com/scoop/story/2004/3/11/154543/749"&gt;another draft of his article about Scheme programming&lt;/a&gt;, &lt;a href="http://www.hulver.com/scoop/user/jacob"&gt;jacob&lt;/a&gt; shows how he approaches the problem of writing a &lt;span class="caps"&gt;TCP&lt;/span&gt; port scanner. That seemed like a fun problem, and so I whipped up this version in one of my favorite programming languages, Haskell:&lt;/p&gt;


&lt;div class="typocode"&gt;&lt;pre&gt;&lt;code class="typocode_haskell "&gt;&lt;span class='keyword'&gt;module&lt;/span&gt; &lt;span class='conid'&gt;Main&lt;/span&gt; &lt;span class='layout'&gt;(&lt;/span&gt;&lt;span class='varid'&gt;main&lt;/span&gt;&lt;span class='layout'&gt;)&lt;/span&gt; &lt;span class='keyword'&gt;where&lt;/span&gt;

&lt;span class='keyword'&gt;import&lt;/span&gt; &lt;span class='conid'&gt;Control&lt;/span&gt;&lt;span class='varop'&gt;.&lt;/span&gt;&lt;span class='conid'&gt;Concurrent&lt;/span&gt;
&lt;span class='keyword'&gt;import&lt;/span&gt; &lt;span class='conid'&gt;Control&lt;/span&gt;&lt;span class='varop'&gt;.&lt;/span&gt;&lt;span class='conid'&gt;Exception&lt;/span&gt;
&lt;span class='keyword'&gt;import&lt;/span&gt; &lt;span class='conid'&gt;Data&lt;/span&gt;&lt;span class='varop'&gt;.&lt;/span&gt;&lt;span class='conid'&gt;Maybe&lt;/span&gt;
&lt;span class='keyword'&gt;import&lt;/span&gt; &lt;span class='conid'&gt;Network&lt;/span&gt;
&lt;span class='keyword'&gt;import&lt;/span&gt; &lt;span class='conid'&gt;Network&lt;/span&gt;&lt;span class='varop'&gt;.&lt;/span&gt;&lt;span class='conid'&gt;BSD&lt;/span&gt;
&lt;span class='keyword'&gt;import&lt;/span&gt; &lt;span class='conid'&gt;System&lt;/span&gt;&lt;span class='varop'&gt;.&lt;/span&gt;&lt;span class='conid'&gt;Environment&lt;/span&gt;
&lt;span class='keyword'&gt;import&lt;/span&gt; &lt;span class='conid'&gt;System&lt;/span&gt;&lt;span class='varop'&gt;.&lt;/span&gt;&lt;span class='conid'&gt;Exit&lt;/span&gt;
&lt;span class='keyword'&gt;import&lt;/span&gt; &lt;span class='conid'&gt;System&lt;/span&gt;&lt;span class='varop'&gt;.&lt;/span&gt;&lt;span class='conid'&gt;IO&lt;/span&gt;

&lt;span class='varid'&gt;main&lt;/span&gt; &lt;span class='keyglyph'&gt;::&lt;/span&gt; &lt;span class='conid'&gt;IO&lt;/span&gt; &lt;span class='layout'&gt;(&lt;/span&gt;&lt;span class='layout'&gt;)&lt;/span&gt;
&lt;span class='varid'&gt;main&lt;/span&gt; &lt;span class='keyglyph'&gt;=&lt;/span&gt; &lt;span class='keyword'&gt;do&lt;/span&gt;
    &lt;span class='varid'&gt;args&lt;/span&gt; &lt;span class='keyglyph'&gt;&amp;lt;-&lt;/span&gt; &lt;span class='varid'&gt;getArgs&lt;/span&gt;
    &lt;span class='keyword'&gt;case&lt;/span&gt; &lt;span class='varid'&gt;args&lt;/span&gt; &lt;span class='keyword'&gt;of&lt;/span&gt;
        &lt;span class='keyglyph'&gt;[&lt;/span&gt;&lt;span class='varid'&gt;host&lt;/span&gt;&lt;span class='layout'&gt;,&lt;/span&gt; &lt;span class='varid'&gt;from&lt;/span&gt;&lt;span class='layout'&gt;,&lt;/span&gt; &lt;span class='varid'&gt;to&lt;/span&gt;&lt;span class='keyglyph'&gt;]&lt;/span&gt; &lt;span class='keyglyph'&gt;-&amp;gt;&lt;/span&gt; &lt;span class='varid'&gt;withSocketsDo&lt;/span&gt; &lt;span class='varop'&gt;$&lt;/span&gt;
                            &lt;span class='varid'&gt;scanRange&lt;/span&gt; &lt;span class='varid'&gt;host&lt;/span&gt; &lt;span class='keyglyph'&gt;[&lt;/span&gt;&lt;span class='varid'&gt;read&lt;/span&gt; &lt;span class='varid'&gt;from&lt;/span&gt; &lt;span class='keyglyph'&gt;..&lt;/span&gt; &lt;span class='varid'&gt;read&lt;/span&gt; &lt;span class='varid'&gt;to&lt;/span&gt;&lt;span class='keyglyph'&gt;]&lt;/span&gt;
        &lt;span class='keyword'&gt;_&lt;/span&gt;                &lt;span class='keyglyph'&gt;-&amp;gt;&lt;/span&gt; &lt;span class='varid'&gt;usage&lt;/span&gt;

&lt;span class='varid'&gt;usage&lt;/span&gt; &lt;span class='keyglyph'&gt;=&lt;/span&gt; &lt;span class='keyword'&gt;do&lt;/span&gt;
    &lt;span class='varid'&gt;hPutStrLn&lt;/span&gt; &lt;span class='varid'&gt;stderr&lt;/span&gt; &lt;span class='str'&gt;"Usage: Portscan host from_port to_port"&lt;/span&gt;
    &lt;span class='varid'&gt;exitFailure&lt;/span&gt;

&lt;span class='varid'&gt;scanRange&lt;/span&gt; &lt;span class='varid'&gt;host&lt;/span&gt; &lt;span class='varid'&gt;ports&lt;/span&gt; &lt;span class='keyglyph'&gt;=&lt;/span&gt;
    &lt;span class='varid'&gt;mapM&lt;/span&gt; &lt;span class='layout'&gt;(&lt;/span&gt;&lt;span class='varid'&gt;threadWithChannel&lt;/span&gt; &lt;span class='varop'&gt;.&lt;/span&gt; &lt;span class='varid'&gt;scanPort&lt;/span&gt; &lt;span class='varid'&gt;host&lt;/span&gt; &lt;span class='varop'&gt;.&lt;/span&gt; &lt;span class='varid'&gt;fromIntegral&lt;/span&gt;&lt;span class='layout'&gt;)&lt;/span&gt; &lt;span class='varid'&gt;ports&lt;/span&gt; &lt;span class='varop'&gt;&amp;gt;&amp;gt;=&lt;/span&gt;
    &lt;span class='varid'&gt;mapM_&lt;/span&gt; &lt;span class='varid'&gt;hitCheck&lt;/span&gt;
  &lt;span class='keyword'&gt;where&lt;/span&gt;
    &lt;span class='varid'&gt;hitCheck&lt;/span&gt; &lt;span class='varid'&gt;mvar&lt;/span&gt; &lt;span class='keyglyph'&gt;=&lt;/span&gt; &lt;span class='varid'&gt;takeMVar&lt;/span&gt; &lt;span class='varid'&gt;mvar&lt;/span&gt; &lt;span class='varop'&gt;&amp;gt;&amp;gt;=&lt;/span&gt; &lt;span class='varid'&gt;maybe&lt;/span&gt; &lt;span class='layout'&gt;(&lt;/span&gt;&lt;span class='varid'&gt;return&lt;/span&gt; &lt;span class='layout'&gt;(&lt;/span&gt;&lt;span class='layout'&gt;)&lt;/span&gt;&lt;span class='layout'&gt;)&lt;/span&gt; &lt;span class='varid'&gt;printHit&lt;/span&gt;
    &lt;span class='varid'&gt;printHit&lt;/span&gt; &lt;span class='varid'&gt;port&lt;/span&gt; &lt;span class='keyglyph'&gt;=&lt;/span&gt; &lt;span class='varid'&gt;putStrLn&lt;/span&gt; &lt;span class='varop'&gt;=&amp;lt;&amp;lt;&lt;/span&gt; &lt;span class='varid'&gt;showService&lt;/span&gt; &lt;span class='varid'&gt;port&lt;/span&gt;

&lt;span class='varid'&gt;threadWithChannel&lt;/span&gt; &lt;span class='varid'&gt;action&lt;/span&gt; &lt;span class='keyglyph'&gt;=&lt;/span&gt; &lt;span class='keyword'&gt;do&lt;/span&gt;
    &lt;span class='varid'&gt;mvar&lt;/span&gt; &lt;span class='keyglyph'&gt;&amp;lt;-&lt;/span&gt; &lt;span class='varid'&gt;newEmptyMVar&lt;/span&gt;
    &lt;span class='varid'&gt;forkIO&lt;/span&gt; &lt;span class='layout'&gt;(&lt;/span&gt;&lt;span class='varid'&gt;action&lt;/span&gt; &lt;span class='varop'&gt;&amp;gt;&amp;gt;=&lt;/span&gt; &lt;span class='varid'&gt;putMVar&lt;/span&gt; &lt;span class='varid'&gt;mvar&lt;/span&gt;&lt;span class='layout'&gt;)&lt;/span&gt;
    &lt;span class='varid'&gt;return&lt;/span&gt; &lt;span class='varid'&gt;mvar&lt;/span&gt;

&lt;span class='varid'&gt;scanPort&lt;/span&gt; &lt;span class='varid'&gt;host&lt;/span&gt; &lt;span class='varid'&gt;port&lt;/span&gt; &lt;span class='keyglyph'&gt;=&lt;/span&gt;
    &lt;span class='varid'&gt;withDefault&lt;/span&gt; &lt;span class='conid'&gt;Nothing&lt;/span&gt; &lt;span class='layout'&gt;(&lt;/span&gt;&lt;span class='varid'&gt;tryPort&lt;/span&gt; &lt;span class='varop'&gt;&amp;gt;&amp;gt;&lt;/span&gt; &lt;span class='varid'&gt;return&lt;/span&gt; &lt;span class='layout'&gt;(&lt;/span&gt;&lt;span class='conid'&gt;Just&lt;/span&gt; &lt;span class='varid'&gt;port&lt;/span&gt;&lt;span class='layout'&gt;)&lt;/span&gt;&lt;span class='layout'&gt;)&lt;/span&gt;
  &lt;span class='keyword'&gt;where&lt;/span&gt;
    &lt;span class='varid'&gt;tryPort&lt;/span&gt; &lt;span class='keyglyph'&gt;=&lt;/span&gt; &lt;span class='varid'&gt;connectTo&lt;/span&gt; &lt;span class='varid'&gt;host&lt;/span&gt; &lt;span class='layout'&gt;(&lt;/span&gt;&lt;span class='conid'&gt;PortNumber&lt;/span&gt; &lt;span class='varid'&gt;port&lt;/span&gt;&lt;span class='layout'&gt;)&lt;/span&gt; &lt;span class='varop'&gt;&amp;gt;&amp;gt;=&lt;/span&gt; &lt;span class='varid'&gt;hClose&lt;/span&gt;

&lt;span class='varid'&gt;showService&lt;/span&gt; &lt;span class='varid'&gt;port&lt;/span&gt; &lt;span class='keyglyph'&gt;=&lt;/span&gt;
    &lt;span class='varid'&gt;withDefault&lt;/span&gt; &lt;span class='layout'&gt;(&lt;/span&gt;&lt;span class='varid'&gt;show&lt;/span&gt; &lt;span class='varid'&gt;port&lt;/span&gt;&lt;span class='layout'&gt;)&lt;/span&gt; &lt;span class='varop'&gt;$&lt;/span&gt; &lt;span class='keyword'&gt;do&lt;/span&gt;
        &lt;span class='varid'&gt;service&lt;/span&gt; &lt;span class='keyglyph'&gt;&amp;lt;-&lt;/span&gt; &lt;span class='varid'&gt;getServiceByPort&lt;/span&gt; &lt;span class='varid'&gt;port&lt;/span&gt; &lt;span class='str'&gt;"tcp"&lt;/span&gt; 
        &lt;span class='varid'&gt;return&lt;/span&gt; &lt;span class='layout'&gt;(&lt;/span&gt;&lt;span class='varid'&gt;show&lt;/span&gt; &lt;span class='varid'&gt;port&lt;/span&gt; &lt;span class='varop'&gt;++&lt;/span&gt; &lt;span class='str'&gt;" "&lt;/span&gt; &lt;span class='varop'&gt;++&lt;/span&gt; &lt;span class='varid'&gt;serviceName&lt;/span&gt; &lt;span class='varid'&gt;service&lt;/span&gt;&lt;span class='layout'&gt;)&lt;/span&gt;

&lt;span class='varid'&gt;withDefault&lt;/span&gt; &lt;span class='varid'&gt;defaultVal&lt;/span&gt; &lt;span class='varid'&gt;action&lt;/span&gt; &lt;span class='keyglyph'&gt;=&lt;/span&gt;
    &lt;span class='varid'&gt;handle&lt;/span&gt; &lt;span class='layout'&gt;(&lt;/span&gt;&lt;span class='varid'&gt;const&lt;/span&gt; &lt;span class='varop'&gt;$&lt;/span&gt; &lt;span class='varid'&gt;return&lt;/span&gt; &lt;span class='varid'&gt;defaultVal&lt;/span&gt;&lt;span class='layout'&gt;)&lt;/span&gt; &lt;span class='varid'&gt;action&lt;/span&gt;

&lt;span class='comment'&gt;-- Local Variables:  ***&lt;/span&gt;
&lt;span class='comment'&gt;-- compile-command: "ghc -o Portscan --make Portscan.hs" ***&lt;/span&gt;
&lt;span class='comment'&gt;-- End: ***&lt;/span&gt;
&lt;/code&gt;&lt;/pre&gt;&lt;/div&gt;

	&lt;p&gt;Example usage:&lt;/p&gt;


&lt;pre&gt;&lt;code&gt;$ ./Portscan internalhost.moertel.com 1 1000
21 ftp
22 ssh
80 http
111 sunrpc
139 netbios-ssn
443 https
445 microsoft-ds
631 ipp
709
720
&lt;/code&gt;&lt;/pre&gt;

	&lt;p&gt;Care to give it a try in your favorite programming language?&lt;/p&gt;</description>
      <pubDate>Sat, 13 Mar 2004 12:00:00 -0500</pubDate>
      <guid isPermaLink="false">urn:uuid:cedf8f106befcdd45ce56e04601c3ae7</guid>
      <author>Tom Moertel</author>
      <link>http://blog.moertel.com/articles/2004/03/13/concurrent-port-scanner-in-haskell</link>
      <category>programming</category>
      <category>haskell</category>
      <category>haskell</category>
      <category>portscan</category>
      <trackback:ping>http://blog.moertel.com/articles/trackback/38</trackback:ping>
    </item>
    <item>
      <title>"Concurrent port scanner in Haskell" by tasos</title>
      <description>&lt;p&gt;oh my god&lt;/p&gt;</description>
      <pubDate>Tue, 13 Feb 2007 09:38:49 -0500</pubDate>
      <guid isPermaLink="false">urn:uuid:dfe82101-83b0-4d03-a817-e724f80c248c</guid>
      <link>http://blog.moertel.com/articles/2004/03/13/concurrent-port-scanner-in-haskell#comment-377</link>
    </item>
    <item>
      <title>"Concurrent port scanner in Haskell" by nothingmuch</title>
      <description>&lt;p&gt;FWIW, your version is connect based while the versions he seemed to like abstract over pcap or something like that.&lt;/p&gt;


	&lt;p&gt;I personally found the code pretty clear and interesting, and surprisingly concise for it&amp;#8217;s async nature.&lt;/p&gt;


	&lt;p&gt;What I would do to improve it as someone who is not really used to haskell is to use less point-free notation where crucial decisions are being made. This way bits of data that have significance are bound to symbols at the point where they make a difference, helping to draw attension to more subtle details.&lt;/p&gt;


	&lt;p&gt;But maybe I&amp;#8217;m just not used to reading haskell ;-)&lt;/p&gt;</description>
      <pubDate>Fri, 16 Jun 2006 11:08:54 -0400</pubDate>
      <guid isPermaLink="false">urn:uuid:</guid>
      <link>http://blog.moertel.com/articles/2004/03/13/concurrent-port-scanner-in-haskell#comment-129</link>
    </item>
    <item>
      <title>"Concurrent port scanner in Haskell" by Kay</title>
      <description>&lt;p&gt;Awesome.
That&amp;#8217;s some well-written Haskell code.&lt;/p&gt;


	&lt;p&gt;I&amp;#8217;ve never seen the &amp;#8220;case args of [a,b,c]&amp;#8221; thing before. I&amp;#8217;ve been doing it with &amp;#8221;!!&amp;#8221;.&lt;/p&gt;


	&lt;p&gt;Also, you should post this on the haskell wiki.&lt;/p&gt;</description>
      <pubDate>Wed, 01 Feb 2006 20:58:31 -0500</pubDate>
      <guid isPermaLink="false">urn:uuid:</guid>
      <link>http://blog.moertel.com/articles/2004/03/13/concurrent-port-scanner-in-haskell#comment-111</link>
    </item>
  </channel>
</rss>
