KLEEF: Symbolic Execution Engine (Competition Contribution). - Aleksandr Misonizhnik; Sergey Morozov 004; Yurii Kostyukov; Vladislav Kalugin; Aleksei Babushkin; Dmitry Mordvinov; Dmitry Ivanov (FASE, 2024)