cil VS cil

> You could imagine a subset of C that does away with macros, typedefs, etc. in order to be easier to parse, and in doing so forms a more accessible ABI specification language.

A start? https://github.com/cil-project/cil

I've done some research to identify possible candidates and came across CIL. However, I'm not sure if it would only focus on the analysis part and won't let me work on the program's structure. So before spending several hours trying things out, I thought to ask the experts for opinions and maybe get to know other tools that I couldn't find during my research.

It is certainly possible to adjust the Nim's C backend to output C files that can be combined into a single one and compiled, but this requires certain effort. So I didn't go this route and started searching for a program that can amalgamate separate C files by itself, and found one - C Intermediate Language.

# Install OCaml on Arch $ sudo pacman -Sy ocaml # Clone the repo $ git clone https://github.com/goblint/cil && cd cil # Create a local opam environment ("switch"). This will take a while $ opam switch create . # Add local opam environment to the current shell # This command is specific to the fish shell. For others, you might need to modify it $ eval (opam env) # Configure the compilation, the prefix is the _opam directory # in CWD (because we use `opam switch`) # For POSIX-shells replace () with `` $ ./configure --prefix=(opam config var prefix) # Build CIL $ make # This make install fails for me, but it's needed for commands below $ make install # To fix the error in the previous step we need to remove the logwrites dir $ rm -r _opam/lib/goblint-cli/logwrites/ # Finally install it into currentdir/_opam/bin/ $ make install # Add it to our PATH (your directory will of course be different) $ set PATH /home/dian/Stuff/cil/_opam/bin $PATH