Stack overflow in ocp-lint

[vprevosto]

When running ocp-lint on Frama-C's codebase (https://github.com/Frama-C/Frama-C-snapshot), the tool reports that some files can't be linked, and using --perror indicates a Stack_overflow exception for them, namely:

• src/kernel_services/ast_queries/cil.ml
• src/plugins/gui/filetree.ml
• src/plugins/value/gui_files/gui_callstacks_manager.ml

I haven't seen any clear option that could produce a backtrace or more generally help pinpointing the issue, but I'd be happy to use it if it exists.