Unsupported llvm type

[rengglian]

I'm trying to use ikos on a bigger project, but it fails due to unsupported llvm type.
the project is a c++ cmake project, everything is set up in a docker container.

root@5588e0201437:/src/BiggerProject# ikos-scan -v make target

leads to following output:

[ 94%] Building CXX object src/CMakeFiles/BiggerProject_1.0.0.0.dir/utility/semantic_version/semantic_version.cpp.o
[.] Running /home/dev/homebrew/opt/llvm@14/bin/clang++ -I/src/BiggerProject/build/configured_files/include -I/src/BiggerProject/src -I/usr/local/include -O3 -Wall -Wextra -std=gnu++17 -MD -MT src/CMakeFiles/BiggerProject_1.0.0.0.dir/utility/semantic_version/semantic_version.cpp.o -MF CMakeFiles/BiggerProject_1.0.0.0.dir/utility/semantic_version/semantic_version.cpp.o.d -o CMakeFiles/BiggerProject_1.0.0.0.dir/utility/semantic_version/semantic_version.cpp.o -c /src/BiggerProject/src/utility/semantic_version/semantic_version.cpp
[.] Running /home/dev/homebrew/opt/llvm@14/bin/clang++ -c -emit-llvm -I/src/BiggerProject/build/configured_files/include -I/src/BiggerProject/src -I/usr/local/include -O3 -Wall -Wextra -std=gnu++17 -MD -MT src/CMakeFiles/BiggerProject_1.0.0.0.dir/utility/semantic_version/semantic_version.cpp.o -MF CMakeFiles/BiggerProject_1.0.0.0.dir/utility/semantic_version/semantic_version.cpp.o.d -Wall -U_FORTIFY_SOURCE -D_FORTIFY_SOURCE=0 -D__IKOS__ -g -O0 -Xclang -disable-O0-optnone /src/BiggerProject/src/utility/semantic_version/semantic_version.cpp -o CMakeFiles/BiggerProject_1.0.0.0.dir/utility/semantic_version/semantic_version.cpp.o.bc
[.] Running /home/dev/homebrew/Cellar/llvm@14/14.0.6/bin/llvm-objcopy --add-section .llvm_bc=/tmp/tmp9xs1e2sg.llvm_bc CMakeFiles/BiggerProject_1.0.0.0.dir/utility/semantic_version/semantic_version.cpp.o
[ 95%] Building CXX object src/CMakeFiles/BiggerProject_1.0.0.0.dir/utility/threading/wait_util/wait_util.cpp.o
[.] Running /home/dev/homebrew/opt/llvm@14/bin/clang++ -I/src/BiggerProject/build/configured_files/include -I/src/BiggerProject/src -I/usr/local/include -O3 -Wall -Wextra -std=gnu++17 -MD -MT src/CMakeFiles/BiggerProject_1.0.0.0.dir/utility/threading/wait_util/wait_util.cpp.o -MF CMakeFiles/BiggerProject_1.0.0.0.dir/utility/threading/wait_util/wait_util.cpp.o.d -o CMakeFiles/BiggerProject_1.0.0.0.dir/utility/threading/wait_util/wait_util.cpp.o -c /src/BiggerProject/src/utility/threading/wait_util/wait_util.cpp
[.] Running /home/dev/homebrew/opt/llvm@14/bin/clang++ -c -emit-llvm -I/src/BiggerProject/build/configured_files/include -I/src/BiggerProject/src -I/usr/local/include -O3 -Wall -Wextra -std=gnu++17 -MD -MT src/CMakeFiles/BiggerProject_1.0.0.0.dir/utility/threading/wait_util/wait_util.cpp.o -MF CMakeFiles/BiggerProject_1.0.0.0.dir/utility/threading/wait_util/wait_util.cpp.o.d -Wall -U_FORTIFY_SOURCE -D_FORTIFY_SOURCE=0 -D__IKOS__ -g -O0 -Xclang -disable-O0-optnone /src/BiggerProject/src/utility/threading/wait_util/wait_util.cpp -o CMakeFiles/BiggerProject_1.0.0.0.dir/utility/threading/wait_util/wait_util.cpp.o.bc
[.] Running /home/dev/homebrew/Cellar/llvm@14/14.0.6/bin/llvm-objcopy --add-section .llvm_bc=/tmp/tmp2h_ponqo.llvm_bc CMakeFiles/BiggerProject_1.0.0.0.dir/utility/threading/wait_util/wait_util.cpp.o
[ 97%] Building CXX object src/CMakeFiles/BiggerProject_1.0.0.0.dir/utility/vector_utils/vector_utils.cpp.o
[.] Running /home/dev/homebrew/opt/llvm@14/bin/clang++ -I/src/BiggerProject/build/configured_files/include -I/src/BiggerProject/src -I/usr/local/include -O3 -Wall -Wextra -std=gnu++17 -MD -MT src/CMakeFiles/BiggerProject_1.0.0.0.dir/utility/vector_utils/vector_utils.cpp.o -MF CMakeFiles/BiggerProject_1.0.0.0.dir/utility/vector_utils/vector_utils.cpp.o.d -o CMakeFiles/BiggerProject_1.0.0.0.dir/utility/vector_utils/vector_utils.cpp.o -c /src/BiggerProject/src/utility/vector_utils/vector_utils.cpp
[.] Running /home/dev/homebrew/opt/llvm@14/bin/clang++ -c -emit-llvm -I/src/BiggerProject/build/configured_files/include -I/src/BiggerProject/src -I/usr/local/include -O3 -Wall -Wextra -std=gnu++17 -MD -MT src/CMakeFiles/BiggerProject_1.0.0.0.dir/utility/vector_utils/vector_utils.cpp.o -MF CMakeFiles/BiggerProject_1.0.0.0.dir/utility/vector_utils/vector_utils.cpp.o.d -Wall -U_FORTIFY_SOURCE -D_FORTIFY_SOURCE=0 -D__IKOS__ -g -O0 -Xclang -disable-O0-optnone /src/BiggerProject/src/utility/vector_utils/vector_utils.cpp -o CMakeFiles/BiggerProject_1.0.0.0.dir/utility/vector_utils/vector_utils.cpp.o.bc
[.] Running /home/dev/homebrew/Cellar/llvm@14/14.0.6/bin/llvm-objcopy --add-section .llvm_bc=/tmp/tmpf54nfzuf.llvm_bc CMakeFiles/BiggerProject_1.0.0.0.dir/utility/vector_utils/vector_utils.cpp.o
[ 98%] Building CXX object src/CMakeFiles/BiggerProject_1.0.0.0.dir/communication/gpio/dummy/gpio_communication/gpio_communication_dummy.cpp.o
[.] Running /home/dev/homebrew/opt/llvm@14/bin/clang++ -I/src/BiggerProject/build/configured_files/include -I/src/BiggerProject/src -I/usr/local/include -O3 -Wall -Wextra -std=gnu++17 -MD -MT src/CMakeFiles/BiggerProject_1.0.0.0.dir/communication/gpio/dummy/gpio_communication/gpio_communication_dummy.cpp.o -MF CMakeFiles/BiggerProject_1.0.0.0.dir/communication/gpio/dummy/gpio_communication/gpio_communication_dummy.cpp.o.d -o CMakeFiles/BiggerProject_1.0.0.0.dir/communication/gpio/dummy/gpio_communication/gpio_communication_dummy.cpp.o -c /src/BiggerProject/src/communication/gpio/dummy/gpio_communication/gpio_communication_dummy.cpp
[.] Running /home/dev/homebrew/opt/llvm@14/bin/clang++ -c -emit-llvm -I/src/BiggerProject/build/configured_files/include -I/src/BiggerProject/src -I/usr/local/include -O3 -Wall -Wextra -std=gnu++17 -MD -MT src/CMakeFiles/BiggerProject_1.0.0.0.dir/communication/gpio/dummy/gpio_communication/gpio_communication_dummy.cpp.o -MF CMakeFiles/BiggerProject_1.0.0.0.dir/communication/gpio/dummy/gpio_communication/gpio_communication_dummy.cpp.o.d -Wall -U_FORTIFY_SOURCE -D_FORTIFY_SOURCE=0 -D__IKOS__ -g -O0 -Xclang -disable-O0-optnone /src/BiggerProject/src/communication/gpio/dummy/gpio_communication/gpio_communication_dummy.cpp -o CMakeFiles/BiggerProject_1.0.0.0.dir/communication/gpio/dummy/gpio_communication/gpio_communication_dummy.cpp.o.bc
[.] Running /home/dev/homebrew/Cellar/llvm@14/14.0.6/bin/llvm-objcopy --add-section .llvm_bc=/tmp/tmpyj2m6xeu.llvm_bc CMakeFiles/BiggerProject_1.0.0.0.dir/communication/gpio/dummy/gpio_communication/gpio_communication_dummy.cpp.o
[100%] Linking CXX executable BiggerProject_1.0.0.0
[.] Running /home/dev/homebrew/opt/llvm@14/bin/clang++ -O3 -Wall -Wextra CMakeFiles/BiggerProject_1.0.0.0.dir/communication/gpio/digital_io/digital_io.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/communication/gpio/factory/gpio_communication_factory.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/communication/hw_communication_interfaces/hw_usb_communication.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/communication/hyperlink/dummy/hyperlink_communication/hyper_link_dummy.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/communication/hyperlink/factory/hyper_link_factory.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/communication/thrift/control_server/control_server.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/communication/thrift/control_service_handler/control_service_handler.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/communication/thrift/data_client_service/data_client_service.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/communication/thrift/gen-cpp/CommonEnums_types.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/communication/thrift/gen-cpp/CommonTypes_types.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/communication/thrift/gen-cpp/ProtocolVersion_constants.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/communication/thrift/gen-cpp/SystemControlMessages_types.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/communication/thrift/gen-cpp/SystemControlService.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/communication/thrift/gen-cpp/SystemDataService.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/communication/thrift/gui_communication.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/communication/usb/usb_device.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/config/config.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/core/energy_error/error_calculation/energy_error_calculation.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/core/eyetracker_service/eye_tracker_service.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/core/main_laser/control/main_laser_control.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/core/main_laser/util/main_laser_util.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/core/scanner_checker_error_detection/scanner_checker_error_detection.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/core/state_machine/states/ablation_state/ablation_state.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/core/state_machine/states/energy_calibration_state/energy_calibration_state.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/core/state_machine/states/error_state/error_state.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/core/state_machine/states/idle_state/idle_state.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/core/state_machine/states/service_state/service_state.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/core/state_machine/substates/ablation_substate/ablation_loop.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/core/state_machine/substates/energy_calibration_substate/firing_loop.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/core/state_machine/substates/idle_substate/idle_loop.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/core/state_machine/substates/keep_warm_substate/keep_warm_loop.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/core/state_machine/substates/service_substate/service_firing_loop.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/core/state_machine/substates/warm_up_substate/warmup_loop.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/core/system_controller_driver.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/core/treatment/treatment_duration/treatment_duration.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/core/treatment/treatment_info/treatment_info.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/core/treatment/treatment_service/treatment_service.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/error_handling/error_handler/error_handler.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/error_handling/error_info/error_info.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/logging/performance_measurement/performance_measurement.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/logging/total_pulse_counter/total_pulse_counter.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/logging/trace_log/trace_logging.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/logging/usb_communication_stats/usb_communication_stats.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/main.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/shared_data/shared_data.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/chiller/chiller.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/chiller/chiller_dummy.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/crystal_heater/crystal_heater.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/crystal_heater/crystal_heater_dummy.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/energy_sensor/energy_sensor.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/energy_sensor/energy_sensor_dummy.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/eyetracker/camera_trigger.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/factory/subsystem_factory.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/laser_controller/laser_controller.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/laser_controller/laser_controller_dummy.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/plume_duct/plume_duct.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/plume_duct/plume_duct_dummy.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/scanner_controller/scanner_controller.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/scanner_controller/scanner_controller_dummy.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/scanner_safety_checker/scanner_safety_checker.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/scanner_safety_checker/scanner_safety_checker_dummy.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/security_chip/security_chip.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/security_chip/security_chip_dummy.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/shutter/shutter.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/shutter/shutter_dummy.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/subsystem_service.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/utility/cpu_affinity/cpu_affinity.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/utility/semantic_version/semantic_version.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/utility/threading/wait_util/wait_util.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/utility/vector_utils/vector_utils.cpp.o CMakeFiles/BiggerProject_1.0.0.0.dir/communication/gpio/dummy/gpio_communication/gpio_communication_dummy.cpp.o -o BiggerProject_1.0.0.0 -Wl,-rpath,/usr/local/lib /usr/local/lib/libboost_thread.so /usr/local/lib/libboost_system.so /usr/local/lib/libboost_filesystem.so /usr/local/lib/libboost_atomic.so /usr/local/lib/libusb-1.0.so /usr/local/lib/libthrift-0.18.1.so /usr/local/lib/libssl.so /usr/local/lib/libcrypto.so -lrt -lpthread
[.] Running /home/dev/homebrew/Cellar/llvm@14/14.0.6/bin/llvm-objdump -s --section=.llvm_bc BiggerProject_1.0.0.0
[.] Running /home/dev/homebrew/Cellar/llvm@14/14.0.6/bin/llvm-link /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/communication/gpio/digital_io/digital_io.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/communication/gpio/factory/gpio_communication_factory.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/communication/hw_communication_interfaces/hw_usb_communication.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/communication/hyperlink/dummy/hyperlink_communication/hyper_link_dummy.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/communication/hyperlink/factory/hyper_link_factory.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/communication/thrift/control_server/control_server.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/communication/thrift/control_service_handler/control_service_handler.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/communication/thrift/data_client_service/data_client_service.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/communication/thrift/gen-cpp/CommonEnums_types.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/communication/thrift/gen-cpp/CommonTypes_types.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/communication/thrift/gen-cpp/ProtocolVersion_constants.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/communication/thrift/gen-cpp/SystemControlMessages_types.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/communication/thrift/gen-cpp/SystemControlService.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/communication/thrift/gen-cpp/SystemDataService.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/communication/thrift/gui_communication.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/communication/usb/usb_device.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/config/config.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/core/energy_error/error_calculation/energy_error_calculation.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/core/eyetracker_service/eye_tracker_service.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/core/main_laser/control/main_laser_control.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/core/main_laser/util/main_laser_util.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/core/scanner_checker_error_detection/scanner_checker_error_detection.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/core/state_machine/states/ablation_state/ablation_state.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/core/state_machine/states/energy_calibration_state/energy_calibration_state.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/core/state_machine/states/error_state/error_state.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/core/state_machine/states/idle_state/idle_state.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/core/state_machine/states/service_state/service_state.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/core/state_machine/substates/ablation_substate/ablation_loop.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/core/state_machine/substates/energy_calibration_substate/firing_loop.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/core/state_machine/substates/idle_substate/idle_loop.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/core/state_machine/substates/keep_warm_substate/keep_warm_loop.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/core/state_machine/substates/service_substate/service_firing_loop.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/core/state_machine/substates/warm_up_substate/warmup_loop.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/core/system_controller_driver.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/core/treatment/treatment_duration/treatment_duration.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/core/treatment/treatment_info/treatment_info.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/core/treatment/treatment_service/treatment_service.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/error_handling/error_handler/error_handler.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/error_handling/error_info/error_info.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/logging/performance_measurement/performance_measurement.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/logging/total_pulse_counter/total_pulse_counter.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/logging/trace_log/trace_logging.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/logging/usb_communication_stats/usb_communication_stats.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/main.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/shared_data/shared_data.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/chiller/chiller.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/chiller/chiller_dummy.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/crystal_heater/crystal_heater.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/crystal_heater/crystal_heater_dummy.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/energy_sensor/energy_sensor.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/energy_sensor/energy_sensor_dummy.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/eyetracker/camera_trigger.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/factory/subsystem_factory.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/laser_controller/laser_controller.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/laser_controller/laser_controller_dummy.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/plume_duct/plume_duct.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/plume_duct/plume_duct_dummy.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/scanner_controller/scanner_controller.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/scanner_controller/scanner_controller_dummy.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/scanner_safety_checker/scanner_safety_checker.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/scanner_safety_checker/scanner_safety_checker_dummy.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/security_chip/security_chip.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/security_chip/security_chip_dummy.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/shutter/shutter.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/shutter/shutter_dummy.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/subsystems/subsystem_service.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/utility/cpu_affinity/cpu_affinity.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/utility/semantic_version/semantic_version.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/utility/threading/wait_util/wait_util.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/utility/vector_utils/vector_utils.cpp.o.bc /src/BiggerProject/build/src/CMakeFiles/BiggerProject_1.0.0.0.dir/communication/gpio/dummy/gpio_communication/gpio_communication_dummy.cpp.o.bc -o BiggerProject_1.0.0.0.bc
[.] Received {'exe_path': '/src/BiggerProject/build/src/BiggerProject_1.0.0.0', 'bc_path': '/src/BiggerProject/build/src/BiggerProject_1.0.0.0.bc'}
make[3]: Leaving directory '/src/BiggerProject/build'
[100%] Built target BiggerProject_1.0.0.0
make[2]: Leaving directory '/src/BiggerProject/build'
make[1]: Leaving directory '/src/BiggerProject/build'
Analyze build/CMakeFiles/3.30.4/CompilerIdC/a.out? [Y/n] Y
[*] Running ikos build/CMakeFiles/3.30.4/CompilerIdC/a.out.bc -o build/CMakeFiles/3.30.4/CompilerIdC/a.out.db
[.] Running /home/dev/homebrew/Cellar/ikos/3.4_1/libexec/bin/python /home/dev/homebrew/Cellar/ikos/3.4_1/bin/ikos build/CMakeFiles/3.30.4/CompilerIdC/a.out.bc -o build/CMakeFiles/3.30.4/CompilerIdC/a.out.db --color=auto --log=debug
[*] Running ikos preprocessor
[.] Running /home/dev/homebrew/Cellar/ikos/3.4_1/bin/ikos-pp -opt=basic -entry-points=main build/CMakeFiles/3.30.4/CompilerIdC/a.out.bc -o /tmp/ikos-1i5nkhil/a.out.pp.bc
[*] Running ikos analyzer
[.] Running /home/dev/homebrew/Cellar/ikos/3.4_1/bin/ikos-analyzer -a=sio,sound,nullity,boa,uva,dca,prover,dbg,dbz,pcmp,shc,fca,dfa -d=interval -entry-points=main -globals-init=skip-big-arrays -proc=inter -j=1 -widening-strategy=widen -widening-delay=1 -widening-period=1 -narrowing-strategy=narrow -allow-dbg-mismatch -display-checks=no -display-inv=no -log=debug -progress=auto /tmp/ikos-1i5nkhil/a.out.pp.bc -o build/CMakeFiles/3.30.4/CompilerIdC/a.out.db
[.] Creating output database 'build/CMakeFiles/3.30.4/CompilerIdC/a.out.db'
[.] Loading LLVM bitcode
[.] Verifying integrity of LLVM bitcode
[.] Checking for debug information
[*] Translating LLVM bitcode to AR
[.] Running type verifier on AR
[.] Running simplify-cfg pass on AR
[.] Running simplify-upcast-comparison pass on AR
[*] Running liveness analysis
[*] Running widening hint analysis
[*] Running interprocedural value analysis
[.] Computing global variable static initialization
[*] Analyzing entry point 'main'
[*] Checking properties for entry point 'main'

# Time stats:
ikos-analyzer: 0.089 sec
ikos-pp      : 0.012 sec

# Summary:
Total number of checks                : 36
Total number of unreachable checks    : 0
Total number of safe checks           : 30
Total number of definite unsafe checks: 0
Total number of warnings              : 6

The program is potentially UNSAFE

# Results
build/CMakeFiles/3.30.4/CompilerIdC/CMakeCCompilerId.c: In function 'main':
build/CMakeFiles/3.30.4/CompilerIdC/CMakeCCompilerId.c:881:14: warning: possible buffer overflow, accessing index between 0 and 2147483647 of constant "INFO:compiler[Clang]" of 21 elements
  require += info_compiler[argc];
             ^
build/CMakeFiles/3.30.4/CompilerIdC/CMakeCCompilerId.c: In function 'main':
build/CMakeFiles/3.30.4/CompilerIdC/CMakeCCompilerId.c:882:14: warning: possible buffer overflow, accessing index between 0 and 2147483647 of constant "INFO:platform[Linux]" of 21 elements
  require += info_platform[argc];
             ^
build/CMakeFiles/3.30.4/CompilerIdC/CMakeCCompilerId.c: In function 'main':
build/CMakeFiles/3.30.4/CompilerIdC/CMakeCCompilerId.c:883:14: warning: possible buffer overflow, accessing index between 0 and 2147483647 of constant "INFO:arch[]" of 12 elements
  require += info_arch[argc];
             ^
build/CMakeFiles/3.30.4/CompilerIdC/CMakeCCompilerId.c: In function 'main':
build/CMakeFiles/3.30.4/CompilerIdC/CMakeCCompilerId.c:885:14: warning: possible buffer overflow, accessing index between 0 and 2147483647 of global variable 'info_version' of 50 elements
  require += info_version[argc];
             ^
build/CMakeFiles/3.30.4/CompilerIdC/CMakeCCompilerId.c: In function 'main':
build/CMakeFiles/3.30.4/CompilerIdC/CMakeCCompilerId.c:899:14: warning: possible buffer overflow, accessing index between 0 and 2147483647 of constant "INFO:standard_default[17]" of 26 elements
  require += info_language_standard_default[argc];
             ^
build/CMakeFiles/3.30.4/CompilerIdC/CMakeCCompilerId.c: In function 'main':
build/CMakeFiles/3.30.4/CompilerIdC/CMakeCCompilerId.c:900:14: warning: possible buffer overflow, accessing index between 0 and 2147483647 of constant "INFO:extensions_default[ON]" of 28 elements
  require += info_language_extensions_default[argc];
             ^
Analyze build/CMakeFiles/3.30.4/CompilerIdCXX/a.out? [Y/n] Y
[*] Running ikos build/CMakeFiles/3.30.4/CompilerIdCXX/a.out.bc -o build/CMakeFiles/3.30.4/CompilerIdCXX/a.out.db
[.] Running /home/dev/homebrew/Cellar/ikos/3.4_1/libexec/bin/python /home/dev/homebrew/Cellar/ikos/3.4_1/bin/ikos build/CMakeFiles/3.30.4/CompilerIdCXX/a.out.bc -o build/CMakeFiles/3.30.4/CompilerIdCXX/a.out.db --color=auto --log=debug
[*] Running ikos preprocessor
[.] Running /home/dev/homebrew/Cellar/ikos/3.4_1/bin/ikos-pp -opt=basic -entry-points=main build/CMakeFiles/3.30.4/CompilerIdCXX/a.out.bc -o /tmp/ikos-go4jsxgu/a.out.pp.bc
[*] Running ikos analyzer
[.] Running /home/dev/homebrew/Cellar/ikos/3.4_1/bin/ikos-analyzer -a=pcmp,dbg,boa,dfa,dca,sound,shc,nullity,fca,dbz,uva,sio,prover -d=interval -entry-points=main -globals-init=skip-big-arrays -proc=inter -j=1 -widening-strategy=widen -widening-delay=1 -widening-period=1 -narrowing-strategy=narrow -allow-dbg-mismatch -display-checks=no -display-inv=no -log=debug -progress=auto /tmp/ikos-go4jsxgu/a.out.pp.bc -o build/CMakeFiles/3.30.4/CompilerIdCXX/a.out.db
[.] Creating output database 'build/CMakeFiles/3.30.4/CompilerIdCXX/a.out.db'
[.] Loading LLVM bitcode
[.] Verifying integrity of LLVM bitcode
[.] Checking for debug information
[*] Translating LLVM bitcode to AR
[.] Running type verifier on AR
[.] Running simplify-cfg pass on AR
[.] Running simplify-upcast-comparison pass on AR
[*] Running liveness analysis
[*] Running widening hint analysis
[*] Running interprocedural value analysis
[.] Computing global variable static initialization
[*] Analyzing entry point 'main'
[*] Checking properties for entry point 'main'

# Time stats:
ikos-analyzer: 0.091 sec
ikos-pp      : 0.011 sec

# Summary:
Total number of checks                : 36
Total number of unreachable checks    : 0
Total number of safe checks           : 30
Total number of definite unsafe checks: 0
Total number of warnings              : 6

The program is potentially UNSAFE

# Results
build/CMakeFiles/3.30.4/CompilerIdCXX/CMakeCXXCompilerId.cpp: In function 'main':
build/CMakeFiles/3.30.4/CompilerIdCXX/CMakeCXXCompilerId.cpp:897:14: warning: possible buffer overflow, accessing index between 0 and 2147483647 of constant "INFO:compiler[Clang]" of 21 elements
  require += info_compiler[argc];
             ^
build/CMakeFiles/3.30.4/CompilerIdCXX/CMakeCXXCompilerId.cpp: In function 'main':
build/CMakeFiles/3.30.4/CompilerIdCXX/CMakeCXXCompilerId.cpp:898:14: warning: possible buffer overflow, accessing index between 0 and 2147483647 of constant "INFO:platform[Linux]" of 21 elements
  require += info_platform[argc];
             ^
build/CMakeFiles/3.30.4/CompilerIdCXX/CMakeCXXCompilerId.cpp: In function 'main':
build/CMakeFiles/3.30.4/CompilerIdCXX/CMakeCXXCompilerId.cpp:899:14: warning: possible buffer overflow, accessing index between 0 and 2147483647 of constant "INFO:arch[]" of 12 elements
  require += info_arch[argc];
             ^
build/CMakeFiles/3.30.4/CompilerIdCXX/CMakeCXXCompilerId.cpp: In function 'main':
build/CMakeFiles/3.30.4/CompilerIdCXX/CMakeCXXCompilerId.cpp:901:14: warning: possible buffer overflow, accessing index between 0 and 2147483647 of global variable 'info_version' of 50 elements
  require += info_version[argc];
             ^
build/CMakeFiles/3.30.4/CompilerIdCXX/CMakeCXXCompilerId.cpp: In function 'main':
build/CMakeFiles/3.30.4/CompilerIdCXX/CMakeCXXCompilerId.cpp:915:14: warning: possible buffer overflow, accessing index between 0 and 2147483647 of constant "INFO:standard_default[14]" of 26 elements
  require += info_language_standard_default[argc];
             ^
build/CMakeFiles/3.30.4/CompilerIdCXX/CMakeCXXCompilerId.cpp: In function 'main':
build/CMakeFiles/3.30.4/CompilerIdCXX/CMakeCXXCompilerId.cpp:916:14: warning: possible buffer overflow, accessing index between 0 and 2147483647 of constant "INFO:extensions_default[ON]" of 28 elements
  require += info_language_extensions_default[argc];
             ^
Analyze build/src/BiggerProject_1.0.0.0? [Y/n] Y
[*] Running ikos build/src/BiggerProject_1.0.0.0.bc -o build/src/BiggerProject_1.0.0.0.db
[.] Running /home/dev/homebrew/Cellar/ikos/3.4_1/libexec/bin/python /home/dev/homebrew/Cellar/ikos/3.4_1/bin/ikos build/src/BiggerProject_1.0.0.0.bc -o build/src/BiggerProject_1.0.0.0.db --color=auto --log=debug
[*] Running ikos preprocessor
[.] Running /home/dev/homebrew/Cellar/ikos/3.4_1/bin/ikos-pp -opt=basic -entry-points=main build/src/BiggerProject_1.0.0.0.bc -o /tmp/ikos-sv1mozyo/BiggerProject_1.0.0.0.pp.bc
[*] Running ikos analyzer
[.] Running /home/dev/homebrew/Cellar/ikos/3.4_1/bin/ikos-analyzer -a=boa,dca,dbz,pcmp,sio,fca,nullity,shc,prover,sound,uva,dbg,dfa -d=interval -entry-points=main -globals-init=skip-big-arrays -proc=inter -j=1 -widening-strategy=widen -widening-delay=1 -widening-period=1 -narrowing-strategy=narrow -allow-dbg-mismatch -display-checks=no -display-inv=no -log=debug -progress=auto /tmp/ikos-sv1mozyo/BiggerProject_1.0.0.0.pp.bc -o build/src/BiggerProject_1.0.0.0.db
[.] Creating output database 'build/src/BiggerProject_1.0.0.0.db'
[.] Loading LLVM bitcode
[.] Verifying integrity of LLVM bitcode
[.] Checking for debug information
[*] Translating LLVM bitcode to AR
ikos-analyzer: /tmp/ikos-sv1mozyo/BiggerProject_1.0.0.0.pp.bc: error: unsupported llvm type
ikos: error: a run-time error occurred

it is building fine but still fails at the end.

running the simple single file example works.

ikos-scan --version
ikos 3.4
Copyright (c) 2011-2023 United States Government as represented by the
Administrator of the National Aeronautics and Space Administration.
All Rights Reserved.

[ivanperez-keera]

Thanks, @rengglian .

That's gotta come from one of these:

analyzer/src/database/table/operands.cpp:407:    throw FrontendError("unsupported llvm type");
frontend/llvm/src/import/type.cpp:122:    throw ImportError("unsupported llvm type");
frontend/llvm/src/import/type.cpp:1535:    throw ImportError("unsupported llvm type");

I'd have to figure out specifically which type it refers to and whether that can be supported.