cvs -d:pserver:anonymous@cvs.gasta.sourceforge.net:/cvsroot/gasta login > When prompted for a password for anonymous, simply press the Enter key.
cvs -z3 -d:pserver:anonymous@cvs.gasta.sourceforge.net:/cvsroot/gasta co gasta
cvs -d:pserver:anonymous@cvs.gasta.sourceforge.net:/cvsroot/gasta logout
You can browse the CVS
The current working version is gasta-2.1.1
Version 2.0.1 is available using the tag rel-2_0_1-final
Guide describes structures and algorithms used in Gasta. A postscript version is available using CVS.
ar Merc'her 2 Ebrel 2025
last updated : 09/06/2004
Comment about gasta
Gasta means Gcc Abstract Syntax Tree Analysis. The goal of this tool is to automatically annotate C code for splint
(actually we focus on possibly null pointer)
Comment about lex and yacc paper
This paper is an introduction to lex and yacc tools. It's in french.
Comment about hardware counters
It's a tool which processes and displays information provided by hardware performance counters. It's also in french.