cil | cil | |
---|---|---|
4 | 1 | |
340 | 39 | |
0.3% | - | |
0.0 | 6.9 | |
8 months ago | about 1 month ago | |
OCaml | OCaml | |
GNU General Public License v3.0 or later | GNU General Public License v3.0 or later |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
cil
Posts with mentions or reviews of cil.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-03-17.
- C Intermediate Language
-
C Isn't a Programming Language Anymore
> 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
-
Tools to analyze C code structures?
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.
-
Amalgamating Nim programs
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.
cil
Posts with mentions or reviews of cil.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-03-19.
-
Amalgamating Nim programs
# 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
What are some alternatives?
When comparing cil and cil you can also consider the following projects:
llvm-project - The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Nim - Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
Sourcetrail - Sourcetrail - free and open-source interactive source explorer
student-projects - A collection of projects for students on Virgil, Wizard, or WebAssembly