From owner-freebsd-net@FreeBSD.ORG Sun Nov 14 01:53:16 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 22FF21065673 for ; Sun, 14 Nov 2010 01:53:16 +0000 (UTC) (envelope-from milen@thecosmicmachine.com) Received: from mail-ww0-f50.google.com (mail-ww0-f50.google.com [74.125.82.50]) by mx1.freebsd.org (Postfix) with ESMTP id B6B818FC12 for ; Sun, 14 Nov 2010 01:53:15 +0000 (UTC) Received: by wwj40 with SMTP id 40so1338851wwj.31 for ; Sat, 13 Nov 2010 17:53:14 -0800 (PST) Received: by 10.227.154.143 with SMTP id o15mr4346235wbw.8.1289697839629; Sat, 13 Nov 2010 17:23:59 -0800 (PST) Received: from [192.168.1.2] ([89.243.114.88]) by mx.google.com with ESMTPS id a17sm3979988wbe.6.2010.11.13.17.23.58 (version=SSLv3 cipher=RC4-MD5); Sat, 13 Nov 2010 17:23:58 -0800 (PST) From: Milen Dzhumerov Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Date: Sun, 14 Nov 2010 01:23:57 +0000 Message-Id: <5F25ADA9-0481-4A34-8C48-28658639180D@thecosmicmachine.com> To: freebsd-net@freebsd.org Mime-Version: 1.0 (Apple Message framework v1081) X-Mailer: Apple Mail (2.1081) Subject: 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 01:53:16 -0000 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 [1] http://www.FreeBSD.org/cgi/man.cgi?query=3Drouted&sektion=3D8=