Question about "Cabs2cil had some errors"

[402527185]

I firstly execute ./configure. The result is as follows：

Then I executed make and got the following error:

• make[1]: Leaving directory '/obliv-c'
• bin/oblivcc -c src/ext/oblivc/copy.oc -o _build/copy.oo -I src/ext/oblivc -g -O2 -O3
• /usr/include/x86_64-linux-gnu/bits/string_fortified.h:104: Error: Undefined function
• Error: Cabs2cil had some errors
• Fatal error: exception Errormsg.Error
• make: *** [_build/depends/copy.od:5: _build/copy.oo] Error 2

opam list is as follows:

[Wildfemale]

I have the same problem. Have you solved it?

[samee]

Can you please attach the full error log as a text file? I'm specifically interested in whether there were any other details about the error.

Regarding string_fortified.h:104, have you looked at that file to see what function is referred to on that line? We might then be able to search for a header that defines it.

[402527185]

Hi @samee , thank you very much for your reply!
Here is the full error log. After I run make, I got these errors.
error.txt

string_fortified.h:104 :

[402527185]

I have the same problem. Have you solved it?

Unfortunately, there is no solution yet.

[samee]

Interesting. My system's version of string_fortified.h doesn't have that function, so it's hard for me to debug. If I may ask, what operating system and version are you using? Can you think of any environment variable or macro that can disable the inclusion of this header file? I found a few articles online that suggested that this file can be avoided if you included -D__NO_FORTIFY on the oblivcc command line. Does that work?

If you compile a simple .c file with gcc, does #include <string.h> result in this string_fortified.h file automatically getting included?

[Ayin2333]

I met the same problem in Ubuntu 22, after changing to Ubuntu 20, I executed make and run other tests successfully. The only difference between the two OS when I execute make is the version of gcc, gcc 9.4.0 for Ubuntu 20 but another version for Ubuntu 22. I am not familiar with Ubuntu so I failed to change a different version for gcc just in Ubuntu 22, I am not sure if gcc is the problem.

[GnarlyMshtep]

Encountering the same issue. I tried @Ayin2333 suggestion and reverted back to gcc version 9.5.0 (Ubuntu 9.5.0-1ubuntu1~22.04) but I am still getting the same error.

Any other suggestions?

[samee]

It's not quite the version of gcc that matters, but the version of your standard C libraries. The package name is libc. This Cabs2cil had some errors basically means that the new version of library has some new syntax that CIL wasn't expecting.

Is it still string_fortified.h:104 on which you are seeing the error, or some other header file? If it's a different one, can you paste the offending file contents like in #109 (comment) above?

[Sirixes]

Hi, i have the same error, no fix yet?

[GnarlyMshtep]

Hey @samee, sorry for the late reply -- we managed to execute OblivC by I don't remember exactly how. As far as I can recall, running ubuntu 18.04 and downloading 5 year-old versions of all the dependencies was essentially the solution.

Please let me know if that helps @Sirixes

[Sirixes]

So no solution for newer versions of ubuntu?

[GnarlyMshtep]

@Sirixes as @samee pointed out, the version of the C standard libraries, not that of Ubuntu, is likely the one that matters. Considering the state of today's virtualization technology, it seemed easier to spin up a new container/VM/AWS with old Ubuntu (I used AWS instance) rather than reverting the std libraries. Thus, it is what I recommend you do.

Is that not an option for some reason?