routed source code

[Milen Dzhumerov]

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