Code "Verification"

[Dave Aitel <dave () immunitysec com>]

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