./Ultimate.py --spec /mnt/goblint-svcomp/goblint-bench/the-continuous-race/properties/no-data-race.prp --file /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/ProcDump-for-Linux/main.c --full-output --architecture 64bit


--------------------------------------------------------------------------------


Checking for data races
Using default analysis
Version 2329fc70
Calling Ultimate with: /usr/lib/jvm/java-11-openjdk-amd64/bin/java -Dosgi.configuration.area=/mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/data/config -Xmx15G -Xms4m -jar /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/data -tc /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/config/AutomizerReach.xml -i /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/ProcDump-for-Linux/main.c -s /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/config/svcomp-DataRace-64bit-Automizer_Default.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux --witnessprinter.witness.filename witness.graphml --witnessprinter.write.witness.besides.input.file false --witnessprinter.graph.data.specification CHECK( init(main()), LTL(G ! data-race) )

 --witnessprinter.graph.data.producer Automizer --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash 45e22d9608c069096c80e2f586d63201ab5bdd55a17da45014621a1af17db4d3
--- Real Ultimate output ---
This is Ultimate 0.2.2-dev-2329fc7
[2024-03-18 07:44:14,972 INFO  L177        SettingsManager]: Resetting all preferences to default values...
[2024-03-18 07:44:14,974 INFO  L181        SettingsManager]: Resetting UltimateCore preferences to default values
[2024-03-18 07:44:14,999 INFO  L184        SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring...
[2024-03-18 07:44:15,000 INFO  L181        SettingsManager]: Resetting Boogie Preprocessor preferences to default values
[2024-03-18 07:44:15,002 INFO  L181        SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values
[2024-03-18 07:44:15,004 INFO  L181        SettingsManager]: Resetting Abstract Interpretation preferences to default values
[2024-03-18 07:44:15,005 INFO  L181        SettingsManager]: Resetting LassoRanker preferences to default values
[2024-03-18 07:44:15,006 INFO  L181        SettingsManager]: Resetting Reaching Definitions preferences to default values
[2024-03-18 07:44:15,007 INFO  L181        SettingsManager]: Resetting SyntaxChecker preferences to default values
[2024-03-18 07:44:15,007 INFO  L181        SettingsManager]: Resetting Sifa preferences to default values
[2024-03-18 07:44:15,008 INFO  L184        SettingsManager]: Büchi Program Product provides no preferences, ignoring...
[2024-03-18 07:44:15,009 INFO  L181        SettingsManager]: Resetting LTL2Aut preferences to default values
[2024-03-18 07:44:15,009 INFO  L181        SettingsManager]: Resetting PEA to Boogie preferences to default values
[2024-03-18 07:44:15,010 INFO  L181        SettingsManager]: Resetting BlockEncodingV2 preferences to default values
[2024-03-18 07:44:15,011 INFO  L181        SettingsManager]: Resetting ChcToBoogie preferences to default values
[2024-03-18 07:44:15,011 INFO  L181        SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values
[2024-03-18 07:44:15,012 INFO  L181        SettingsManager]: Resetting BuchiAutomizer preferences to default values
[2024-03-18 07:44:15,013 INFO  L181        SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values
[2024-03-18 07:44:15,015 INFO  L181        SettingsManager]: Resetting CodeCheck preferences to default values
[2024-03-18 07:44:15,016 INFO  L181        SettingsManager]: Resetting InvariantSynthesis preferences to default values
[2024-03-18 07:44:15,017 INFO  L181        SettingsManager]: Resetting RCFGBuilder preferences to default values
[2024-03-18 07:44:15,018 INFO  L181        SettingsManager]: Resetting Referee preferences to default values
[2024-03-18 07:44:15,018 INFO  L181        SettingsManager]: Resetting TraceAbstraction preferences to default values
[2024-03-18 07:44:15,021 INFO  L184        SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring...
[2024-03-18 07:44:15,021 INFO  L184        SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring...
[2024-03-18 07:44:15,021 INFO  L181        SettingsManager]: Resetting TreeAutomizer preferences to default values
[2024-03-18 07:44:15,022 INFO  L181        SettingsManager]: Resetting IcfgToChc preferences to default values
[2024-03-18 07:44:15,022 INFO  L181        SettingsManager]: Resetting IcfgTransformer preferences to default values
[2024-03-18 07:44:15,023 INFO  L184        SettingsManager]: ReqToTest provides no preferences, ignoring...
[2024-03-18 07:44:15,023 INFO  L181        SettingsManager]: Resetting Boogie Printer preferences to default values
[2024-03-18 07:44:15,023 INFO  L181        SettingsManager]: Resetting ChcSmtPrinter preferences to default values
[2024-03-18 07:44:15,024 INFO  L181        SettingsManager]: Resetting ReqPrinter preferences to default values
[2024-03-18 07:44:15,024 INFO  L181        SettingsManager]: Resetting Witness Printer preferences to default values
[2024-03-18 07:44:15,025 INFO  L184        SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring...
[2024-03-18 07:44:15,025 INFO  L181        SettingsManager]: Resetting CDTParser preferences to default values
[2024-03-18 07:44:15,026 INFO  L184        SettingsManager]: AutomataScriptParser provides no preferences, ignoring...
[2024-03-18 07:44:15,026 INFO  L184        SettingsManager]: ReqParser provides no preferences, ignoring...
[2024-03-18 07:44:15,026 INFO  L181        SettingsManager]: Resetting SmtParser preferences to default values
[2024-03-18 07:44:15,027 INFO  L181        SettingsManager]: Resetting Witness Parser preferences to default values
[2024-03-18 07:44:15,027 INFO  L188        SettingsManager]: Finished resetting all preferences to default values...
[2024-03-18 07:44:15,028 INFO  L101        SettingsManager]: Beginning loading settings from /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/config/svcomp-DataRace-64bit-Automizer_Default.epf
[2024-03-18 07:44:15,045 INFO  L113        SettingsManager]: Loading preferences was successful
[2024-03-18 07:44:15,045 INFO  L115        SettingsManager]: Preferences different from defaults after loading the file:
[2024-03-18 07:44:15,045 INFO  L136        SettingsManager]: Preferences of UltimateCore differ from their defaults:
[2024-03-18 07:44:15,045 INFO  L138        SettingsManager]:  * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR;
[2024-03-18 07:44:15,046 INFO  L136        SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults:
[2024-03-18 07:44:15,046 INFO  L138        SettingsManager]:  * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS
[2024-03-18 07:44:15,046 INFO  L136        SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults:
[2024-03-18 07:44:15,047 INFO  L138        SettingsManager]:  * Create parallel compositions if possible=false
[2024-03-18 07:44:15,047 INFO  L138        SettingsManager]:  * Use SBE=true
[2024-03-18 07:44:15,047 INFO  L136        SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults:
[2024-03-18 07:44:15,047 INFO  L138        SettingsManager]:  * Check unreachability of error function in SV-COMP mode=false
[2024-03-18 07:44:15,047 INFO  L138        SettingsManager]:  * Overapproximate operations on floating types=true
[2024-03-18 07:44:15,047 INFO  L138        SettingsManager]:  * Check division by zero=IGNORE
[2024-03-18 07:44:15,047 INFO  L138        SettingsManager]:  * Pointer to allocated memory at dereference=IGNORE
[2024-03-18 07:44:15,047 INFO  L138        SettingsManager]:  * If two pointers are subtracted or compared they have the same base address=IGNORE
[2024-03-18 07:44:15,048 INFO  L138        SettingsManager]:  * Check array bounds for arrays that are off heap=IGNORE
[2024-03-18 07:44:15,048 INFO  L138        SettingsManager]:  * Check absence of data races in concurrent programs=true
[2024-03-18 07:44:15,048 INFO  L138        SettingsManager]:  * Check if freed pointer was valid=false
[2024-03-18 07:44:15,048 INFO  L138        SettingsManager]:  * Use constant arrays=true
[2024-03-18 07:44:15,048 INFO  L138        SettingsManager]:  * Pointer base address is valid at dereference=IGNORE
[2024-03-18 07:44:15,048 INFO  L136        SettingsManager]: Preferences of RCFGBuilder differ from their defaults:
[2024-03-18 07:44:15,048 INFO  L138        SettingsManager]:  * Size of a code block=SequenceOfStatements
[2024-03-18 07:44:15,048 INFO  L138        SettingsManager]:  * SMT solver=External_DefaultMode
[2024-03-18 07:44:15,048 INFO  L138        SettingsManager]:  * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000
[2024-03-18 07:44:15,049 INFO  L136        SettingsManager]: Preferences of TraceAbstraction differ from their defaults:
[2024-03-18 07:44:15,049 INFO  L138        SettingsManager]:  * Compute Interpolants along a Counterexample=FPandBP
[2024-03-18 07:44:15,049 INFO  L138        SettingsManager]:  * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles
[2024-03-18 07:44:15,049 INFO  L138        SettingsManager]:  * Trace refinement strategy=CAMEL
[2024-03-18 07:44:15,049 INFO  L138        SettingsManager]:  * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in
[2024-03-18 07:44:15,049 INFO  L138        SettingsManager]:  * Automaton type used in concurrency analysis=PETRI_NET
[2024-03-18 07:44:15,049 INFO  L138        SettingsManager]:  * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true
[2024-03-18 07:44:15,050 INFO  L138        SettingsManager]:  * Order on configurations for Petri net unfoldings=DBO
[2024-03-18 07:44:15,050 INFO  L138        SettingsManager]:  * SMT solver=External_ModelsAndUnsatCoreMode
[2024-03-18 07:44:15,050 INFO  L138        SettingsManager]:  * Independence relation used for large block encoding in concurrent analysis=SYNTACTIC
[2024-03-18 07:44:15,050 INFO  L138        SettingsManager]:  * Looper check in Petri net analysis=SEMANTIC
WARNING: An illegal reflective access operation has occurred
WARNING: Illegal reflective access by com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 (file:/mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/plugins/com.sun.xml.bind_2.2.0.v201505121915.jar) to method java.lang.ClassLoader.defineClass(java.lang.String,byte[],int,int)
WARNING: Please consider reporting this to the maintainers of com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1
WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations
WARNING: All illegal access operations will be denied in a future release
Applying setting for plugin de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: Entry function -> main
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness directory -> /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness filename -> witness.graphml
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Write witness besides input file -> false
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data specification -> CHECK( init(main()), LTL(G ! data-race) )


Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data producer -> Automizer
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data architecture -> 64bit
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data programhash -> 45e22d9608c069096c80e2f586d63201ab5bdd55a17da45014621a1af17db4d3
[2024-03-18 07:44:15,237 INFO  L75    nceAwareModelManager]: Repository-Root is: /tmp
[2024-03-18 07:44:15,262 INFO  L261   ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized
[2024-03-18 07:44:15,265 INFO  L217   ainManager$Toolchain]: [Toolchain 1]: Toolchain selected.
[2024-03-18 07:44:15,266 INFO  L271        PluginConnector]: Initializing CDTParser...
[2024-03-18 07:44:15,266 INFO  L275        PluginConnector]: CDTParser initialized
[2024-03-18 07:44:15,267 INFO  L432   ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/ProcDump-for-Linux/main.c
[2024-03-18 07:44:16,271 INFO  L500              CDTParser]: Created temporary CDT project at NULL
[2024-03-18 07:44:16,594 INFO  L351              CDTParser]: Found 1 translation units.
[2024-03-18 07:44:16,594 INFO  L172              CDTParser]: Scanning /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/ProcDump-for-Linux/main.c
[2024-03-18 07:44:16,611 INFO  L394              CDTParser]: About to delete temporary CDT project at /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/data/d13f5ab71/6070f2e1c0e94180bd14a167f5a92ce0/FLAG1559697cc
[2024-03-18 07:44:16,891 INFO  L402              CDTParser]: Successfully deleted /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/data/d13f5ab71/6070f2e1c0e94180bd14a167f5a92ce0
[2024-03-18 07:44:16,894 INFO  L299   ainManager$Toolchain]: ####################### [Toolchain 1] #######################
[2024-03-18 07:44:16,895 INFO  L131        ToolchainWalker]: Walking toolchain with 6 elements.
[2024-03-18 07:44:16,896 INFO  L113        PluginConnector]: ------------------------CACSL2BoogieTranslator----------------------------
[2024-03-18 07:44:16,896 INFO  L271        PluginConnector]: Initializing CACSL2BoogieTranslator...
[2024-03-18 07:44:16,899 INFO  L275        PluginConnector]: CACSL2BoogieTranslator initialized
[2024-03-18 07:44:16,899 INFO  L185        PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 18.03 07:44:16" (1/1) ...
[2024-03-18 07:44:16,900 INFO  L205        PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@4f30c781 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 18.03 07:44:16, skipping insertion in model container
[2024-03-18 07:44:16,900 INFO  L185        PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 18.03 07:44:16" (1/1) ...
[2024-03-18 07:44:16,905 INFO  L145         MainTranslator]: Starting translation in SV-COMP mode 
[2024-03-18 07:44:16,962 INFO  L178         MainTranslator]: Built tables and reachable declarations
[2024-03-18 07:44:17,162 WARN  L611        FunctionHandler]: implicit declaration of function __builtin_va_copy
[2024-03-18 07:44:17,164 WARN  L623        FunctionHandler]: Unknown extern function time
[2024-03-18 07:44:17,165 WARN  L623        FunctionHandler]: Unknown extern function localtime
[2024-03-18 07:44:17,165 WARN  L623        FunctionHandler]: Unknown extern function strftime
[2024-03-18 07:44:17,171 WARN  L623        FunctionHandler]: Unknown extern function vsnprintf
[2024-03-18 07:44:17,174 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-03-18 07:44:17,175 WARN  L623        FunctionHandler]: Unknown extern function vsprintf
[2024-03-18 07:44:17,175 WARN  L623        FunctionHandler]: Unknown extern function puts
[2024-03-18 07:44:17,176 WARN  L623        FunctionHandler]: Unknown extern function syslog
[2024-03-18 07:44:17,217 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-03-18 07:44:17,218 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-03-18 07:44:17,295 WARN  L623        FunctionHandler]: Unknown extern function sigwait
[2024-03-18 07:44:17,297 WARN  L623        FunctionHandler]: Unknown extern function kill
[2024-03-18 07:44:17,300 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-03-18 07:44:17,300 WARN  L623        FunctionHandler]: Unknown extern function pthread_cancel
[2024-03-18 07:44:17,302 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-03-18 07:44:17,303 WARN  L623        FunctionHandler]: Unknown extern function openlog
[2024-03-18 07:44:17,305 WARN  L623        FunctionHandler]: Unknown extern function closelog
[2024-03-18 07:44:17,306 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2024-03-18 07:44:17,307 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2024-03-18 07:44:17,307 WARN  L623        FunctionHandler]: Unknown extern function sysinfo
[2024-03-18 07:44:17,312 WARN  L623        FunctionHandler]: Unknown extern function sem_init
[2024-03-18 07:44:17,322 WARN  L623        FunctionHandler]: Unknown extern function sem_destroy
[2024-03-18 07:44:17,339 WARN  L623        FunctionHandler]: Unknown extern function getopt_long
[2024-03-18 07:44:17,363 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:17,364 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:17,364 WARN  L623        FunctionHandler]: Unknown extern function stat
[2024-03-18 07:44:17,368 WARN  L623        FunctionHandler]: Unknown extern function dirname
[2024-03-18 07:44:17,368 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:17,369 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:17,369 WARN  L623        FunctionHandler]: Unknown extern function __xpg_basename
[2024-03-18 07:44:17,369 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:17,370 WARN  L623        FunctionHandler]: Unknown extern function stat
[2024-03-18 07:44:17,374 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:17,386 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-03-18 07:44:17,387 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-03-18 07:44:17,388 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-03-18 07:44:17,392 WARN  L623        FunctionHandler]: Unknown extern function scandir
[2024-03-18 07:44:17,398 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-03-18 07:44:17,399 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-03-18 07:44:17,399 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-03-18 07:44:17,400 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-03-18 07:44:17,401 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-03-18 07:44:17,402 WARN  L623        FunctionHandler]: Unknown extern function strrchr
[2024-03-18 07:44:17,403 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:17,403 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:17,406 WARN  L623        FunctionHandler]: Unknown extern function sigemptyset
[2024-03-18 07:44:17,406 WARN  L623        FunctionHandler]: Unknown extern function sigaddset
[2024-03-18 07:44:17,407 WARN  L623        FunctionHandler]: Unknown extern function sigaddset
[2024-03-18 07:44:17,408 WARN  L623        FunctionHandler]: Unknown extern function pthread_sigmask
[2024-03-18 07:44:17,445 WARN  L623        FunctionHandler]: Unknown extern function pthread_cancel
[2024-03-18 07:44:17,458 WARN  L623        FunctionHandler]: Unknown extern function kill
[2024-03-18 07:44:17,460 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2024-03-18 07:44:17,461 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2024-03-18 07:44:17,462 WARN  L623        FunctionHandler]: Unknown extern function uname
[2024-03-18 07:44:17,463 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-03-18 07:44:17,463 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-03-18 07:44:17,464 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-03-18 07:44:17,464 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-03-18 07:44:17,475 WARN  L623        FunctionHandler]: Unknown extern function clock_gettime
[2024-03-18 07:44:17,478 WARN  L623        FunctionHandler]: Unknown extern function pthread_cond_timedwait
[2024-03-18 07:44:17,480 WARN  L623        FunctionHandler]: Unknown extern function sem_wait
[2024-03-18 07:44:17,480 WARN  L623        FunctionHandler]: Unknown extern function sem_timedwait
[2024-03-18 07:44:17,493 WARN  L623        FunctionHandler]: Unknown extern function clock_gettime
[2024-03-18 07:44:17,499 WARN  L623        FunctionHandler]: Unknown extern function pthread_cond_timedwait
[2024-03-18 07:44:17,500 WARN  L623        FunctionHandler]: Unknown extern function pthread_detach
[2024-03-18 07:44:17,511 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-03-18 07:44:17,512 WARN  L623        FunctionHandler]: Unknown extern function opendir
[2024-03-18 07:44:17,512 WARN  L623        FunctionHandler]: Unknown extern function readdir
[2024-03-18 07:44:17,513 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2024-03-18 07:44:17,514 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-03-18 07:44:17,514 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-03-18 07:44:17,515 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-03-18 07:44:17,515 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-03-18 07:44:17,516 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-03-18 07:44:17,516 WARN  L623        FunctionHandler]: Unknown extern function strrchr
[2024-03-18 07:44:17,517 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,517 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,518 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:17,518 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,519 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:17,519 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,520 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:17,520 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,521 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:17,522 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,522 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:17,523 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,524 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,524 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,525 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,525 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,526 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,526 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,527 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,527 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,528 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,528 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,529 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,530 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,530 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,531 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,531 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,532 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,533 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,533 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,534 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:17,534 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,535 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:17,535 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,536 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:17,536 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,537 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:17,537 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,538 WARN  L623        FunctionHandler]: Unknown extern function strtoull
[2024-03-18 07:44:17,538 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,539 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,539 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,540 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:17,540 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,541 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,541 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,542 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,542 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,544 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,544 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,545 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,545 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,546 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,546 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,547 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,547 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,548 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,548 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,549 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,549 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,550 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,550 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,551 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,551 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,552 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,553 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,554 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,554 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,555 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,555 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,556 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:17,556 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,557 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:17,557 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,558 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,558 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,559 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,559 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,560 WARN  L623        FunctionHandler]: Unknown extern function strtoull
[2024-03-18 07:44:17,561 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,561 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,562 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,562 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:17,563 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,563 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,564 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,564 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,565 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,565 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,566 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,566 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,567 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,567 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,568 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,568 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,568 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,569 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,569 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,570 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:17,577 WARN  L623        FunctionHandler]: Unknown extern function geteuid
[2024-03-18 07:44:17,588 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2024-03-18 07:44:17,601 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-03-18 07:44:17,602 WARN  L623        FunctionHandler]: Unknown extern function waitpid
[2024-03-18 07:44:17,603 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-03-18 07:44:17,603 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-03-18 07:44:17,604 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-03-18 07:44:17,604 WARN  L623        FunctionHandler]: Unknown extern function kill
[2024-03-18 07:44:17,605 WARN  L623        FunctionHandler]: Unknown extern function kill
[2024-03-18 07:44:17,605 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-03-18 07:44:17,606 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-03-18 07:44:17,641 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-03-18 07:44:17,647 WARN  L623        FunctionHandler]: Unknown extern function sysinfo
[2024-03-18 07:44:17,679 WARN  L623        FunctionHandler]: Unknown extern function strtok
[2024-03-18 07:44:17,680 WARN  L623        FunctionHandler]: Unknown extern function strtok
[2024-03-18 07:44:17,682 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-03-18 07:44:17,682 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-03-18 07:44:17,683 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-03-18 07:44:17,683 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-03-18 07:44:17,683 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2024-03-18 07:44:17,684 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-03-18 07:44:17,685 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-03-18 07:44:17,685 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-03-18 07:44:17,687 WARN  L623        FunctionHandler]: Unknown extern function pthread_setcanceltype
[2024-03-18 07:44:17,688 WARN  L623        FunctionHandler]: Unknown extern function sem_post
[2024-03-18 07:44:17,689 WARN  L623        FunctionHandler]: Unknown extern function pthread_setcanceltype
[2024-03-18 07:44:17,695 WARN  L623        FunctionHandler]: Unknown extern function socket
[2024-03-18 07:44:17,696 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-03-18 07:44:17,696 WARN  L623        FunctionHandler]: Unknown extern function connect
[2024-03-18 07:44:17,699 WARN  L623        FunctionHandler]: Unknown extern function send
[2024-03-18 07:44:17,699 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-03-18 07:44:17,700 WARN  L623        FunctionHandler]: Unknown extern function recv
[2024-03-18 07:44:17,700 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-03-18 07:44:17,700 WARN  L623        FunctionHandler]: Unknown extern function recv
[2024-03-18 07:44:17,701 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-03-18 07:44:17,701 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-03-18 07:44:17,704 WARN  L623        FunctionHandler]: Unknown extern function time
[2024-03-18 07:44:17,704 WARN  L623        FunctionHandler]: Unknown extern function localtime
[2024-03-18 07:44:17,704 WARN  L623        FunctionHandler]: Unknown extern function strftime
[2024-03-18 07:44:17,707 WARN  L623        FunctionHandler]: Unknown extern function access
[2024-03-18 07:44:17,710 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-03-18 07:44:17,711 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-03-18 07:44:17,712 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2024-03-18 07:44:17,712 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2024-03-18 07:44:17,713 WARN  L623        FunctionHandler]: Unknown extern function sleep
[2024-03-18 07:44:17,713 WARN  L623        FunctionHandler]: Unknown extern function access
[2024-03-18 07:44:17,714 WARN  L623        FunctionHandler]: Unknown extern function unlink
[2024-03-18 07:44:17,714 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-03-18 07:44:17,720 WARN  L623        FunctionHandler]: Unknown extern function pipe
[2024-03-18 07:44:17,720 WARN  L623        FunctionHandler]: Unknown extern function fork
[2024-03-18 07:44:17,721 WARN  L623        FunctionHandler]: Unknown extern function setpgid
[2024-03-18 07:44:17,721 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-03-18 07:44:17,721 WARN  L623        FunctionHandler]: Unknown extern function dup2
[2024-03-18 07:44:17,721 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-03-18 07:44:17,721 WARN  L623        FunctionHandler]: Unknown extern function dup2
[2024-03-18 07:44:17,722 WARN  L623        FunctionHandler]: Unknown extern function execl
[2024-03-18 07:44:17,722 WARN  L623        FunctionHandler]: Unknown extern function setpgid
[2024-03-18 07:44:17,723 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-03-18 07:44:17,723 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2024-03-18 07:44:17,723 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-03-18 07:44:17,723 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2024-03-18 07:44:17,724 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:17,724 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2024-03-18 07:44:17,725 INFO  L210          PostProcessor]: Analyzing one entry point: main
[2024-03-18 07:44:17,742 INFO  L203         MainTranslator]: Completed pre-run
[2024-03-18 07:44:17,757 WARN  L611        FunctionHandler]: implicit declaration of function __builtin_va_copy
[2024-03-18 07:44:17,757 WARN  L623        FunctionHandler]: Unknown extern function time
[2024-03-18 07:44:17,757 WARN  L623        FunctionHandler]: Unknown extern function localtime
[2024-03-18 07:44:17,758 WARN  L623        FunctionHandler]: Unknown extern function strftime
[2024-03-18 07:44:17,758 WARN  L623        FunctionHandler]: Unknown extern function vsnprintf
[2024-03-18 07:44:17,759 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-03-18 07:44:17,759 WARN  L623        FunctionHandler]: Unknown extern function vsprintf
[2024-03-18 07:44:17,759 WARN  L623        FunctionHandler]: Unknown extern function puts
[2024-03-18 07:44:17,760 WARN  L623        FunctionHandler]: Unknown extern function syslog
[2024-03-18 07:44:17,763 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-03-18 07:44:17,764 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-03-18 07:44:17,768 WARN  L623        FunctionHandler]: Unknown extern function sigwait
[2024-03-18 07:44:17,769 WARN  L623        FunctionHandler]: Unknown extern function kill
[2024-03-18 07:44:17,769 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-03-18 07:44:17,770 WARN  L623        FunctionHandler]: Unknown extern function pthread_cancel
[2024-03-18 07:44:17,770 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-03-18 07:44:17,771 WARN  L623        FunctionHandler]: Unknown extern function openlog
[2024-03-18 07:44:17,772 WARN  L623        FunctionHandler]: Unknown extern function closelog
[2024-03-18 07:44:17,772 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2024-03-18 07:44:17,773 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2024-03-18 07:44:17,773 WARN  L623        FunctionHandler]: Unknown extern function sysinfo
[2024-03-18 07:44:17,774 WARN  L623        FunctionHandler]: Unknown extern function sem_init
[2024-03-18 07:44:17,777 WARN  L623        FunctionHandler]: Unknown extern function sem_destroy
[2024-03-18 07:44:17,789 WARN  L623        FunctionHandler]: Unknown extern function getopt_long
[2024-03-18 07:44:17,798 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:17,798 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:17,798 WARN  L623        FunctionHandler]: Unknown extern function stat
[2024-03-18 07:44:17,800 WARN  L623        FunctionHandler]: Unknown extern function dirname
[2024-03-18 07:44:17,800 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:17,800 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:17,800 WARN  L623        FunctionHandler]: Unknown extern function __xpg_basename
[2024-03-18 07:44:17,800 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:17,801 WARN  L623        FunctionHandler]: Unknown extern function stat
[2024-03-18 07:44:17,802 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:17,808 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-03-18 07:44:17,809 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-03-18 07:44:17,809 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-03-18 07:44:17,810 WARN  L623        FunctionHandler]: Unknown extern function scandir
[2024-03-18 07:44:17,814 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-03-18 07:44:17,814 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-03-18 07:44:17,815 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-03-18 07:44:17,815 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-03-18 07:44:17,815 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-03-18 07:44:17,816 WARN  L623        FunctionHandler]: Unknown extern function strrchr
[2024-03-18 07:44:17,816 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:17,817 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:17,817 WARN  L623        FunctionHandler]: Unknown extern function sigemptyset
[2024-03-18 07:44:17,818 WARN  L623        FunctionHandler]: Unknown extern function sigaddset
[2024-03-18 07:44:17,818 WARN  L623        FunctionHandler]: Unknown extern function sigaddset
[2024-03-18 07:44:17,818 WARN  L623        FunctionHandler]: Unknown extern function pthread_sigmask
[2024-03-18 07:44:17,827 WARN  L623        FunctionHandler]: Unknown extern function pthread_cancel
[2024-03-18 07:44:17,834 WARN  L623        FunctionHandler]: Unknown extern function kill
[2024-03-18 07:44:17,835 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2024-03-18 07:44:17,835 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2024-03-18 07:44:17,836 WARN  L623        FunctionHandler]: Unknown extern function uname
[2024-03-18 07:44:17,837 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-03-18 07:44:17,837 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-03-18 07:44:17,838 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-03-18 07:44:17,838 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-03-18 07:44:17,840 WARN  L623        FunctionHandler]: Unknown extern function clock_gettime
[2024-03-18 07:44:17,841 WARN  L623        FunctionHandler]: Unknown extern function pthread_cond_timedwait
[2024-03-18 07:44:17,842 WARN  L623        FunctionHandler]: Unknown extern function sem_wait
[2024-03-18 07:44:17,842 WARN  L623        FunctionHandler]: Unknown extern function sem_timedwait
[2024-03-18 07:44:17,849 WARN  L623        FunctionHandler]: Unknown extern function clock_gettime
[2024-03-18 07:44:17,852 WARN  L623        FunctionHandler]: Unknown extern function pthread_cond_timedwait
[2024-03-18 07:44:17,853 WARN  L623        FunctionHandler]: Unknown extern function pthread_detach
[2024-03-18 07:44:17,855 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-03-18 07:44:17,855 WARN  L623        FunctionHandler]: Unknown extern function opendir
[2024-03-18 07:44:17,856 WARN  L623        FunctionHandler]: Unknown extern function readdir
[2024-03-18 07:44:17,856 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2024-03-18 07:44:17,856 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-03-18 07:44:17,857 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-03-18 07:44:17,857 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-03-18 07:44:17,857 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-03-18 07:44:17,858 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-03-18 07:44:17,858 WARN  L623        FunctionHandler]: Unknown extern function strrchr
[2024-03-18 07:44:17,858 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,859 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,860 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:17,860 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,860 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:17,860 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,861 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:17,861 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,861 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:17,862 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,862 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:17,862 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,863 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,863 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,863 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,864 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,864 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,864 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,865 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,865 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,865 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,866 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,866 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,866 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,867 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,867 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,867 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,867 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,868 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,868 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,868 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:17,869 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,869 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:17,869 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,870 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:17,870 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,870 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:17,871 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,871 WARN  L623        FunctionHandler]: Unknown extern function strtoull
[2024-03-18 07:44:17,871 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,872 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,872 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,872 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:17,873 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,873 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,873 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,874 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,874 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,874 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,875 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,875 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,875 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,876 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,876 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,877 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,877 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,877 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,877 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,878 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,878 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,878 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,879 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,879 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,879 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,880 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,880 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,880 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,881 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,881 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,881 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,882 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:17,882 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,882 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:17,883 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,883 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,883 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,884 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,884 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,884 WARN  L623        FunctionHandler]: Unknown extern function strtoull
[2024-03-18 07:44:17,885 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,885 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,885 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,886 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:17,886 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,886 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,887 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,887 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,887 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,888 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,888 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,888 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,889 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,889 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,889 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,890 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,890 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,890 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:17,891 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:17,891 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:17,894 WARN  L623        FunctionHandler]: Unknown extern function geteuid
[2024-03-18 07:44:17,902 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2024-03-18 07:44:17,949 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-03-18 07:44:17,949 WARN  L623        FunctionHandler]: Unknown extern function waitpid
[2024-03-18 07:44:17,950 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-03-18 07:44:17,950 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-03-18 07:44:17,951 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-03-18 07:44:17,951 WARN  L623        FunctionHandler]: Unknown extern function kill
[2024-03-18 07:44:17,951 WARN  L623        FunctionHandler]: Unknown extern function kill
[2024-03-18 07:44:17,952 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-03-18 07:44:17,952 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-03-18 07:44:17,952 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-03-18 07:44:17,961 WARN  L623        FunctionHandler]: Unknown extern function sysinfo
[2024-03-18 07:44:17,967 WARN  L623        FunctionHandler]: Unknown extern function strtok
[2024-03-18 07:44:17,967 WARN  L623        FunctionHandler]: Unknown extern function strtok
[2024-03-18 07:44:17,969 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-03-18 07:44:17,970 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-03-18 07:44:17,970 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-03-18 07:44:17,970 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-03-18 07:44:17,971 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2024-03-18 07:44:17,972 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-03-18 07:44:17,972 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-03-18 07:44:17,972 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-03-18 07:44:17,974 WARN  L623        FunctionHandler]: Unknown extern function pthread_setcanceltype
[2024-03-18 07:44:17,975 WARN  L623        FunctionHandler]: Unknown extern function sem_post
[2024-03-18 07:44:17,975 WARN  L623        FunctionHandler]: Unknown extern function pthread_setcanceltype
[2024-03-18 07:44:17,985 WARN  L623        FunctionHandler]: Unknown extern function socket
[2024-03-18 07:44:17,985 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-03-18 07:44:17,986 WARN  L623        FunctionHandler]: Unknown extern function connect
[2024-03-18 07:44:17,989 WARN  L623        FunctionHandler]: Unknown extern function send
[2024-03-18 07:44:17,989 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-03-18 07:44:17,990 WARN  L623        FunctionHandler]: Unknown extern function recv
[2024-03-18 07:44:17,990 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-03-18 07:44:17,991 WARN  L623        FunctionHandler]: Unknown extern function recv
[2024-03-18 07:44:17,991 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-03-18 07:44:17,991 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-03-18 07:44:17,994 WARN  L623        FunctionHandler]: Unknown extern function time
[2024-03-18 07:44:17,994 WARN  L623        FunctionHandler]: Unknown extern function localtime
[2024-03-18 07:44:17,994 WARN  L623        FunctionHandler]: Unknown extern function strftime
[2024-03-18 07:44:17,997 WARN  L623        FunctionHandler]: Unknown extern function access
[2024-03-18 07:44:17,999 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-03-18 07:44:18,000 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-03-18 07:44:18,001 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2024-03-18 07:44:18,001 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2024-03-18 07:44:18,002 WARN  L623        FunctionHandler]: Unknown extern function sleep
[2024-03-18 07:44:18,002 WARN  L623        FunctionHandler]: Unknown extern function access
[2024-03-18 07:44:18,002 WARN  L623        FunctionHandler]: Unknown extern function unlink
[2024-03-18 07:44:18,003 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-03-18 07:44:18,005 WARN  L623        FunctionHandler]: Unknown extern function pipe
[2024-03-18 07:44:18,005 WARN  L623        FunctionHandler]: Unknown extern function fork
[2024-03-18 07:44:18,006 WARN  L623        FunctionHandler]: Unknown extern function setpgid
[2024-03-18 07:44:18,006 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-03-18 07:44:18,006 WARN  L623        FunctionHandler]: Unknown extern function dup2
[2024-03-18 07:44:18,006 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-03-18 07:44:18,007 WARN  L623        FunctionHandler]: Unknown extern function dup2
[2024-03-18 07:44:18,007 WARN  L623        FunctionHandler]: Unknown extern function execl
[2024-03-18 07:44:18,007 WARN  L623        FunctionHandler]: Unknown extern function setpgid
[2024-03-18 07:44:18,007 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-03-18 07:44:18,008 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2024-03-18 07:44:18,008 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-03-18 07:44:18,008 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2024-03-18 07:44:18,009 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:18,009 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2024-03-18 07:44:18,010 INFO  L210          PostProcessor]: Analyzing one entry point: main
[2024-03-18 07:44:18,046 INFO  L208         MainTranslator]: Completed translation
[2024-03-18 07:44:18,046 INFO  L202        PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 18.03 07:44:18 WrapperNode
[2024-03-18 07:44:18,046 INFO  L132        PluginConnector]: ------------------------ END CACSL2BoogieTranslator----------------------------
[2024-03-18 07:44:18,047 INFO  L113        PluginConnector]: ------------------------Boogie Procedure Inliner----------------------------
[2024-03-18 07:44:18,047 INFO  L271        PluginConnector]: Initializing Boogie Procedure Inliner...
[2024-03-18 07:44:18,047 INFO  L275        PluginConnector]: Boogie Procedure Inliner initialized
[2024-03-18 07:44:18,052 INFO  L185        PluginConnector]: Executing the observer TypeChecker from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 18.03 07:44:18" (1/1) ...
[2024-03-18 07:44:18,089 ERROR L1136           TypeChecker]: C: alphasort [1521]: Undeclared identifier #funAddr~alphasort in IdentifierExpression[#funAddr~alphasort,GLOBAL]
[2024-03-18 07:44:18,090 ERROR L1136           TypeChecker]: C: scandir((char const   * __restrict  )"/proc/", (struct dirent *** __restrict  )(& nameList),
                  & FilterForPid, (int (*)(struct dirent  const  ** , struct dirent  const  ** ))(& alphasort)) [1520-1521]: Wrong parameter type at index 3: CallStatement[null,false,[VariableLHS[#t~ret301,<LOCAL,WaitForProcessName>]],scandir,[StructConstructor[[base,offset],[IntegerLiteral[119],IntegerLiteral[0]]],IdentifierExpression[~#nameList~0,<LOCAL,WaitForProcessName>],IdentifierExpression[#funAddr~FilterForPid,GLOBAL],IdentifierExpression[#funAddr~alphasort,GLOBAL]]]
[2024-03-18 07:44:18,096 ERROR L1136           TypeChecker]: C: input->coordinator [2149]: Undeclared identifier #t~mem530 in IdentifierExpression[#t~mem530,<LOCAL,WaiterThread>]
[2024-03-18 07:44:18,096 ERROR L1136           TypeChecker]: C: pthread_mutex_lock(& (input->coordinator)->mutexEventTriggered) [2149]: Wrong parameter type at index 0: CallStatement[null,false,[VariableLHS[#t~nondet531,<LOCAL,WaiterThread>]],#PthreadsMutexLock,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[#t~mem530,<LOCAL,WaiterThread>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[48],StructAccessExpression[IdentifierExpression[#t~mem530,<LOCAL,WaiterThread>],offset]]]]]]
[2024-03-18 07:44:18,097 ERROR L1136           TypeChecker]: C: input->coordinator [2158]: Undeclared identifier #t~mem549 in IdentifierExpression[#t~mem549,<LOCAL,WaiterThread>]
[2024-03-18 07:44:18,097 ERROR L1136           TypeChecker]: C: pthread_mutex_lock(& (input->coordinator)->mutexEventTriggered) [2158]: Wrong parameter type at index 0: CallStatement[null,false,[VariableLHS[#t~nondet550,<LOCAL,WaiterThread>]],#PthreadsMutexLock,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[#t~mem549,<LOCAL,WaiterThread>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[48],StructAccessExpression[IdentifierExpression[#t~mem549,<LOCAL,WaiterThread>],offset]]]]]]
[2024-03-18 07:44:18,131 INFO  L185        PluginConnector]: Executing the observer Inliner from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 18.03 07:44:18" (1/1) ...
[2024-03-18 07:44:18,132 INFO  L132        PluginConnector]: ------------------------ END Boogie Procedure Inliner----------------------------
[2024-03-18 07:44:18,132 INFO  L184        ToolchainWalker]: Toolchain execution was canceled (user or tool) before executing de.uni_freiburg.informatik.ultimate.boogie.preprocessor
[2024-03-18 07:44:18,133 INFO  L158              Benchmark]: Toolchain (without parser) took 1237.74ms. Allocated memory is still 234.9MB. Free memory was 191.7MB in the beginning and 122.1MB in the end (delta: 69.6MB). Peak memory consumption was 70.5MB. Max. memory is 16.1GB.
[2024-03-18 07:44:18,134 INFO  L158              Benchmark]: CDTParser took 0.17ms. Allocated memory is still 117.4MB. Free memory was 92.4MB in the beginning and 92.3MB in the end (delta: 89.9kB). There was no memory consumed. Max. memory is 16.1GB.
[2024-03-18 07:44:18,134 INFO  L158              Benchmark]: CACSL2BoogieTranslator took 1150.74ms. Allocated memory is still 234.9MB. Free memory was 190.9MB in the beginning and 134.7MB in the end (delta: 56.2MB). Peak memory consumption was 125.0MB. Max. memory is 16.1GB.
[2024-03-18 07:44:18,135 INFO  L158              Benchmark]: Boogie Procedure Inliner took 84.74ms. Allocated memory is still 234.9MB. Free memory was 133.6MB in the beginning and 122.1MB in the end (delta: 11.5MB). Peak memory consumption was 10.5MB. Max. memory is 16.1GB.
[2024-03-18 07:44:18,137 INFO  L339   ainManager$Toolchain]: #######################  End [Toolchain 1] #######################
 --- Results ---
 * Results from de.uni_freiburg.informatik.ultimate.core:
  - StatisticsResult: Toolchain Benchmarks
    Benchmark results are:
 * CDTParser took 0.17ms. Allocated memory is still 117.4MB. Free memory was 92.4MB in the beginning and 92.3MB in the end (delta: 89.9kB). There was no memory consumed. Max. memory is 16.1GB.
 * CACSL2BoogieTranslator took 1150.74ms. Allocated memory is still 234.9MB. Free memory was 190.9MB in the beginning and 134.7MB in the end (delta: 56.2MB). Peak memory consumption was 125.0MB. Max. memory is 16.1GB.
 * Boogie Procedure Inliner took 84.74ms. Allocated memory is still 234.9MB. Free memory was 133.6MB in the beginning and 122.1MB in the end (delta: 11.5MB). Peak memory consumption was 10.5MB. Max. memory is 16.1GB.
 * Results from de.uni_freiburg.informatik.ultimate.boogie.preprocessor:
  - TypeErrorResult [Line: 1521]: Type Error
    Undeclared identifier #funAddr~alphasort in IdentifierExpression[#funAddr~alphasort,GLOBAL]
  - TypeErrorResult [Line: 1520]: Type Error
    Wrong parameter type at index 3: CallStatement[null,false,[VariableLHS[#t~ret301,<LOCAL,WaitForProcessName>]],scandir,[StructConstructor[[base,offset],[IntegerLiteral[119],IntegerLiteral[0]]],IdentifierExpression[~#nameList~0,<LOCAL,WaitForProcessName>],IdentifierExpression[#funAddr~FilterForPid,GLOBAL],IdentifierExpression[#funAddr~alphasort,GLOBAL]]]
  - TypeErrorResult [Line: 2149]: Type Error
    Undeclared identifier #t~mem530 in IdentifierExpression[#t~mem530,<LOCAL,WaiterThread>]
  - TypeErrorResult [Line: 2149]: Type Error
    Wrong parameter type at index 0: CallStatement[null,false,[VariableLHS[#t~nondet531,<LOCAL,WaiterThread>]],#PthreadsMutexLock,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[#t~mem530,<LOCAL,WaiterThread>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[48],StructAccessExpression[IdentifierExpression[#t~mem530,<LOCAL,WaiterThread>],offset]]]]]]
  - TypeErrorResult [Line: 2158]: Type Error
    Undeclared identifier #t~mem549 in IdentifierExpression[#t~mem549,<LOCAL,WaiterThread>]
  - TypeErrorResult [Line: 2158]: Type Error
    Wrong parameter type at index 0: CallStatement[null,false,[VariableLHS[#t~nondet550,<LOCAL,WaiterThread>]],#PthreadsMutexLock,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[#t~mem549,<LOCAL,WaiterThread>],base],BinaryExpression[ARITHPLUS,IntegerLiteral[48],StructAccessExpression[IdentifierExpression[#t~mem549,<LOCAL,WaiterThread>],offset]]]]]]
RESULT: Ultimate could not prove your program: Toolchain returned no result.
Received shutdown request...
--- End real Ultimate output ---

Execution finished normally
Using bit-precise analysis
Retrying with bit-precise analysis

### Bit-precise run ###
Calling Ultimate with: /usr/lib/jvm/java-11-openjdk-amd64/bin/java -Dosgi.configuration.area=/mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/data/config -Xmx15G -Xms4m -jar /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/data -tc /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/config/AutomizerReach.xml -i /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/ProcDump-for-Linux/main.c -s /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/config/svcomp-DataRace-64bit-Automizer_Bitvector.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux --witnessprinter.witness.filename witness.graphml --witnessprinter.write.witness.besides.input.file false --witnessprinter.graph.data.specification CHECK( init(main()), LTL(G ! data-race) )

 --witnessprinter.graph.data.producer Automizer --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash 45e22d9608c069096c80e2f586d63201ab5bdd55a17da45014621a1af17db4d3
--- Real Ultimate output ---
This is Ultimate 0.2.2-dev-2329fc7
[2024-03-18 07:44:19,702 INFO  L177        SettingsManager]: Resetting all preferences to default values...
[2024-03-18 07:44:19,703 INFO  L181        SettingsManager]: Resetting UltimateCore preferences to default values
[2024-03-18 07:44:19,733 INFO  L184        SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring...
[2024-03-18 07:44:19,733 INFO  L181        SettingsManager]: Resetting Boogie Preprocessor preferences to default values
[2024-03-18 07:44:19,734 INFO  L181        SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values
[2024-03-18 07:44:19,735 INFO  L181        SettingsManager]: Resetting Abstract Interpretation preferences to default values
[2024-03-18 07:44:19,736 INFO  L181        SettingsManager]: Resetting LassoRanker preferences to default values
[2024-03-18 07:44:19,737 INFO  L181        SettingsManager]: Resetting Reaching Definitions preferences to default values
[2024-03-18 07:44:19,738 INFO  L181        SettingsManager]: Resetting SyntaxChecker preferences to default values
[2024-03-18 07:44:19,739 INFO  L181        SettingsManager]: Resetting Sifa preferences to default values
[2024-03-18 07:44:19,740 INFO  L184        SettingsManager]: Büchi Program Product provides no preferences, ignoring...
[2024-03-18 07:44:19,740 INFO  L181        SettingsManager]: Resetting LTL2Aut preferences to default values
[2024-03-18 07:44:19,741 INFO  L181        SettingsManager]: Resetting PEA to Boogie preferences to default values
[2024-03-18 07:44:19,742 INFO  L181        SettingsManager]: Resetting BlockEncodingV2 preferences to default values
[2024-03-18 07:44:19,743 INFO  L181        SettingsManager]: Resetting ChcToBoogie preferences to default values
[2024-03-18 07:44:19,743 INFO  L181        SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values
[2024-03-18 07:44:19,744 INFO  L181        SettingsManager]: Resetting BuchiAutomizer preferences to default values
[2024-03-18 07:44:19,745 INFO  L181        SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values
[2024-03-18 07:44:19,746 INFO  L181        SettingsManager]: Resetting CodeCheck preferences to default values
[2024-03-18 07:44:19,747 INFO  L181        SettingsManager]: Resetting InvariantSynthesis preferences to default values
[2024-03-18 07:44:19,748 INFO  L181        SettingsManager]: Resetting RCFGBuilder preferences to default values
[2024-03-18 07:44:19,749 INFO  L181        SettingsManager]: Resetting Referee preferences to default values
[2024-03-18 07:44:19,750 INFO  L181        SettingsManager]: Resetting TraceAbstraction preferences to default values
[2024-03-18 07:44:19,752 INFO  L184        SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring...
[2024-03-18 07:44:19,753 INFO  L184        SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring...
[2024-03-18 07:44:19,753 INFO  L181        SettingsManager]: Resetting TreeAutomizer preferences to default values
[2024-03-18 07:44:19,754 INFO  L181        SettingsManager]: Resetting IcfgToChc preferences to default values
[2024-03-18 07:44:19,754 INFO  L181        SettingsManager]: Resetting IcfgTransformer preferences to default values
[2024-03-18 07:44:19,755 INFO  L184        SettingsManager]: ReqToTest provides no preferences, ignoring...
[2024-03-18 07:44:19,755 INFO  L181        SettingsManager]: Resetting Boogie Printer preferences to default values
[2024-03-18 07:44:19,755 INFO  L181        SettingsManager]: Resetting ChcSmtPrinter preferences to default values
[2024-03-18 07:44:19,756 INFO  L181        SettingsManager]: Resetting ReqPrinter preferences to default values
[2024-03-18 07:44:19,757 INFO  L181        SettingsManager]: Resetting Witness Printer preferences to default values
[2024-03-18 07:44:19,757 INFO  L184        SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring...
[2024-03-18 07:44:19,757 INFO  L181        SettingsManager]: Resetting CDTParser preferences to default values
[2024-03-18 07:44:19,758 INFO  L184        SettingsManager]: AutomataScriptParser provides no preferences, ignoring...
[2024-03-18 07:44:19,758 INFO  L184        SettingsManager]: ReqParser provides no preferences, ignoring...
[2024-03-18 07:44:19,758 INFO  L181        SettingsManager]: Resetting SmtParser preferences to default values
[2024-03-18 07:44:19,759 INFO  L181        SettingsManager]: Resetting Witness Parser preferences to default values
[2024-03-18 07:44:19,759 INFO  L188        SettingsManager]: Finished resetting all preferences to default values...
[2024-03-18 07:44:19,761 INFO  L101        SettingsManager]: Beginning loading settings from /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/config/svcomp-DataRace-64bit-Automizer_Bitvector.epf
[2024-03-18 07:44:19,778 INFO  L113        SettingsManager]: Loading preferences was successful
[2024-03-18 07:44:19,778 INFO  L115        SettingsManager]: Preferences different from defaults after loading the file:
[2024-03-18 07:44:19,778 INFO  L136        SettingsManager]: Preferences of UltimateCore differ from their defaults:
[2024-03-18 07:44:19,779 INFO  L138        SettingsManager]:  * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR;
[2024-03-18 07:44:19,779 INFO  L136        SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults:
[2024-03-18 07:44:19,779 INFO  L138        SettingsManager]:  * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS
[2024-03-18 07:44:19,780 INFO  L136        SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults:
[2024-03-18 07:44:19,780 INFO  L138        SettingsManager]:  * Create parallel compositions if possible=false
[2024-03-18 07:44:19,780 INFO  L138        SettingsManager]:  * Use SBE=true
[2024-03-18 07:44:19,780 INFO  L136        SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults:
[2024-03-18 07:44:19,781 INFO  L138        SettingsManager]:  * Check unreachability of error function in SV-COMP mode=false
[2024-03-18 07:44:19,781 INFO  L138        SettingsManager]:  * Check division by zero=IGNORE
[2024-03-18 07:44:19,781 INFO  L138        SettingsManager]:  * Pointer to allocated memory at dereference=IGNORE
[2024-03-18 07:44:19,781 INFO  L138        SettingsManager]:  * If two pointers are subtracted or compared they have the same base address=IGNORE
[2024-03-18 07:44:19,781 INFO  L138        SettingsManager]:  * Check array bounds for arrays that are off heap=IGNORE
[2024-03-18 07:44:19,781 INFO  L138        SettingsManager]:  * Check absence of data races in concurrent programs=true
[2024-03-18 07:44:19,782 INFO  L138        SettingsManager]:  * Use bitvectors instead of ints=true
[2024-03-18 07:44:19,782 INFO  L138        SettingsManager]:  * Memory model=HoenickeLindenmann_4ByteResolution
[2024-03-18 07:44:19,782 INFO  L138        SettingsManager]:  * Check if freed pointer was valid=false
[2024-03-18 07:44:19,782 INFO  L138        SettingsManager]:  * Use constant arrays=true
[2024-03-18 07:44:19,782 INFO  L138        SettingsManager]:  * Pointer base address is valid at dereference=IGNORE
[2024-03-18 07:44:19,782 INFO  L136        SettingsManager]: Preferences of RCFGBuilder differ from their defaults:
[2024-03-18 07:44:19,783 INFO  L138        SettingsManager]:  * Size of a code block=SequenceOfStatements
[2024-03-18 07:44:19,783 INFO  L138        SettingsManager]:  * SMT solver=External_DefaultMode
[2024-03-18 07:44:19,783 INFO  L138        SettingsManager]:  * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000
[2024-03-18 07:44:19,783 INFO  L136        SettingsManager]: Preferences of TraceAbstraction differ from their defaults:
[2024-03-18 07:44:19,783 INFO  L138        SettingsManager]:  * Compute Interpolants along a Counterexample=FPandBP
[2024-03-18 07:44:19,784 INFO  L138        SettingsManager]:  * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles
[2024-03-18 07:44:19,784 INFO  L138        SettingsManager]:  * Trace refinement strategy=WOLF
[2024-03-18 07:44:19,784 INFO  L138        SettingsManager]:  * Command for external solver=cvc4 --incremental --print-success --lang smt 
[2024-03-18 07:44:19,784 INFO  L138        SettingsManager]:  * Automaton type used in concurrency analysis=PETRI_NET
[2024-03-18 07:44:19,784 INFO  L138        SettingsManager]:  * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true
[2024-03-18 07:44:19,784 INFO  L138        SettingsManager]:  * Order on configurations for Petri net unfoldings=DBO
[2024-03-18 07:44:19,785 INFO  L138        SettingsManager]:  * SMT solver=External_ModelsAndUnsatCoreMode
[2024-03-18 07:44:19,785 INFO  L138        SettingsManager]:  * Logic for external solver=AUFBV
[2024-03-18 07:44:19,785 INFO  L138        SettingsManager]:  * Independence relation used for large block encoding in concurrent analysis=SYNTACTIC
[2024-03-18 07:44:19,785 INFO  L138        SettingsManager]:  * Looper check in Petri net analysis=SEMANTIC
WARNING: An illegal reflective access operation has occurred
WARNING: Illegal reflective access by com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 (file:/mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/plugins/com.sun.xml.bind_2.2.0.v201505121915.jar) to method java.lang.ClassLoader.defineClass(java.lang.String,byte[],int,int)
WARNING: Please consider reporting this to the maintainers of com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1
WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations
WARNING: All illegal access operations will be denied in a future release
Applying setting for plugin de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: Entry function -> main
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness directory -> /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness filename -> witness.graphml
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Write witness besides input file -> false
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data specification -> CHECK( init(main()), LTL(G ! data-race) )


Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data producer -> Automizer
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data architecture -> 64bit
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data programhash -> 45e22d9608c069096c80e2f586d63201ab5bdd55a17da45014621a1af17db4d3
[2024-03-18 07:44:20,035 INFO  L75    nceAwareModelManager]: Repository-Root is: /tmp
[2024-03-18 07:44:20,056 INFO  L261   ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized
[2024-03-18 07:44:20,057 INFO  L217   ainManager$Toolchain]: [Toolchain 1]: Toolchain selected.
[2024-03-18 07:44:20,058 INFO  L271        PluginConnector]: Initializing CDTParser...
[2024-03-18 07:44:20,059 INFO  L275        PluginConnector]: CDTParser initialized
[2024-03-18 07:44:20,060 INFO  L432   ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/ProcDump-for-Linux/main.c
[2024-03-18 07:44:21,099 INFO  L500              CDTParser]: Created temporary CDT project at NULL
[2024-03-18 07:44:21,380 INFO  L351              CDTParser]: Found 1 translation units.
[2024-03-18 07:44:21,381 INFO  L172              CDTParser]: Scanning /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/ProcDump-for-Linux/main.c
[2024-03-18 07:44:21,398 INFO  L394              CDTParser]: About to delete temporary CDT project at /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/data/fb9e21dff/213f2da0fa4d4d8d867114a90cd92653/FLAG7e93b741b
[2024-03-18 07:44:21,654 INFO  L402              CDTParser]: Successfully deleted /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/data/fb9e21dff/213f2da0fa4d4d8d867114a90cd92653
[2024-03-18 07:44:21,656 INFO  L299   ainManager$Toolchain]: ####################### [Toolchain 1] #######################
[2024-03-18 07:44:21,657 INFO  L131        ToolchainWalker]: Walking toolchain with 6 elements.
[2024-03-18 07:44:21,657 INFO  L113        PluginConnector]: ------------------------CACSL2BoogieTranslator----------------------------
[2024-03-18 07:44:21,658 INFO  L271        PluginConnector]: Initializing CACSL2BoogieTranslator...
[2024-03-18 07:44:21,661 INFO  L275        PluginConnector]: CACSL2BoogieTranslator initialized
[2024-03-18 07:44:21,661 INFO  L185        PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 18.03 07:44:21" (1/1) ...
[2024-03-18 07:44:21,662 INFO  L205        PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@3ca5ccdb and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 18.03 07:44:21, skipping insertion in model container
[2024-03-18 07:44:21,662 INFO  L185        PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 18.03 07:44:21" (1/1) ...
[2024-03-18 07:44:21,667 INFO  L145         MainTranslator]: Starting translation in SV-COMP mode 
[2024-03-18 07:44:21,720 INFO  L178         MainTranslator]: Built tables and reachable declarations
[2024-03-18 07:44:21,941 WARN  L611        FunctionHandler]: implicit declaration of function __builtin_va_copy
[2024-03-18 07:44:21,942 WARN  L623        FunctionHandler]: Unknown extern function time
[2024-03-18 07:44:21,943 WARN  L623        FunctionHandler]: Unknown extern function localtime
[2024-03-18 07:44:21,943 WARN  L623        FunctionHandler]: Unknown extern function strftime
[2024-03-18 07:44:21,951 WARN  L623        FunctionHandler]: Unknown extern function vsnprintf
[2024-03-18 07:44:21,955 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-03-18 07:44:21,956 WARN  L623        FunctionHandler]: Unknown extern function vsprintf
[2024-03-18 07:44:21,957 WARN  L623        FunctionHandler]: Unknown extern function puts
[2024-03-18 07:44:21,957 WARN  L623        FunctionHandler]: Unknown extern function syslog
[2024-03-18 07:44:22,008 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-03-18 07:44:22,009 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-03-18 07:44:22,101 WARN  L623        FunctionHandler]: Unknown extern function sigwait
[2024-03-18 07:44:22,104 WARN  L623        FunctionHandler]: Unknown extern function kill
[2024-03-18 07:44:22,106 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-03-18 07:44:22,108 WARN  L623        FunctionHandler]: Unknown extern function pthread_cancel
[2024-03-18 07:44:22,110 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-03-18 07:44:22,111 WARN  L623        FunctionHandler]: Unknown extern function openlog
[2024-03-18 07:44:22,114 WARN  L623        FunctionHandler]: Unknown extern function closelog
[2024-03-18 07:44:22,115 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2024-03-18 07:44:22,116 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2024-03-18 07:44:22,116 WARN  L623        FunctionHandler]: Unknown extern function sysinfo
[2024-03-18 07:44:22,123 WARN  L623        FunctionHandler]: Unknown extern function sem_init
[2024-03-18 07:44:22,147 WARN  L623        FunctionHandler]: Unknown extern function sem_destroy
[2024-03-18 07:44:22,165 WARN  L623        FunctionHandler]: Unknown extern function getopt_long
[2024-03-18 07:44:22,187 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:22,188 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:22,189 WARN  L623        FunctionHandler]: Unknown extern function stat
[2024-03-18 07:44:22,192 WARN  L623        FunctionHandler]: Unknown extern function dirname
[2024-03-18 07:44:22,193 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:22,193 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:22,193 WARN  L623        FunctionHandler]: Unknown extern function __xpg_basename
[2024-03-18 07:44:22,194 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:22,194 WARN  L623        FunctionHandler]: Unknown extern function stat
[2024-03-18 07:44:22,198 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:22,209 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-03-18 07:44:22,210 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-03-18 07:44:22,211 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-03-18 07:44:22,214 WARN  L623        FunctionHandler]: Unknown extern function scandir
[2024-03-18 07:44:22,220 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-03-18 07:44:22,220 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-03-18 07:44:22,221 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-03-18 07:44:22,221 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-03-18 07:44:22,222 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-03-18 07:44:22,224 WARN  L623        FunctionHandler]: Unknown extern function strrchr
[2024-03-18 07:44:22,224 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:22,224 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:22,226 WARN  L623        FunctionHandler]: Unknown extern function sigemptyset
[2024-03-18 07:44:22,226 WARN  L623        FunctionHandler]: Unknown extern function sigaddset
[2024-03-18 07:44:22,227 WARN  L623        FunctionHandler]: Unknown extern function sigaddset
[2024-03-18 07:44:22,227 WARN  L623        FunctionHandler]: Unknown extern function pthread_sigmask
[2024-03-18 07:44:22,258 WARN  L623        FunctionHandler]: Unknown extern function pthread_cancel
[2024-03-18 07:44:22,270 WARN  L623        FunctionHandler]: Unknown extern function kill
[2024-03-18 07:44:22,272 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2024-03-18 07:44:22,273 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2024-03-18 07:44:22,274 WARN  L623        FunctionHandler]: Unknown extern function uname
[2024-03-18 07:44:22,275 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-03-18 07:44:22,275 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-03-18 07:44:22,276 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-03-18 07:44:22,276 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-03-18 07:44:22,285 WARN  L623        FunctionHandler]: Unknown extern function clock_gettime
[2024-03-18 07:44:22,287 WARN  L623        FunctionHandler]: Unknown extern function pthread_cond_timedwait
[2024-03-18 07:44:22,289 WARN  L623        FunctionHandler]: Unknown extern function sem_wait
[2024-03-18 07:44:22,289 WARN  L623        FunctionHandler]: Unknown extern function sem_timedwait
[2024-03-18 07:44:22,301 WARN  L623        FunctionHandler]: Unknown extern function clock_gettime
[2024-03-18 07:44:22,306 WARN  L623        FunctionHandler]: Unknown extern function pthread_cond_timedwait
[2024-03-18 07:44:22,306 WARN  L623        FunctionHandler]: Unknown extern function pthread_detach
[2024-03-18 07:44:22,316 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-03-18 07:44:22,316 WARN  L623        FunctionHandler]: Unknown extern function opendir
[2024-03-18 07:44:22,317 WARN  L623        FunctionHandler]: Unknown extern function readdir
[2024-03-18 07:44:22,318 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2024-03-18 07:44:22,319 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-03-18 07:44:22,319 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-03-18 07:44:22,319 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-03-18 07:44:22,320 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-03-18 07:44:22,320 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-03-18 07:44:22,321 WARN  L623        FunctionHandler]: Unknown extern function strrchr
[2024-03-18 07:44:22,321 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,322 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,323 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:22,323 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,324 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:22,324 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,325 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:22,325 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,326 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:22,326 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,327 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:22,327 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,328 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,328 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,329 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,329 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,330 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,339 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,340 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,340 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,341 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,342 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,342 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,343 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,344 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,344 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,345 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,345 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,346 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,347 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,348 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:22,348 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,349 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:22,349 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,350 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:22,350 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,351 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:22,352 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,352 WARN  L623        FunctionHandler]: Unknown extern function strtoull
[2024-03-18 07:44:22,353 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,354 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,354 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,355 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:22,355 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,356 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,356 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,357 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,358 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,358 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,359 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,359 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,360 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,361 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,361 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,362 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,362 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,363 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,364 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,364 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,365 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,365 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,366 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,366 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,367 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,368 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,368 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,369 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,369 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,370 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,370 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,371 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:22,371 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,372 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:22,373 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,373 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,374 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,374 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,375 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,375 WARN  L623        FunctionHandler]: Unknown extern function strtoull
[2024-03-18 07:44:22,376 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,377 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,377 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,378 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:22,378 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,379 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,379 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,380 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,380 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,381 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,381 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,382 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,382 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,383 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,383 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,384 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,385 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,385 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,386 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,386 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:22,392 WARN  L623        FunctionHandler]: Unknown extern function geteuid
[2024-03-18 07:44:22,401 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2024-03-18 07:44:22,415 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-03-18 07:44:22,415 WARN  L623        FunctionHandler]: Unknown extern function waitpid
[2024-03-18 07:44:22,416 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-03-18 07:44:22,416 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-03-18 07:44:22,417 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-03-18 07:44:22,418 WARN  L623        FunctionHandler]: Unknown extern function kill
[2024-03-18 07:44:22,418 WARN  L623        FunctionHandler]: Unknown extern function kill
[2024-03-18 07:44:22,418 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-03-18 07:44:22,419 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-03-18 07:44:22,419 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-03-18 07:44:22,423 WARN  L623        FunctionHandler]: Unknown extern function sysinfo
[2024-03-18 07:44:22,454 WARN  L623        FunctionHandler]: Unknown extern function strtok
[2024-03-18 07:44:22,454 WARN  L623        FunctionHandler]: Unknown extern function strtok
[2024-03-18 07:44:22,457 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-03-18 07:44:22,457 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-03-18 07:44:22,457 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-03-18 07:44:22,458 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-03-18 07:44:22,458 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2024-03-18 07:44:22,459 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-03-18 07:44:22,460 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-03-18 07:44:22,460 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-03-18 07:44:22,462 WARN  L623        FunctionHandler]: Unknown extern function pthread_setcanceltype
[2024-03-18 07:44:22,463 WARN  L623        FunctionHandler]: Unknown extern function sem_post
[2024-03-18 07:44:22,472 WARN  L623        FunctionHandler]: Unknown extern function pthread_setcanceltype
[2024-03-18 07:44:22,479 WARN  L623        FunctionHandler]: Unknown extern function socket
[2024-03-18 07:44:22,480 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-03-18 07:44:22,480 WARN  L623        FunctionHandler]: Unknown extern function connect
[2024-03-18 07:44:22,483 WARN  L623        FunctionHandler]: Unknown extern function send
[2024-03-18 07:44:22,483 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-03-18 07:44:22,484 WARN  L623        FunctionHandler]: Unknown extern function recv
[2024-03-18 07:44:22,484 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-03-18 07:44:22,485 WARN  L623        FunctionHandler]: Unknown extern function recv
[2024-03-18 07:44:22,485 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-03-18 07:44:22,486 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-03-18 07:44:22,488 WARN  L623        FunctionHandler]: Unknown extern function time
[2024-03-18 07:44:22,489 WARN  L623        FunctionHandler]: Unknown extern function localtime
[2024-03-18 07:44:22,489 WARN  L623        FunctionHandler]: Unknown extern function strftime
[2024-03-18 07:44:22,492 WARN  L623        FunctionHandler]: Unknown extern function access
[2024-03-18 07:44:22,495 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-03-18 07:44:22,496 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-03-18 07:44:22,498 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2024-03-18 07:44:22,498 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2024-03-18 07:44:22,499 WARN  L623        FunctionHandler]: Unknown extern function sleep
[2024-03-18 07:44:22,499 WARN  L623        FunctionHandler]: Unknown extern function access
[2024-03-18 07:44:22,500 WARN  L623        FunctionHandler]: Unknown extern function unlink
[2024-03-18 07:44:22,500 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-03-18 07:44:22,507 WARN  L623        FunctionHandler]: Unknown extern function pipe
[2024-03-18 07:44:22,507 WARN  L623        FunctionHandler]: Unknown extern function fork
[2024-03-18 07:44:22,507 WARN  L623        FunctionHandler]: Unknown extern function setpgid
[2024-03-18 07:44:22,508 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-03-18 07:44:22,508 WARN  L623        FunctionHandler]: Unknown extern function dup2
[2024-03-18 07:44:22,508 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-03-18 07:44:22,508 WARN  L623        FunctionHandler]: Unknown extern function dup2
[2024-03-18 07:44:22,508 WARN  L623        FunctionHandler]: Unknown extern function execl
[2024-03-18 07:44:22,509 WARN  L623        FunctionHandler]: Unknown extern function setpgid
[2024-03-18 07:44:22,509 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-03-18 07:44:22,509 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2024-03-18 07:44:22,510 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-03-18 07:44:22,510 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2024-03-18 07:44:22,511 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:22,511 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2024-03-18 07:44:22,512 INFO  L210          PostProcessor]: Analyzing one entry point: main
[2024-03-18 07:44:22,533 INFO  L203         MainTranslator]: Completed pre-run
[2024-03-18 07:44:22,549 WARN  L611        FunctionHandler]: implicit declaration of function __builtin_va_copy
[2024-03-18 07:44:22,549 WARN  L623        FunctionHandler]: Unknown extern function time
[2024-03-18 07:44:22,550 WARN  L623        FunctionHandler]: Unknown extern function localtime
[2024-03-18 07:44:22,550 WARN  L623        FunctionHandler]: Unknown extern function strftime
[2024-03-18 07:44:22,551 WARN  L623        FunctionHandler]: Unknown extern function vsnprintf
[2024-03-18 07:44:22,551 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-03-18 07:44:22,552 WARN  L623        FunctionHandler]: Unknown extern function vsprintf
[2024-03-18 07:44:22,552 WARN  L623        FunctionHandler]: Unknown extern function puts
[2024-03-18 07:44:22,552 WARN  L623        FunctionHandler]: Unknown extern function syslog
[2024-03-18 07:44:22,556 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-03-18 07:44:22,556 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-03-18 07:44:22,561 WARN  L623        FunctionHandler]: Unknown extern function sigwait
[2024-03-18 07:44:22,562 WARN  L623        FunctionHandler]: Unknown extern function kill
[2024-03-18 07:44:22,562 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-03-18 07:44:22,563 WARN  L623        FunctionHandler]: Unknown extern function pthread_cancel
[2024-03-18 07:44:22,563 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-03-18 07:44:22,564 WARN  L623        FunctionHandler]: Unknown extern function openlog
[2024-03-18 07:44:22,565 WARN  L623        FunctionHandler]: Unknown extern function closelog
[2024-03-18 07:44:22,565 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2024-03-18 07:44:22,566 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2024-03-18 07:44:22,566 WARN  L623        FunctionHandler]: Unknown extern function sysinfo
[2024-03-18 07:44:22,568 WARN  L623        FunctionHandler]: Unknown extern function sem_init
[2024-03-18 07:44:22,571 WARN  L623        FunctionHandler]: Unknown extern function sem_destroy
[2024-03-18 07:44:22,585 WARN  L623        FunctionHandler]: Unknown extern function getopt_long
[2024-03-18 07:44:22,594 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:22,594 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:22,594 WARN  L623        FunctionHandler]: Unknown extern function stat
[2024-03-18 07:44:22,596 WARN  L623        FunctionHandler]: Unknown extern function dirname
[2024-03-18 07:44:22,596 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:22,596 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:22,606 WARN  L623        FunctionHandler]: Unknown extern function __xpg_basename
[2024-03-18 07:44:22,606 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:22,607 WARN  L623        FunctionHandler]: Unknown extern function stat
[2024-03-18 07:44:22,608 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:22,614 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-03-18 07:44:22,614 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-03-18 07:44:22,615 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-03-18 07:44:22,616 WARN  L623        FunctionHandler]: Unknown extern function scandir
[2024-03-18 07:44:22,619 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-03-18 07:44:22,619 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-03-18 07:44:22,619 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-03-18 07:44:22,620 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-03-18 07:44:22,620 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-03-18 07:44:22,621 WARN  L623        FunctionHandler]: Unknown extern function strrchr
[2024-03-18 07:44:22,621 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:22,622 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:22,623 WARN  L623        FunctionHandler]: Unknown extern function sigemptyset
[2024-03-18 07:44:22,623 WARN  L623        FunctionHandler]: Unknown extern function sigaddset
[2024-03-18 07:44:22,623 WARN  L623        FunctionHandler]: Unknown extern function sigaddset
[2024-03-18 07:44:22,623 WARN  L623        FunctionHandler]: Unknown extern function pthread_sigmask
[2024-03-18 07:44:22,633 WARN  L623        FunctionHandler]: Unknown extern function pthread_cancel
[2024-03-18 07:44:22,641 WARN  L623        FunctionHandler]: Unknown extern function kill
[2024-03-18 07:44:22,642 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2024-03-18 07:44:22,642 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2024-03-18 07:44:22,643 WARN  L623        FunctionHandler]: Unknown extern function uname
[2024-03-18 07:44:22,644 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-03-18 07:44:22,644 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-03-18 07:44:22,645 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-03-18 07:44:22,645 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-03-18 07:44:22,647 WARN  L623        FunctionHandler]: Unknown extern function clock_gettime
[2024-03-18 07:44:22,649 WARN  L623        FunctionHandler]: Unknown extern function pthread_cond_timedwait
[2024-03-18 07:44:22,650 WARN  L623        FunctionHandler]: Unknown extern function sem_wait
[2024-03-18 07:44:22,650 WARN  L623        FunctionHandler]: Unknown extern function sem_timedwait
[2024-03-18 07:44:22,658 WARN  L623        FunctionHandler]: Unknown extern function clock_gettime
[2024-03-18 07:44:22,662 WARN  L623        FunctionHandler]: Unknown extern function pthread_cond_timedwait
[2024-03-18 07:44:22,663 WARN  L623        FunctionHandler]: Unknown extern function pthread_detach
[2024-03-18 07:44:22,665 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-03-18 07:44:22,666 WARN  L623        FunctionHandler]: Unknown extern function opendir
[2024-03-18 07:44:22,666 WARN  L623        FunctionHandler]: Unknown extern function readdir
[2024-03-18 07:44:22,666 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2024-03-18 07:44:22,667 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-03-18 07:44:22,667 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-03-18 07:44:22,667 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-03-18 07:44:22,668 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-03-18 07:44:22,668 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-03-18 07:44:22,668 WARN  L623        FunctionHandler]: Unknown extern function strrchr
[2024-03-18 07:44:22,669 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,669 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,670 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:22,670 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,671 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:22,671 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,671 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:22,672 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,672 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:22,672 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,673 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:22,673 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,673 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,674 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,674 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,674 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,675 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,675 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,675 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,676 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,676 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,677 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,677 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,677 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,678 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,678 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,678 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,679 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,679 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,680 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,680 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:22,680 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,681 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:22,681 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,682 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:22,682 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,682 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:22,683 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,683 WARN  L623        FunctionHandler]: Unknown extern function strtoull
[2024-03-18 07:44:22,683 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,684 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,684 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,684 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:22,685 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,685 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,685 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,686 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,686 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,687 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,687 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,687 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,688 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,688 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,688 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,689 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,689 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,689 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,689 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,690 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,690 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,691 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,691 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,691 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,691 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,692 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,692 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,692 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,693 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,693 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,693 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,694 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:22,694 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,695 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:22,695 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,695 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,696 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,696 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,696 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,697 WARN  L623        FunctionHandler]: Unknown extern function strtoull
[2024-03-18 07:44:22,697 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,697 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,698 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,698 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:22,698 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,699 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,699 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,699 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,700 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,700 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,700 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,701 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,701 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,701 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,702 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,702 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,713 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,714 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-03-18 07:44:22,714 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-03-18 07:44:22,714 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-03-18 07:44:22,717 WARN  L623        FunctionHandler]: Unknown extern function geteuid
[2024-03-18 07:44:22,727 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2024-03-18 07:44:22,755 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-03-18 07:44:22,756 WARN  L623        FunctionHandler]: Unknown extern function waitpid
[2024-03-18 07:44:22,756 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-03-18 07:44:22,757 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-03-18 07:44:22,757 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-03-18 07:44:22,758 WARN  L623        FunctionHandler]: Unknown extern function kill
[2024-03-18 07:44:22,758 WARN  L623        FunctionHandler]: Unknown extern function kill
[2024-03-18 07:44:22,759 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-03-18 07:44:22,759 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-03-18 07:44:22,759 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-03-18 07:44:22,781 WARN  L623        FunctionHandler]: Unknown extern function sysinfo
[2024-03-18 07:44:22,789 WARN  L623        FunctionHandler]: Unknown extern function strtok
[2024-03-18 07:44:22,790 WARN  L623        FunctionHandler]: Unknown extern function strtok
[2024-03-18 07:44:22,792 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-03-18 07:44:22,792 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-03-18 07:44:22,792 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-03-18 07:44:22,793 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-03-18 07:44:22,793 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2024-03-18 07:44:22,794 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-03-18 07:44:22,795 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-03-18 07:44:22,795 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-03-18 07:44:22,797 WARN  L623        FunctionHandler]: Unknown extern function pthread_setcanceltype
[2024-03-18 07:44:22,798 WARN  L623        FunctionHandler]: Unknown extern function sem_post
[2024-03-18 07:44:22,799 WARN  L623        FunctionHandler]: Unknown extern function pthread_setcanceltype
[2024-03-18 07:44:22,813 WARN  L623        FunctionHandler]: Unknown extern function socket
[2024-03-18 07:44:22,813 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-03-18 07:44:22,814 WARN  L623        FunctionHandler]: Unknown extern function connect
[2024-03-18 07:44:22,818 WARN  L623        FunctionHandler]: Unknown extern function send
[2024-03-18 07:44:22,818 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-03-18 07:44:22,819 WARN  L623        FunctionHandler]: Unknown extern function recv
[2024-03-18 07:44:22,819 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-03-18 07:44:22,820 WARN  L623        FunctionHandler]: Unknown extern function recv
[2024-03-18 07:44:22,820 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-03-18 07:44:22,821 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-03-18 07:44:22,824 WARN  L623        FunctionHandler]: Unknown extern function time
[2024-03-18 07:44:22,824 WARN  L623        FunctionHandler]: Unknown extern function localtime
[2024-03-18 07:44:22,825 WARN  L623        FunctionHandler]: Unknown extern function strftime
[2024-03-18 07:44:22,828 WARN  L623        FunctionHandler]: Unknown extern function access
[2024-03-18 07:44:22,831 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-03-18 07:44:22,832 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-03-18 07:44:22,833 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2024-03-18 07:44:22,833 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2024-03-18 07:44:22,835 WARN  L623        FunctionHandler]: Unknown extern function sleep
[2024-03-18 07:44:22,835 WARN  L623        FunctionHandler]: Unknown extern function access
[2024-03-18 07:44:22,835 WARN  L623        FunctionHandler]: Unknown extern function unlink
[2024-03-18 07:44:22,835 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-03-18 07:44:22,838 WARN  L623        FunctionHandler]: Unknown extern function pipe
[2024-03-18 07:44:22,839 WARN  L623        FunctionHandler]: Unknown extern function fork
[2024-03-18 07:44:22,839 WARN  L623        FunctionHandler]: Unknown extern function setpgid
[2024-03-18 07:44:22,839 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-03-18 07:44:22,840 WARN  L623        FunctionHandler]: Unknown extern function dup2
[2024-03-18 07:44:22,840 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-03-18 07:44:22,840 WARN  L623        FunctionHandler]: Unknown extern function dup2
[2024-03-18 07:44:22,840 WARN  L623        FunctionHandler]: Unknown extern function execl
[2024-03-18 07:44:22,841 WARN  L623        FunctionHandler]: Unknown extern function setpgid
[2024-03-18 07:44:22,841 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-03-18 07:44:22,842 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2024-03-18 07:44:22,842 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-03-18 07:44:22,842 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2024-03-18 07:44:22,843 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-03-18 07:44:22,843 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2024-03-18 07:44:22,844 INFO  L210          PostProcessor]: Analyzing one entry point: main
[2024-03-18 07:44:22,885 INFO  L208         MainTranslator]: Completed translation
[2024-03-18 07:44:22,886 INFO  L202        PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 18.03 07:44:22 WrapperNode
[2024-03-18 07:44:22,886 INFO  L132        PluginConnector]: ------------------------ END CACSL2BoogieTranslator----------------------------
[2024-03-18 07:44:22,886 INFO  L113        PluginConnector]: ------------------------Boogie Procedure Inliner----------------------------
[2024-03-18 07:44:22,886 INFO  L271        PluginConnector]: Initializing Boogie Procedure Inliner...
[2024-03-18 07:44:22,887 INFO  L275        PluginConnector]: Boogie Procedure Inliner initialized
[2024-03-18 07:44:22,892 INFO  L185        PluginConnector]: Executing the observer TypeChecker from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 18.03 07:44:22" (1/1) ...
[2024-03-18 07:44:22,932 ERROR L1136           TypeChecker]: C: alphasort [1521]: Undeclared identifier #funAddr~alphasort in IdentifierExpression[#funAddr~alphasort,GLOBAL]
[2024-03-18 07:44:22,932 ERROR L1136           TypeChecker]: C: scandir((char const   * __restrict  )"/proc/", (struct dirent *** __restrict  )(& nameList),
                  & FilterForPid, (int (*)(struct dirent  const  ** , struct dirent  const  ** ))(& alphasort)) [1520-1521]: Wrong parameter type at index 3: CallStatement[null,false,[VariableLHS[#t~ret301,<LOCAL,WaitForProcessName>]],scandir,[StructConstructor[[base,offset],[BitvecLiteral[119,64],BitvecLiteral[0,64]]],IdentifierExpression[~#nameList~0,<LOCAL,WaitForProcessName>],IdentifierExpression[#funAddr~FilterForPid,GLOBAL],IdentifierExpression[#funAddr~alphasort,GLOBAL]]]
[2024-03-18 07:44:22,938 ERROR L1136           TypeChecker]: C: input->coordinator [2149]: Undeclared identifier #t~mem530 in IdentifierExpression[#t~mem530,<LOCAL,WaiterThread>]
[2024-03-18 07:44:22,938 ERROR L1136           TypeChecker]: C: pthread_mutex_lock(& (input->coordinator)->mutexEventTriggered) [2149]: Wrong parameter type at index 0: CallStatement[null,false,[VariableLHS[#t~nondet531,<LOCAL,WaiterThread>]],#PthreadsMutexLock,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[#t~mem530,<LOCAL,WaiterThread>],base],FunctionApplication[~bvadd64,[BitvecLiteral[48,64],StructAccessExpression[IdentifierExpression[#t~mem530,<LOCAL,WaiterThread>],offset]]]]]]]
[2024-03-18 07:44:22,939 ERROR L1136           TypeChecker]: C: input->coordinator [2158]: Undeclared identifier #t~mem549 in IdentifierExpression[#t~mem549,<LOCAL,WaiterThread>]
[2024-03-18 07:44:22,939 ERROR L1136           TypeChecker]: C: pthread_mutex_lock(& (input->coordinator)->mutexEventTriggered) [2158]: Wrong parameter type at index 0: CallStatement[null,false,[VariableLHS[#t~nondet550,<LOCAL,WaiterThread>]],#PthreadsMutexLock,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[#t~mem549,<LOCAL,WaiterThread>],base],FunctionApplication[~bvadd64,[BitvecLiteral[48,64],StructAccessExpression[IdentifierExpression[#t~mem549,<LOCAL,WaiterThread>],offset]]]]]]]
[2024-03-18 07:44:23,001 INFO  L185        PluginConnector]: Executing the observer Inliner from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 18.03 07:44:22" (1/1) ...
[2024-03-18 07:44:23,001 INFO  L132        PluginConnector]: ------------------------ END Boogie Procedure Inliner----------------------------
[2024-03-18 07:44:23,001 INFO  L184        ToolchainWalker]: Toolchain execution was canceled (user or tool) before executing de.uni_freiburg.informatik.ultimate.boogie.preprocessor
[2024-03-18 07:44:23,003 INFO  L158              Benchmark]: Toolchain (without parser) took 1345.21ms. Allocated memory was 100.7MB in the beginning and 157.3MB in the end (delta: 56.6MB). Free memory was 70.8MB in the beginning and 90.2MB in the end (delta: -19.4MB). Peak memory consumption was 85.6MB. Max. memory is 16.1GB.
[2024-03-18 07:44:23,003 INFO  L158              Benchmark]: CDTParser took 0.15ms. Allocated memory is still 100.7MB. Free memory was 77.9MB in the beginning and 77.8MB in the end (delta: 136.4kB). There was no memory consumed. Max. memory is 16.1GB.
[2024-03-18 07:44:23,004 INFO  L158              Benchmark]: CACSL2BoogieTranslator took 1228.43ms. Allocated memory was 100.7MB in the beginning and 157.3MB in the end (delta: 56.6MB). Free memory was 70.5MB in the beginning and 65.7MB in the end (delta: 4.8MB). Peak memory consumption was 74.5MB. Max. memory is 16.1GB.
[2024-03-18 07:44:23,004 INFO  L158              Benchmark]: Boogie Procedure Inliner took 114.60ms. Allocated memory is still 157.3MB. Free memory was 65.7MB in the beginning and 90.2MB in the end (delta: -24.6MB). Peak memory consumption was 21.6MB. Max. memory is 16.1GB.
[2024-03-18 07:44:23,006 INFO  L339   ainManager$Toolchain]: #######################  End [Toolchain 1] #######################
 --- Results ---
 * Results from de.uni_freiburg.informatik.ultimate.core:
  - StatisticsResult: Toolchain Benchmarks
    Benchmark results are:
 * CDTParser took 0.15ms. Allocated memory is still 100.7MB. Free memory was 77.9MB in the beginning and 77.8MB in the end (delta: 136.4kB). There was no memory consumed. Max. memory is 16.1GB.
 * CACSL2BoogieTranslator took 1228.43ms. Allocated memory was 100.7MB in the beginning and 157.3MB in the end (delta: 56.6MB). Free memory was 70.5MB in the beginning and 65.7MB in the end (delta: 4.8MB). Peak memory consumption was 74.5MB. Max. memory is 16.1GB.
 * Boogie Procedure Inliner took 114.60ms. Allocated memory is still 157.3MB. Free memory was 65.7MB in the beginning and 90.2MB in the end (delta: -24.6MB). Peak memory consumption was 21.6MB. Max. memory is 16.1GB.
 * Results from de.uni_freiburg.informatik.ultimate.boogie.preprocessor:
  - TypeErrorResult [Line: 1521]: Type Error
    Undeclared identifier #funAddr~alphasort in IdentifierExpression[#funAddr~alphasort,GLOBAL]
  - TypeErrorResult [Line: 1520]: Type Error
    Wrong parameter type at index 3: CallStatement[null,false,[VariableLHS[#t~ret301,<LOCAL,WaitForProcessName>]],scandir,[StructConstructor[[base,offset],[BitvecLiteral[119,64],BitvecLiteral[0,64]]],IdentifierExpression[~#nameList~0,<LOCAL,WaitForProcessName>],IdentifierExpression[#funAddr~FilterForPid,GLOBAL],IdentifierExpression[#funAddr~alphasort,GLOBAL]]]
  - TypeErrorResult [Line: 2149]: Type Error
    Undeclared identifier #t~mem530 in IdentifierExpression[#t~mem530,<LOCAL,WaiterThread>]
  - TypeErrorResult [Line: 2149]: Type Error
    Wrong parameter type at index 0: CallStatement[null,false,[VariableLHS[#t~nondet531,<LOCAL,WaiterThread>]],#PthreadsMutexLock,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[#t~mem530,<LOCAL,WaiterThread>],base],FunctionApplication[~bvadd64,[BitvecLiteral[48,64],StructAccessExpression[IdentifierExpression[#t~mem530,<LOCAL,WaiterThread>],offset]]]]]]]
  - TypeErrorResult [Line: 2158]: Type Error
    Undeclared identifier #t~mem549 in IdentifierExpression[#t~mem549,<LOCAL,WaiterThread>]
  - TypeErrorResult [Line: 2158]: Type Error
    Wrong parameter type at index 0: CallStatement[null,false,[VariableLHS[#t~nondet550,<LOCAL,WaiterThread>]],#PthreadsMutexLock,[StructConstructor[[base,offset],[StructAccessExpression[IdentifierExpression[#t~mem549,<LOCAL,WaiterThread>],base],FunctionApplication[~bvadd64,[BitvecLiteral[48,64],StructAccessExpression[IdentifierExpression[#t~mem549,<LOCAL,WaiterThread>],offset]]]]]]]
RESULT: Ultimate could not prove your program: Toolchain returned no result.
Received shutdown request...
--- End real Ultimate output ---

Execution finished normally
Writing output log to file Ultimate.log
Result:
ERROR: TYPE ERROR
