From owner-freebsd-net@FreeBSD.ORG  Sun Nov 14 02:32:29 2010
Return-Path: <owner-freebsd-net@FreeBSD.ORG>
Delivered-To: freebsd-net@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34])
	by hub.freebsd.org (Postfix) with ESMTP id 05ED5106566B
	for <freebsd-net@freebsd.org>; Sun, 14 Nov 2010 02:32:29 +0000 (UTC)
	(envelope-from smithi@nimnet.asn.au)
Received: from sola.nimnet.asn.au (paqi.nimnet.asn.au [115.70.110.159])
	by mx1.freebsd.org (Postfix) with ESMTP id 69C118FC0A
	for <freebsd-net@freebsd.org>; Sun, 14 Nov 2010 02:32:27 +0000 (UTC)
Received: from localhost (localhost [127.0.0.1])
	by sola.nimnet.asn.au (8.14.2/8.14.2) with ESMTP id oAE2WQ6Q020566;
	Sun, 14 Nov 2010 13:32:26 +1100 (EST)
	(envelope-from smithi@nimnet.asn.au)
Date: Sun, 14 Nov 2010 13:32:26 +1100 (EST)
From: Ian Smith <smithi@nimnet.asn.au>
To: Milen Dzhumerov <milen@thecosmicmachine.com>
In-Reply-To: <5F25ADA9-0481-4A34-8C48-28658639180D@thecosmicmachine.com>
Message-ID: <20101114132025.E39988@sola.nimnet.asn.au>
References: <5F25ADA9-0481-4A34-8C48-28658639180D@thecosmicmachine.com>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Cc: freebsd-net@freebsd.org
Subject: Re: routed source code
X-BeenThere: freebsd-net@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Networking and TCP/IP with FreeBSD <freebsd-net.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-net>,
	<mailto:freebsd-net-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-net>
List-Post: <mailto:freebsd-net@freebsd.org>
List-Help: <mailto:freebsd-net-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-net>,
	<mailto:freebsd-net-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Sun, 14 Nov 2010 02:32:29 -0000

On Sun, 14 Nov 2010, Milen Dzhumerov wrote:
 > Hi all,
 > 
 > We're investigating some ways to perform symbolic execution of 
 > distributed systems and we're looking for real-world programs to 
 > test. The "routed" daemon[1] which is included with FreeBSD seemed 
 > like a good candidate and I was wondering whether anyone can point me 
 > to its implementation location in the source code repositories.

% find /usr/src -name routed
/usr/src/etc/rc.d/routed
/usr/src/sbin/routed

cheers, Ian