Date: Sat, 13 Nov 2010 18:37:13 -0800 From: Patrick Mahan <mahan@mahan.org> To: Milen Dzhumerov <milen@thecosmicmachine.com> Cc: freebsd-net@freebsd.org Subject: Re: routed source code Message-ID: <4CDF4B59.4030105@mahan.org> In-Reply-To: <5F25ADA9-0481-4A34-8C48-28658639180D@thecosmicmachine.com> References: <5F25ADA9-0481-4A34-8C48-28658639180D@thecosmicmachine.com>
next in thread | previous in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?4CDF4B59.4030105>