cil
cil copied to clipboard
goblint
C Intermediate Language
**I just start learning dune, and try to update CIL (version 1.7.3) using dune. I follow the way goblint (version 2.0) does., but meet a problem. After dune build @install...
Currently, we do not have proper support for any architecture were `float128` does not have the same size & alignment as `long double`. Unfortunately, this includes Apple's M1 architecture, which...
Closes #118
When compiling [libgit2](https://github.com/libgit2/libgit2) using cilly, I've encountered the following error: ``` /home/.../libgit2/src/libgit2/config_file.c:481:20: error: first argument to ‘__builtin_choose_expr’ not a constant 481 | config_file_backend *cfg = GIT_CONTAINER_OF(_cfg, config_file_backend, parent); | ^~~~~~~~~~~~~~~~~~~~~...
### Test case from https://github.com/goblint/bench/issues/38#issuecomment-1243481718 ```c #include #include typedef struct raxNode { uint32_t iskey:1; uint32_t isnull:1; uint32_t iscompr:1; uint32_t size:29; unsigned char data[]; } raxNode; typedef struct rax { raxNode...
Submitting goblint-cil 2.0.0 to opam-repository revealed (even after some basic fixes) that we fail some of our tests on these architectures. ## x86_32 - [ ] testrun/math1 ``` # /usr/include/i386-linux-gnu/bits/mathcalls-helper-functions.h:21:...
CIL lacks support for various additions to the C language that come with the C11 specification. It would be beneficial to identify and implement features to improve CIL's support for...
In #41 a missing `typedef` for a type `__uint128_t` results in the following exception: ``` $ ./regtest.sh 00 07 ./goblint --enable dbg.debug --enable dbg.showtemps --enable dbg.regression --sets warnstyle "legacy" --html...
`Formatcil` can parse the following expression (from Goblint's Apron analysis): `2147483647LL - (long long )top >= 0`. When Goblint evaluates the parsed expression, it crashes with: ``` exception IntDomain.IncompatibleIKinds("ikinds long...
While looking into how to parse single expressions, e.g. coming from a witness, I noticed how Goblint abuses `Formatcil.cExp` for that. Despite not being intended for user input parsing, it...