Date: Sun, 14 Nov 2010 01:23:57 +0000 From: Milen Dzhumerov <milen@thecosmicmachine.com> To: freebsd-net@freebsd.org Subject: routed source code Message-ID: <5F25ADA9-0481-4A34-8C48-28658639180D@thecosmicmachine.com>
next in thread | raw e-mail | index | archive | help
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=routed&sektion=8
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?5F25ADA9-0481-4A34-8C48-28658639180D>