Frama-Clang tool saves many more files in the PKM than necessary.
When I run Frama-Clang for a Project (for example OpenCV), it seems to save mucho more files in the PKM than neccesary. After parsing the project with Frama-Clang, I run a GET request to http://localhost:8080/code/cpp/sourcecode/opencv
and I'm getting all these scripts (just a fraction of them, watch at the end scripts at /usr):
This change is negatively affecting code-summarization and variable-misuse tools as they do not need these files.
Thanks!