CAC++ has been legally registered in the "Registro Territorial de la Propiedad Intelectual de la Junta de Andalucía" with the code: CA-93-17

Downloads:

• CAC++ library: cac++.tar (1,6 MB)
• Example of use: example.tar (10,2 KB)

CAC++ has been developed and tested using:

• Ubuntu 22.04 / 64 bits.
• LLVM/Clang compiler 14/15 for 64 bits.
• Libraries of GCC 11.3.0.

Steps:

1. Clang 14 is the default version in Ubuntu 22.04. Therefore, the following command will install the required libraries for this version:

 sudo apt install clang libclang-dev

Note: If you choose to install version 15, add the version to the libraries: clang-15 and libclang-15-dev. Since the name of the binary files installed will contain the version, it is recommended to create a simbolic link to use the binaries without the version as follows:

 sudo ln -s /usr/bin/clang-15 /usr/bin/clang
 sudo ln -s /usr/bin/clang++-15 /usr/bin/clang++
 sudo ln -s /usr/bin/llvm-config-15 /usr/bin/llvm-config

2. Download the file "cac++.tar" (see section "Downloads" at the end of this page) and unzip the file:



 cd download_directory
 tar xvf cac++.tar

This directory contains:
1. A static library called libcac.a (for Ubuntu 22.04 and Clang 14). This library will be later linked to the static analysis program associated with a practice (see Example program).
2. The source files and a Makefile to regenerate libcac.a when necessary.


3. Create the static analysis program associated with the practice using the extracted files, including the header "caclibrary.h" in the main file. It is the moment to add verifications from the library. It's all that the teacher needs to do to create the program.