Dailydave mailing list archives
Re: Code "Verification"
From: Rodney Thayer <rodney () canola-jones com>
Date: Mon, 06 Dec 2004 09:18:45 -0800
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
Current thread:
- Code "Verification" Dave Aitel (Dec 06)
- Re: Code "Verification" Rodney Thayer (Dec 06)