Jordy Ruiz

Fixes this error: ```bash jordy@diomenia:~/code/objconv$ make ls: cannot access '*.cpp': No such file or directory g++ -o objconv g++: fatal error: no input files compilation terminated. make: *** [Makefile:20: all]...

Support complex __attribute__ involving __alignof__

6

Pycparser breaks on this example: ```diff diff --git a/test/test_pycparserext.py b/test/test_pycparserext.py index 183769f..357061c 100644 --- a/test/test_pycparserext.py +++ b/test/test_pycparserext.py @@ -245,6 +245,7 @@ def test_array_attributes(): src = """ int x[10] __attribute__((unused)); int...

Build fails due to syntax error on Set.Make(String)

5

```console $ dune.build File "frontc/cxml.ml", line 43, characters 19-20: Error: Syntax error ``` This is because of this code bit: https://github.com/BinaryAnalysisPlatform/FrontC/blob/c95d785d9e440827d65a904544495194ad8a40a9/frontc/cxml.ml#L42-L59

Repository has diverged with sourcesup/renater FrontC git repository

3

Hi, I recently came to learn the existence of another FrontC repository maintained by the TRACES team/University of Toulouse, the original authors (Hugues Cassé). The repository lives at https://git.renater.fr/anonscm/git/orange/Frontc.git (project...

Opt out of inline assembly in libc/sysdeps/linux/*/bits/select.h

8

`FD_ZERO` and `FD_SET` use inline assembly that is not supported by KLEE. With this patch, we force the fallback path to C code.

- 88b2a38 fixes the reduced `small.c` breaking example from https://gist.github.com/jordr/55817398f88255dedfe206dd8337dba1 - 1eb3f6f adds `small.c` as a unit test at `test/Slicing/field-sensitivity-hetero.c`. Without https://github.com/davidtr1037/chopper/commit/88b2a38fd85b32f7ee8eb5d27951273dcaecba61, this unit test fails - this does not...

"Bad signature" LLVM assert raised when replacing calls with wrappers

2

I have had this LLVM assert raised on the `bc` benchmark on several functions, on several functions, such as prog_char and some floating point functions. I get different errors, sometimes...

Running vanilla Chopper on the `is_lower` benchmark from KLEE: ```c /* * First KLEE tutorial: testing a small function */ #include int my_islower(int x) { if (x >= 'a' &&...

This is on the `bc` benchmark again. Unfortunately, I was not able to isolate a list of skipped functions that triggers it on vanilla Chopper, so reproducibility is bad for...

Running Chopper on the `bc` benchmark without any skip instructions yields: ```console $ kleegacy -libc=uclibc -simplify-sym-indices -search=nurs:covnew -split-search -output-module bc.bc ... KLEE: WARNING ONCE: calling external: __syscall_rt_sigaction(2, 94287618746464, 94287622407168, 8)...