Re: Code "Verification"

[Rodney Thayer <rodney () canola-jones com>]

OK, so other than being drenched with wet-dream class comments
about computer science fluffyness, what is it?  Does it compile
C?  It sort of half-says that in a handful of places.  but there's
a source download only, no binary.  what about that whole
compile-the-compiler thing...

At 11:58 AM 12/6/2004 -0500, Dave Aitel wrote:
> Someone could build a nice scripting language on top of this for doing code verification for security...
> -dave
>
> http://www.tendra.org/
>
> In case you are already wondering, TenDRA itself is a three clause BSD-licensed 
> <http://www.tendra.org/licenses/BSDL.txt> C and C++ compiler, with C++ STL support forthcoming. The original Crown 
> <http://www.tendra.org/licenses/Crown.txt> copyright from DERA is still present and the further expansion of TenDRA is 
> BSDL <http://www.tendra.org/licenses/BSDL.txt>'d.
>
> TenDRA uses the Architecture Neutral Distribution Format (ANDF) as its intermediate language. This intermediate 
> language focuses on abstracting into a high level language instead of an assembler-like language as is common with 
> most compilers (think RTL). This makes TenDRA powerful in code verification and checking.
>
>
> _______________________________________________
> Dailydave mailing list
> Dailydave () lists immunitysec com
> https://lists.immunitysec.com/mailman/listinfo/dailydave

_______________________________________________
Dailydave mailing list
Dailydave () lists immunitysec com
https://lists.immunitysec.com/mailman/listinfo/dailydave