From owner-freebsd-net@FreeBSD.ORG Sun Nov 14 02:37:13 2010 Return-Path: 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 A2D7E106566B for ; Sun, 14 Nov 2010 02:37:13 +0000 (UTC) (envelope-from mahan@mahan.org) Received: from ns.mahan.org (ns.mahan.org [67.116.10.138]) by mx1.freebsd.org (Postfix) with ESMTP id 675FF8FC14 for ; Sun, 14 Nov 2010 02:37:13 +0000 (UTC) Received: from Gypsy.mahan.org (crowTrobot [67.116.10.140]) by ns.mahan.org (8.13.6/8.13.6) with ESMTP id oAE2cYdP011347; Sat, 13 Nov 2010 18:38:34 -0800 (PST) (envelope-from mahan@mahan.org) Message-ID: <4CDF4B59.4030105@mahan.org> Date: Sat, 13 Nov 2010 18:37:13 -0800 From: Patrick Mahan User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.2.4) Gecko/20100608 Thunderbird/3.1 MIME-Version: 1.0 To: Milen Dzhumerov References: <5F25ADA9-0481-4A34-8C48-28658639180D@thecosmicmachine.com> In-Reply-To: <5F25ADA9-0481-4A34-8C48-28658639180D@thecosmicmachine.com> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit 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 List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 14 Nov 2010 02:37:13 -0000 On 11/13/2010 05:23 PM, 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. > > Thanks, > Milen > Milen, routed resides in /sbin, so look in /usr/src/sbin/routed. Patrick