search

kaiwan / cquats

CQuATS is a management system that aims to collect heterogeneous code safety and security analysers/tools (primarily for 'C' code), bringing them together into a coherent, easy-to-use framework.
GNU General Public License v2.0
1 stars 1 forks source link

spatch fails on Fedora #1

Open kaiwan opened 6 years ago

kaiwan commented 6 years ago

The Coccinelle tool internally uses 'spatch'. spatch seems to fail on Fedora - tested on FC 26 - with the foll error:

"init_defs_builtins: /usr/lib64/coccinelle/standard.h Py.find_library: unable to find the Python library"

-above message repeats..

mikulcak commented 4 years ago

I ran into the same problem today and was able to fix it by switching to python2.7 and installing libpython2.7-dev (that's the package name on my Ubuntu system, anway). For some reason, the headers of the python library are needed by coccinelle/spatch.

kaiwan commented 4 years ago

I ran into the same problem today and was able to fix it by switching to python2.7 and installing libpython2.7-dev (that's the package name on my Ubuntu system, anway). For some reason, the headers of the python library are needed by coccinelle/spatch.

Thanks @mikulcak ! I'll check when i get some time...

kaiwan commented 4 years ago

@mikulcak : just curious; what do you use the Cquats project for? is it useful to you? pl provide any feedback, it will help, thanks v much!

mikulcak commented 4 years ago

To be honest, I only stumbled upon that problem and your issue while trying to get coccinelle to run from source, because I wanted to run some tests on the Linux kernel as part of a safety assessment. Your framework looks really interesting, though!