./Ultimate.py --spec /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp --file /mnt/goblint-svcomp/goblint-bench/bench/concrat/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/bench/concrat/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-02-27 21:03:59,950 INFO  L177        SettingsManager]: Resetting all preferences to default values...
[2024-02-27 21:03:59,952 INFO  L181        SettingsManager]: Resetting UltimateCore preferences to default values
[2024-02-27 21:03:59,977 INFO  L184        SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring...
[2024-02-27 21:03:59,978 INFO  L181        SettingsManager]: Resetting Boogie Preprocessor preferences to default values
[2024-02-27 21:03:59,979 INFO  L181        SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values
[2024-02-27 21:03:59,980 INFO  L181        SettingsManager]: Resetting Abstract Interpretation preferences to default values
[2024-02-27 21:03:59,981 INFO  L181        SettingsManager]: Resetting LassoRanker preferences to default values
[2024-02-27 21:03:59,983 INFO  L181        SettingsManager]: Resetting Reaching Definitions preferences to default values
[2024-02-27 21:03:59,983 INFO  L181        SettingsManager]: Resetting SyntaxChecker preferences to default values
[2024-02-27 21:03:59,984 INFO  L181        SettingsManager]: Resetting Sifa preferences to default values
[2024-02-27 21:03:59,985 INFO  L184        SettingsManager]: Büchi Program Product provides no preferences, ignoring...
[2024-02-27 21:03:59,985 INFO  L181        SettingsManager]: Resetting LTL2Aut preferences to default values
[2024-02-27 21:03:59,986 INFO  L181        SettingsManager]: Resetting PEA to Boogie preferences to default values
[2024-02-27 21:03:59,986 INFO  L181        SettingsManager]: Resetting BlockEncodingV2 preferences to default values
[2024-02-27 21:03:59,987 INFO  L181        SettingsManager]: Resetting ChcToBoogie preferences to default values
[2024-02-27 21:03:59,988 INFO  L181        SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values
[2024-02-27 21:03:59,989 INFO  L181        SettingsManager]: Resetting BuchiAutomizer preferences to default values
[2024-02-27 21:03:59,990 INFO  L181        SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values
[2024-02-27 21:03:59,991 INFO  L181        SettingsManager]: Resetting CodeCheck preferences to default values
[2024-02-27 21:03:59,992 INFO  L181        SettingsManager]: Resetting InvariantSynthesis preferences to default values
[2024-02-27 21:03:59,997 INFO  L181        SettingsManager]: Resetting RCFGBuilder preferences to default values
[2024-02-27 21:03:59,998 INFO  L181        SettingsManager]: Resetting Referee preferences to default values
[2024-02-27 21:03:59,999 INFO  L181        SettingsManager]: Resetting TraceAbstraction preferences to default values
[2024-02-27 21:04:00,001 INFO  L184        SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring...
[2024-02-27 21:04:00,002 INFO  L184        SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring...
[2024-02-27 21:04:00,002 INFO  L181        SettingsManager]: Resetting TreeAutomizer preferences to default values
[2024-02-27 21:04:00,002 INFO  L181        SettingsManager]: Resetting IcfgToChc preferences to default values
[2024-02-27 21:04:00,003 INFO  L181        SettingsManager]: Resetting IcfgTransformer preferences to default values
[2024-02-27 21:04:00,004 INFO  L184        SettingsManager]: ReqToTest provides no preferences, ignoring...
[2024-02-27 21:04:00,004 INFO  L181        SettingsManager]: Resetting Boogie Printer preferences to default values
[2024-02-27 21:04:00,004 INFO  L181        SettingsManager]: Resetting ChcSmtPrinter preferences to default values
[2024-02-27 21:04:00,005 INFO  L181        SettingsManager]: Resetting ReqPrinter preferences to default values
[2024-02-27 21:04:00,006 INFO  L181        SettingsManager]: Resetting Witness Printer preferences to default values
[2024-02-27 21:04:00,006 INFO  L184        SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring...
[2024-02-27 21:04:00,007 INFO  L181        SettingsManager]: Resetting CDTParser preferences to default values
[2024-02-27 21:04:00,007 INFO  L184        SettingsManager]: AutomataScriptParser provides no preferences, ignoring...
[2024-02-27 21:04:00,007 INFO  L184        SettingsManager]: ReqParser provides no preferences, ignoring...
[2024-02-27 21:04:00,008 INFO  L181        SettingsManager]: Resetting SmtParser preferences to default values
[2024-02-27 21:04:00,008 INFO  L181        SettingsManager]: Resetting Witness Parser preferences to default values
[2024-02-27 21:04:00,009 INFO  L188        SettingsManager]: Finished resetting all preferences to default values...
[2024-02-27 21:04:00,013 INFO  L101        SettingsManager]: Beginning loading settings from /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/config/svcomp-DataRace-64bit-Automizer_Default.epf
[2024-02-27 21:04:00,033 INFO  L113        SettingsManager]: Loading preferences was successful
[2024-02-27 21:04:00,034 INFO  L115        SettingsManager]: Preferences different from defaults after loading the file:
[2024-02-27 21:04:00,034 INFO  L136        SettingsManager]: Preferences of UltimateCore differ from their defaults:
[2024-02-27 21:04:00,034 INFO  L138        SettingsManager]:  * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR;
[2024-02-27 21:04:00,034 INFO  L136        SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults:
[2024-02-27 21:04:00,035 INFO  L138        SettingsManager]:  * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS
[2024-02-27 21:04:00,035 INFO  L136        SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults:
[2024-02-27 21:04:00,035 INFO  L138        SettingsManager]:  * Create parallel compositions if possible=false
[2024-02-27 21:04:00,036 INFO  L138        SettingsManager]:  * Use SBE=true
[2024-02-27 21:04:00,036 INFO  L136        SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults:
[2024-02-27 21:04:00,036 INFO  L138        SettingsManager]:  * Check unreachability of error function in SV-COMP mode=false
[2024-02-27 21:04:00,036 INFO  L138        SettingsManager]:  * Overapproximate operations on floating types=true
[2024-02-27 21:04:00,036 INFO  L138        SettingsManager]:  * Check division by zero=IGNORE
[2024-02-27 21:04:00,036 INFO  L138        SettingsManager]:  * Pointer to allocated memory at dereference=IGNORE
[2024-02-27 21:04:00,037 INFO  L138        SettingsManager]:  * If two pointers are subtracted or compared they have the same base address=IGNORE
[2024-02-27 21:04:00,037 INFO  L138        SettingsManager]:  * Check array bounds for arrays that are off heap=IGNORE
[2024-02-27 21:04:00,037 INFO  L138        SettingsManager]:  * Check absence of data races in concurrent programs=true
[2024-02-27 21:04:00,037 INFO  L138        SettingsManager]:  * Check if freed pointer was valid=false
[2024-02-27 21:04:00,037 INFO  L138        SettingsManager]:  * Use constant arrays=true
[2024-02-27 21:04:00,038 INFO  L138        SettingsManager]:  * Pointer base address is valid at dereference=IGNORE
[2024-02-27 21:04:00,038 INFO  L136        SettingsManager]: Preferences of RCFGBuilder differ from their defaults:
[2024-02-27 21:04:00,038 INFO  L138        SettingsManager]:  * Size of a code block=SequenceOfStatements
[2024-02-27 21:04:00,038 INFO  L138        SettingsManager]:  * SMT solver=External_DefaultMode
[2024-02-27 21:04:00,038 INFO  L138        SettingsManager]:  * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000
[2024-02-27 21:04:00,038 INFO  L136        SettingsManager]: Preferences of TraceAbstraction differ from their defaults:
[2024-02-27 21:04:00,039 INFO  L138        SettingsManager]:  * Compute Interpolants along a Counterexample=FPandBP
[2024-02-27 21:04:00,039 INFO  L138        SettingsManager]:  * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles
[2024-02-27 21:04:00,039 INFO  L138        SettingsManager]:  * Trace refinement strategy=CAMEL
[2024-02-27 21:04:00,039 INFO  L138        SettingsManager]:  * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in
[2024-02-27 21:04:00,039 INFO  L138        SettingsManager]:  * Automaton type used in concurrency analysis=PETRI_NET
[2024-02-27 21:04:00,039 INFO  L138        SettingsManager]:  * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true
[2024-02-27 21:04:00,040 INFO  L138        SettingsManager]:  * Order on configurations for Petri net unfoldings=DBO
[2024-02-27 21:04:00,040 INFO  L138        SettingsManager]:  * SMT solver=External_ModelsAndUnsatCoreMode
[2024-02-27 21:04:00,040 INFO  L138        SettingsManager]:  * Independence relation used for large block encoding in concurrent analysis=SYNTACTIC
[2024-02-27 21:04:00,040 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-02-27 21:04:00,232 INFO  L75    nceAwareModelManager]: Repository-Root is: /tmp
[2024-02-27 21:04:00,249 INFO  L261   ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized
[2024-02-27 21:04:00,251 INFO  L217   ainManager$Toolchain]: [Toolchain 1]: Toolchain selected.
[2024-02-27 21:04:00,252 INFO  L271        PluginConnector]: Initializing CDTParser...
[2024-02-27 21:04:00,252 INFO  L275        PluginConnector]: CDTParser initialized
[2024-02-27 21:04:00,253 INFO  L432   ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c
[2024-02-27 21:04:01,193 INFO  L500              CDTParser]: Created temporary CDT project at NULL
[2024-02-27 21:04:01,483 INFO  L351              CDTParser]: Found 1 translation units.
[2024-02-27 21:04:01,483 INFO  L172              CDTParser]: Scanning /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c
[2024-02-27 21:04:01,506 INFO  L394              CDTParser]: About to delete temporary CDT project at /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/data/d68a500bf/697a0f7efb1f40a2b1721ce3c42cee62/FLAG315c3f6d9
[2024-02-27 21:04:01,517 INFO  L402              CDTParser]: Successfully deleted /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/data/d68a500bf/697a0f7efb1f40a2b1721ce3c42cee62
[2024-02-27 21:04:01,518 INFO  L299   ainManager$Toolchain]: ####################### [Toolchain 1] #######################
[2024-02-27 21:04:01,519 INFO  L131        ToolchainWalker]: Walking toolchain with 6 elements.
[2024-02-27 21:04:01,520 INFO  L113        PluginConnector]: ------------------------CACSL2BoogieTranslator----------------------------
[2024-02-27 21:04:01,520 INFO  L271        PluginConnector]: Initializing CACSL2BoogieTranslator...
[2024-02-27 21:04:01,523 INFO  L275        PluginConnector]: CACSL2BoogieTranslator initialized
[2024-02-27 21:04:01,523 INFO  L185        PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 27.02 09:04:01" (1/1) ...
[2024-02-27 21:04:01,524 INFO  L205        PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@b83c69 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:04:01, skipping insertion in model container
[2024-02-27 21:04:01,525 INFO  L185        PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 27.02 09:04:01" (1/1) ...
[2024-02-27 21:04:01,530 INFO  L145         MainTranslator]: Starting translation in SV-COMP mode 
[2024-02-27 21:04:01,586 INFO  L178         MainTranslator]: Built tables and reachable declarations
[2024-02-27 21:04:01,760 WARN  L611        FunctionHandler]: implicit declaration of function __builtin_va_copy
[2024-02-27 21:04:01,762 WARN  L623        FunctionHandler]: Unknown extern function time
[2024-02-27 21:04:01,762 WARN  L623        FunctionHandler]: Unknown extern function localtime
[2024-02-27 21:04:01,763 WARN  L623        FunctionHandler]: Unknown extern function strftime
[2024-02-27 21:04:01,770 WARN  L623        FunctionHandler]: Unknown extern function vsnprintf
[2024-02-27 21:04:01,772 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-02-27 21:04:01,773 WARN  L623        FunctionHandler]: Unknown extern function vsprintf
[2024-02-27 21:04:01,774 WARN  L623        FunctionHandler]: Unknown extern function puts
[2024-02-27 21:04:01,774 WARN  L623        FunctionHandler]: Unknown extern function syslog
[2024-02-27 21:04:01,819 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-02-27 21:04:01,821 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-02-27 21:04:01,893 WARN  L623        FunctionHandler]: Unknown extern function sigwait
[2024-02-27 21:04:01,896 WARN  L623        FunctionHandler]: Unknown extern function kill
[2024-02-27 21:04:01,898 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-02-27 21:04:01,898 WARN  L623        FunctionHandler]: Unknown extern function pthread_cancel
[2024-02-27 21:04:01,899 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:01,901 WARN  L623        FunctionHandler]: Unknown extern function openlog
[2024-02-27 21:04:01,902 WARN  L623        FunctionHandler]: Unknown extern function closelog
[2024-02-27 21:04:01,903 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2024-02-27 21:04:01,904 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2024-02-27 21:04:01,905 WARN  L623        FunctionHandler]: Unknown extern function sysinfo
[2024-02-27 21:04:01,909 WARN  L623        FunctionHandler]: Unknown extern function sem_init
[2024-02-27 21:04:01,918 WARN  L623        FunctionHandler]: Unknown extern function sem_destroy
[2024-02-27 21:04:01,932 WARN  L623        FunctionHandler]: Unknown extern function getopt_long
[2024-02-27 21:04:01,951 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:01,951 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:01,952 WARN  L623        FunctionHandler]: Unknown extern function stat
[2024-02-27 21:04:01,955 WARN  L623        FunctionHandler]: Unknown extern function dirname
[2024-02-27 21:04:01,955 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:01,955 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:01,956 WARN  L623        FunctionHandler]: Unknown extern function __xpg_basename
[2024-02-27 21:04:01,956 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:01,956 WARN  L623        FunctionHandler]: Unknown extern function stat
[2024-02-27 21:04:01,960 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:01,968 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-02-27 21:04:01,969 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-02-27 21:04:01,970 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:04:01,973 WARN  L623        FunctionHandler]: Unknown extern function scandir
[2024-02-27 21:04:01,977 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-02-27 21:04:01,978 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-02-27 21:04:01,978 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-02-27 21:04:01,979 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:04:01,979 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:04:01,981 WARN  L623        FunctionHandler]: Unknown extern function strrchr
[2024-02-27 21:04:01,981 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:01,981 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:01,983 WARN  L623        FunctionHandler]: Unknown extern function sigemptyset
[2024-02-27 21:04:01,983 WARN  L623        FunctionHandler]: Unknown extern function sigaddset
[2024-02-27 21:04:01,983 WARN  L623        FunctionHandler]: Unknown extern function sigaddset
[2024-02-27 21:04:01,984 WARN  L623        FunctionHandler]: Unknown extern function pthread_sigmask
[2024-02-27 21:04:02,014 WARN  L623        FunctionHandler]: Unknown extern function pthread_cancel
[2024-02-27 21:04:02,031 WARN  L623        FunctionHandler]: Unknown extern function kill
[2024-02-27 21:04:02,032 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2024-02-27 21:04:02,033 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2024-02-27 21:04:02,034 WARN  L623        FunctionHandler]: Unknown extern function uname
[2024-02-27 21:04:02,035 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:02,035 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-02-27 21:04:02,036 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:02,036 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-02-27 21:04:02,052 WARN  L623        FunctionHandler]: Unknown extern function clock_gettime
[2024-02-27 21:04:02,054 WARN  L623        FunctionHandler]: Unknown extern function pthread_cond_timedwait
[2024-02-27 21:04:02,056 WARN  L623        FunctionHandler]: Unknown extern function sem_wait
[2024-02-27 21:04:02,057 WARN  L623        FunctionHandler]: Unknown extern function sem_timedwait
[2024-02-27 21:04:02,069 WARN  L623        FunctionHandler]: Unknown extern function clock_gettime
[2024-02-27 21:04:02,073 WARN  L623        FunctionHandler]: Unknown extern function pthread_cond_timedwait
[2024-02-27 21:04:02,074 WARN  L623        FunctionHandler]: Unknown extern function pthread_detach
[2024-02-27 21:04:02,087 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-02-27 21:04:02,087 WARN  L623        FunctionHandler]: Unknown extern function opendir
[2024-02-27 21:04:02,088 WARN  L623        FunctionHandler]: Unknown extern function readdir
[2024-02-27 21:04:02,088 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2024-02-27 21:04:02,089 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-02-27 21:04:02,089 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-02-27 21:04:02,090 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-02-27 21:04:02,090 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:04:02,090 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:04:02,091 WARN  L623        FunctionHandler]: Unknown extern function strrchr
[2024-02-27 21:04:02,091 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,092 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,093 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:02,093 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,094 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:02,094 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,095 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:02,095 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,095 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:02,096 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,096 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:02,097 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,097 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,098 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,098 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,098 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,099 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,099 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,100 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,100 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,101 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,101 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,102 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,102 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,103 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,103 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,103 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,104 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,104 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,105 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,105 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:02,105 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,106 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:02,106 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,107 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:02,107 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,108 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:02,108 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,108 WARN  L623        FunctionHandler]: Unknown extern function strtoull
[2024-02-27 21:04:02,109 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,109 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,110 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,110 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:02,110 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,111 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,111 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,112 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,112 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,113 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,113 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,114 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,114 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,115 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,115 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,116 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,116 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,117 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,117 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,117 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,118 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,118 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,119 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,119 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,120 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,120 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,120 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,121 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,121 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,122 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,122 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,122 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:02,123 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,123 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:02,124 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,124 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,125 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,125 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,126 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,126 WARN  L623        FunctionHandler]: Unknown extern function strtoull
[2024-02-27 21:04:02,127 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,127 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,127 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,128 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:02,128 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,129 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,129 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,129 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,130 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,130 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,131 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,131 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,132 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,132 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,133 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,133 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,134 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,134 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,134 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,135 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:02,141 WARN  L623        FunctionHandler]: Unknown extern function geteuid
[2024-02-27 21:04:02,150 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2024-02-27 21:04:02,161 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-02-27 21:04:02,162 WARN  L623        FunctionHandler]: Unknown extern function waitpid
[2024-02-27 21:04:02,162 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-02-27 21:04:02,162 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-02-27 21:04:02,163 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-02-27 21:04:02,164 WARN  L623        FunctionHandler]: Unknown extern function kill
[2024-02-27 21:04:02,164 WARN  L623        FunctionHandler]: Unknown extern function kill
[2024-02-27 21:04:02,164 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-02-27 21:04:02,165 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-02-27 21:04:02,165 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-02-27 21:04:02,178 WARN  L623        FunctionHandler]: Unknown extern function sysinfo
[2024-02-27 21:04:02,207 WARN  L623        FunctionHandler]: Unknown extern function strtok
[2024-02-27 21:04:02,208 WARN  L623        FunctionHandler]: Unknown extern function strtok
[2024-02-27 21:04:02,210 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-02-27 21:04:02,210 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-02-27 21:04:02,210 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-02-27 21:04:02,211 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-02-27 21:04:02,211 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2024-02-27 21:04:02,212 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-02-27 21:04:02,213 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:02,213 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:04:02,215 WARN  L623        FunctionHandler]: Unknown extern function pthread_setcanceltype
[2024-02-27 21:04:02,215 WARN  L623        FunctionHandler]: Unknown extern function sem_post
[2024-02-27 21:04:02,216 WARN  L623        FunctionHandler]: Unknown extern function pthread_setcanceltype
[2024-02-27 21:04:02,221 WARN  L623        FunctionHandler]: Unknown extern function socket
[2024-02-27 21:04:02,221 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-02-27 21:04:02,222 WARN  L623        FunctionHandler]: Unknown extern function connect
[2024-02-27 21:04:02,224 WARN  L623        FunctionHandler]: Unknown extern function send
[2024-02-27 21:04:02,224 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:02,225 WARN  L623        FunctionHandler]: Unknown extern function recv
[2024-02-27 21:04:02,225 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:02,226 WARN  L623        FunctionHandler]: Unknown extern function recv
[2024-02-27 21:04:02,226 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:02,226 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-02-27 21:04:02,228 WARN  L623        FunctionHandler]: Unknown extern function time
[2024-02-27 21:04:02,229 WARN  L623        FunctionHandler]: Unknown extern function localtime
[2024-02-27 21:04:02,229 WARN  L623        FunctionHandler]: Unknown extern function strftime
[2024-02-27 21:04:02,232 WARN  L623        FunctionHandler]: Unknown extern function access
[2024-02-27 21:04:02,234 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-02-27 21:04:02,235 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-02-27 21:04:02,236 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2024-02-27 21:04:02,236 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2024-02-27 21:04:02,237 WARN  L623        FunctionHandler]: Unknown extern function sleep
[2024-02-27 21:04:02,237 WARN  L623        FunctionHandler]: Unknown extern function access
[2024-02-27 21:04:02,238 WARN  L623        FunctionHandler]: Unknown extern function unlink
[2024-02-27 21:04:02,238 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:02,241 WARN  L623        FunctionHandler]: Unknown extern function pipe
[2024-02-27 21:04:02,241 WARN  L623        FunctionHandler]: Unknown extern function fork
[2024-02-27 21:04:02,241 WARN  L623        FunctionHandler]: Unknown extern function setpgid
[2024-02-27 21:04:02,242 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-02-27 21:04:02,242 WARN  L623        FunctionHandler]: Unknown extern function dup2
[2024-02-27 21:04:02,242 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-02-27 21:04:02,242 WARN  L623        FunctionHandler]: Unknown extern function dup2
[2024-02-27 21:04:02,242 WARN  L623        FunctionHandler]: Unknown extern function execl
[2024-02-27 21:04:02,243 WARN  L623        FunctionHandler]: Unknown extern function setpgid
[2024-02-27 21:04:02,243 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-02-27 21:04:02,243 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2024-02-27 21:04:02,244 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-02-27 21:04:02,244 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2024-02-27 21:04:02,244 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:02,245 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2024-02-27 21:04:02,246 INFO  L210          PostProcessor]: Analyzing one entry point: main
[2024-02-27 21:04:02,263 INFO  L203         MainTranslator]: Completed pre-run
[2024-02-27 21:04:02,278 WARN  L611        FunctionHandler]: implicit declaration of function __builtin_va_copy
[2024-02-27 21:04:02,278 WARN  L623        FunctionHandler]: Unknown extern function time
[2024-02-27 21:04:02,278 WARN  L623        FunctionHandler]: Unknown extern function localtime
[2024-02-27 21:04:02,278 WARN  L623        FunctionHandler]: Unknown extern function strftime
[2024-02-27 21:04:02,279 WARN  L623        FunctionHandler]: Unknown extern function vsnprintf
[2024-02-27 21:04:02,280 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-02-27 21:04:02,280 WARN  L623        FunctionHandler]: Unknown extern function vsprintf
[2024-02-27 21:04:02,280 WARN  L623        FunctionHandler]: Unknown extern function puts
[2024-02-27 21:04:02,280 WARN  L623        FunctionHandler]: Unknown extern function syslog
[2024-02-27 21:04:02,284 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-02-27 21:04:02,284 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-02-27 21:04:02,288 WARN  L623        FunctionHandler]: Unknown extern function sigwait
[2024-02-27 21:04:02,289 WARN  L623        FunctionHandler]: Unknown extern function kill
[2024-02-27 21:04:02,289 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-02-27 21:04:02,289 WARN  L623        FunctionHandler]: Unknown extern function pthread_cancel
[2024-02-27 21:04:02,290 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:02,290 WARN  L623        FunctionHandler]: Unknown extern function openlog
[2024-02-27 21:04:02,291 WARN  L623        FunctionHandler]: Unknown extern function closelog
[2024-02-27 21:04:02,292 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2024-02-27 21:04:02,292 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2024-02-27 21:04:02,292 WARN  L623        FunctionHandler]: Unknown extern function sysinfo
[2024-02-27 21:04:02,293 WARN  L623        FunctionHandler]: Unknown extern function sem_init
[2024-02-27 21:04:02,296 WARN  L623        FunctionHandler]: Unknown extern function sem_destroy
[2024-02-27 21:04:02,305 WARN  L623        FunctionHandler]: Unknown extern function getopt_long
[2024-02-27 21:04:02,312 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:02,313 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:02,313 WARN  L623        FunctionHandler]: Unknown extern function stat
[2024-02-27 21:04:02,330 WARN  L623        FunctionHandler]: Unknown extern function dirname
[2024-02-27 21:04:02,331 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:02,331 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:02,332 WARN  L623        FunctionHandler]: Unknown extern function __xpg_basename
[2024-02-27 21:04:02,332 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:02,333 WARN  L623        FunctionHandler]: Unknown extern function stat
[2024-02-27 21:04:02,335 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:02,344 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-02-27 21:04:02,345 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-02-27 21:04:02,346 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:04:02,348 WARN  L623        FunctionHandler]: Unknown extern function scandir
[2024-02-27 21:04:02,351 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-02-27 21:04:02,351 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-02-27 21:04:02,351 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-02-27 21:04:02,352 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:04:02,352 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:04:02,353 WARN  L623        FunctionHandler]: Unknown extern function strrchr
[2024-02-27 21:04:02,353 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:02,354 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:02,354 WARN  L623        FunctionHandler]: Unknown extern function sigemptyset
[2024-02-27 21:04:02,355 WARN  L623        FunctionHandler]: Unknown extern function sigaddset
[2024-02-27 21:04:02,355 WARN  L623        FunctionHandler]: Unknown extern function sigaddset
[2024-02-27 21:04:02,355 WARN  L623        FunctionHandler]: Unknown extern function pthread_sigmask
[2024-02-27 21:04:02,363 WARN  L623        FunctionHandler]: Unknown extern function pthread_cancel
[2024-02-27 21:04:02,370 WARN  L623        FunctionHandler]: Unknown extern function kill
[2024-02-27 21:04:02,371 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2024-02-27 21:04:02,372 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2024-02-27 21:04:02,373 WARN  L623        FunctionHandler]: Unknown extern function uname
[2024-02-27 21:04:02,373 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:02,373 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-02-27 21:04:02,374 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:02,374 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-02-27 21:04:02,376 WARN  L623        FunctionHandler]: Unknown extern function clock_gettime
[2024-02-27 21:04:02,378 WARN  L623        FunctionHandler]: Unknown extern function pthread_cond_timedwait
[2024-02-27 21:04:02,379 WARN  L623        FunctionHandler]: Unknown extern function sem_wait
[2024-02-27 21:04:02,379 WARN  L623        FunctionHandler]: Unknown extern function sem_timedwait
[2024-02-27 21:04:02,386 WARN  L623        FunctionHandler]: Unknown extern function clock_gettime
[2024-02-27 21:04:02,390 WARN  L623        FunctionHandler]: Unknown extern function pthread_cond_timedwait
[2024-02-27 21:04:02,390 WARN  L623        FunctionHandler]: Unknown extern function pthread_detach
[2024-02-27 21:04:02,392 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-02-27 21:04:02,393 WARN  L623        FunctionHandler]: Unknown extern function opendir
[2024-02-27 21:04:02,393 WARN  L623        FunctionHandler]: Unknown extern function readdir
[2024-02-27 21:04:02,394 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2024-02-27 21:04:02,394 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-02-27 21:04:02,394 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-02-27 21:04:02,395 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-02-27 21:04:02,395 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:04:02,395 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:04:02,396 WARN  L623        FunctionHandler]: Unknown extern function strrchr
[2024-02-27 21:04:02,396 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,397 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,397 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:02,397 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,398 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:02,398 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,399 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:02,399 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,399 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:02,400 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,400 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:02,400 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,401 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,401 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,401 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,402 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,402 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,402 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,403 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,403 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,403 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,404 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,404 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,404 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,404 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,405 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,405 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,405 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,406 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,406 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,406 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:02,407 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,407 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:02,407 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,407 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:02,408 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,408 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:02,408 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,409 WARN  L623        FunctionHandler]: Unknown extern function strtoull
[2024-02-27 21:04:02,409 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,409 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,409 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,410 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:02,410 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,410 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,411 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,411 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,411 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,412 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,412 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,412 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,412 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,413 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,413 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,413 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,414 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,414 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,414 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,414 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,415 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,415 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,415 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,416 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,416 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,416 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,416 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,417 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,417 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,417 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,417 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,418 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:02,418 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,418 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:02,419 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,419 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,419 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,419 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,420 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,420 WARN  L623        FunctionHandler]: Unknown extern function strtoull
[2024-02-27 21:04:02,420 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,421 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,421 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,421 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:02,422 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,422 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,422 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,422 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,423 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,423 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,423 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,424 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,424 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,424 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,424 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,425 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,425 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,425 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:02,426 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:02,426 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:02,429 WARN  L623        FunctionHandler]: Unknown extern function geteuid
[2024-02-27 21:04:02,452 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2024-02-27 21:04:02,477 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-02-27 21:04:02,478 WARN  L623        FunctionHandler]: Unknown extern function waitpid
[2024-02-27 21:04:02,478 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-02-27 21:04:02,478 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-02-27 21:04:02,479 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-02-27 21:04:02,479 WARN  L623        FunctionHandler]: Unknown extern function kill
[2024-02-27 21:04:02,480 WARN  L623        FunctionHandler]: Unknown extern function kill
[2024-02-27 21:04:02,480 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-02-27 21:04:02,480 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-02-27 21:04:02,480 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-02-27 21:04:02,487 WARN  L623        FunctionHandler]: Unknown extern function sysinfo
[2024-02-27 21:04:02,493 WARN  L623        FunctionHandler]: Unknown extern function strtok
[2024-02-27 21:04:02,493 WARN  L623        FunctionHandler]: Unknown extern function strtok
[2024-02-27 21:04:02,495 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-02-27 21:04:02,495 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-02-27 21:04:02,495 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-02-27 21:04:02,495 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-02-27 21:04:02,496 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2024-02-27 21:04:02,497 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-02-27 21:04:02,497 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:02,497 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:04:02,499 WARN  L623        FunctionHandler]: Unknown extern function pthread_setcanceltype
[2024-02-27 21:04:02,500 WARN  L623        FunctionHandler]: Unknown extern function sem_post
[2024-02-27 21:04:02,500 WARN  L623        FunctionHandler]: Unknown extern function pthread_setcanceltype
[2024-02-27 21:04:02,509 WARN  L623        FunctionHandler]: Unknown extern function socket
[2024-02-27 21:04:02,509 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-02-27 21:04:02,509 WARN  L623        FunctionHandler]: Unknown extern function connect
[2024-02-27 21:04:02,512 WARN  L623        FunctionHandler]: Unknown extern function send
[2024-02-27 21:04:02,512 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:02,513 WARN  L623        FunctionHandler]: Unknown extern function recv
[2024-02-27 21:04:02,513 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:02,513 WARN  L623        FunctionHandler]: Unknown extern function recv
[2024-02-27 21:04:02,514 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:02,514 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-02-27 21:04:02,517 WARN  L623        FunctionHandler]: Unknown extern function time
[2024-02-27 21:04:02,517 WARN  L623        FunctionHandler]: Unknown extern function localtime
[2024-02-27 21:04:02,517 WARN  L623        FunctionHandler]: Unknown extern function strftime
[2024-02-27 21:04:02,519 WARN  L623        FunctionHandler]: Unknown extern function access
[2024-02-27 21:04:02,543 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-02-27 21:04:02,544 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-02-27 21:04:02,545 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2024-02-27 21:04:02,545 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2024-02-27 21:04:02,546 WARN  L623        FunctionHandler]: Unknown extern function sleep
[2024-02-27 21:04:02,546 WARN  L623        FunctionHandler]: Unknown extern function access
[2024-02-27 21:04:02,546 WARN  L623        FunctionHandler]: Unknown extern function unlink
[2024-02-27 21:04:02,547 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:02,549 WARN  L623        FunctionHandler]: Unknown extern function pipe
[2024-02-27 21:04:02,549 WARN  L623        FunctionHandler]: Unknown extern function fork
[2024-02-27 21:04:02,550 WARN  L623        FunctionHandler]: Unknown extern function setpgid
[2024-02-27 21:04:02,550 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-02-27 21:04:02,550 WARN  L623        FunctionHandler]: Unknown extern function dup2
[2024-02-27 21:04:02,550 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-02-27 21:04:02,550 WARN  L623        FunctionHandler]: Unknown extern function dup2
[2024-02-27 21:04:02,551 WARN  L623        FunctionHandler]: Unknown extern function execl
[2024-02-27 21:04:02,551 WARN  L623        FunctionHandler]: Unknown extern function setpgid
[2024-02-27 21:04:02,551 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-02-27 21:04:02,551 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2024-02-27 21:04:02,552 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-02-27 21:04:02,552 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2024-02-27 21:04:02,553 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:02,553 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2024-02-27 21:04:02,554 INFO  L210          PostProcessor]: Analyzing one entry point: main
[2024-02-27 21:04:02,589 INFO  L208         MainTranslator]: Completed translation
[2024-02-27 21:04:02,589 INFO  L202        PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:04:02 WrapperNode
[2024-02-27 21:04:02,590 INFO  L132        PluginConnector]: ------------------------ END CACSL2BoogieTranslator----------------------------
[2024-02-27 21:04:02,591 INFO  L113        PluginConnector]: ------------------------Boogie Procedure Inliner----------------------------
[2024-02-27 21:04:02,591 INFO  L271        PluginConnector]: Initializing Boogie Procedure Inliner...
[2024-02-27 21:04:02,591 INFO  L275        PluginConnector]: Boogie Procedure Inliner initialized
[2024-02-27 21:04:02,596 INFO  L185        PluginConnector]: Executing the observer TypeChecker from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:04:02" (1/1) ...
[2024-02-27 21:04:02,628 ERROR L1136           TypeChecker]: C: alphasort [1521]: Undeclared identifier #funAddr~alphasort in IdentifierExpression[#funAddr~alphasort,GLOBAL]
[2024-02-27 21:04:02,629 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-02-27 21:04:02,634 ERROR L1136           TypeChecker]: C: input->coordinator [2149]: Undeclared identifier #t~mem530 in IdentifierExpression[#t~mem530,<LOCAL,WaiterThread>]
[2024-02-27 21:04:02,634 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-02-27 21:04:02,635 ERROR L1136           TypeChecker]: C: input->coordinator [2158]: Undeclared identifier #t~mem549 in IdentifierExpression[#t~mem549,<LOCAL,WaiterThread>]
[2024-02-27 21:04:02,635 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-02-27 21:04:02,661 INFO  L185        PluginConnector]: Executing the observer Inliner from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:04:02" (1/1) ...
[2024-02-27 21:04:02,661 INFO  L132        PluginConnector]: ------------------------ END Boogie Procedure Inliner----------------------------
[2024-02-27 21:04:02,661 INFO  L184        ToolchainWalker]: Toolchain execution was canceled (user or tool) before executing de.uni_freiburg.informatik.ultimate.boogie.preprocessor
[2024-02-27 21:04:02,663 INFO  L158              Benchmark]: Toolchain (without parser) took 1142.60ms. Allocated memory was 115.3MB in the beginning and 138.4MB in the end (delta: 23.1MB). Free memory was 87.5MB in the beginning and 45.0MB in the end (delta: 42.5MB). Peak memory consumption was 65.1MB. Max. memory is 16.1GB.
[2024-02-27 21:04:02,663 INFO  L158              Benchmark]: CDTParser took 0.12ms. Allocated memory is still 94.4MB. Free memory was 62.6MB in the beginning and 62.5MB in the end (delta: 76.9kB). There was no memory consumed. Max. memory is 16.1GB.
[2024-02-27 21:04:02,664 INFO  L158              Benchmark]: CACSL2BoogieTranslator took 1069.71ms. Allocated memory was 115.3MB in the beginning and 138.4MB in the end (delta: 23.1MB). Free memory was 87.3MB in the beginning and 58.8MB in the end (delta: 28.4MB). Peak memory consumption was 86.0MB. Max. memory is 16.1GB.
[2024-02-27 21:04:02,664 INFO  L158              Benchmark]: Boogie Procedure Inliner took 70.67ms. Allocated memory is still 138.4MB. Free memory was 58.8MB in the beginning and 45.6MB in the end (delta: 13.2MB). Peak memory consumption was 14.7MB. Max. memory is 16.1GB.
[2024-02-27 21:04:02,666 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.12ms. Allocated memory is still 94.4MB. Free memory was 62.6MB in the beginning and 62.5MB in the end (delta: 76.9kB). There was no memory consumed. Max. memory is 16.1GB.
 * CACSL2BoogieTranslator took 1069.71ms. Allocated memory was 115.3MB in the beginning and 138.4MB in the end (delta: 23.1MB). Free memory was 87.3MB in the beginning and 58.8MB in the end (delta: 28.4MB). Peak memory consumption was 86.0MB. Max. memory is 16.1GB.
 * Boogie Procedure Inliner took 70.67ms. Allocated memory is still 138.4MB. Free memory was 58.8MB in the beginning and 45.6MB in the end (delta: 13.2MB). Peak memory consumption was 14.7MB. 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/bench/concrat/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-02-27 21:04:04,228 INFO  L177        SettingsManager]: Resetting all preferences to default values...
[2024-02-27 21:04:04,230 INFO  L181        SettingsManager]: Resetting UltimateCore preferences to default values
[2024-02-27 21:04:04,250 INFO  L184        SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring...
[2024-02-27 21:04:04,251 INFO  L181        SettingsManager]: Resetting Boogie Preprocessor preferences to default values
[2024-02-27 21:04:04,252 INFO  L181        SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values
[2024-02-27 21:04:04,253 INFO  L181        SettingsManager]: Resetting Abstract Interpretation preferences to default values
[2024-02-27 21:04:04,254 INFO  L181        SettingsManager]: Resetting LassoRanker preferences to default values
[2024-02-27 21:04:04,255 INFO  L181        SettingsManager]: Resetting Reaching Definitions preferences to default values
[2024-02-27 21:04:04,255 INFO  L181        SettingsManager]: Resetting SyntaxChecker preferences to default values
[2024-02-27 21:04:04,256 INFO  L181        SettingsManager]: Resetting Sifa preferences to default values
[2024-02-27 21:04:04,257 INFO  L184        SettingsManager]: Büchi Program Product provides no preferences, ignoring...
[2024-02-27 21:04:04,257 INFO  L181        SettingsManager]: Resetting LTL2Aut preferences to default values
[2024-02-27 21:04:04,258 INFO  L181        SettingsManager]: Resetting PEA to Boogie preferences to default values
[2024-02-27 21:04:04,259 INFO  L181        SettingsManager]: Resetting BlockEncodingV2 preferences to default values
[2024-02-27 21:04:04,259 INFO  L181        SettingsManager]: Resetting ChcToBoogie preferences to default values
[2024-02-27 21:04:04,260 INFO  L181        SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values
[2024-02-27 21:04:04,261 INFO  L181        SettingsManager]: Resetting BuchiAutomizer preferences to default values
[2024-02-27 21:04:04,262 INFO  L181        SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values
[2024-02-27 21:04:04,263 INFO  L181        SettingsManager]: Resetting CodeCheck preferences to default values
[2024-02-27 21:04:04,264 INFO  L181        SettingsManager]: Resetting InvariantSynthesis preferences to default values
[2024-02-27 21:04:04,265 INFO  L181        SettingsManager]: Resetting RCFGBuilder preferences to default values
[2024-02-27 21:04:04,265 INFO  L181        SettingsManager]: Resetting Referee preferences to default values
[2024-02-27 21:04:04,266 INFO  L181        SettingsManager]: Resetting TraceAbstraction preferences to default values
[2024-02-27 21:04:04,268 INFO  L184        SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring...
[2024-02-27 21:04:04,269 INFO  L184        SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring...
[2024-02-27 21:04:04,269 INFO  L181        SettingsManager]: Resetting TreeAutomizer preferences to default values
[2024-02-27 21:04:04,269 INFO  L181        SettingsManager]: Resetting IcfgToChc preferences to default values
[2024-02-27 21:04:04,270 INFO  L181        SettingsManager]: Resetting IcfgTransformer preferences to default values
[2024-02-27 21:04:04,270 INFO  L184        SettingsManager]: ReqToTest provides no preferences, ignoring...
[2024-02-27 21:04:04,270 INFO  L181        SettingsManager]: Resetting Boogie Printer preferences to default values
[2024-02-27 21:04:04,271 INFO  L181        SettingsManager]: Resetting ChcSmtPrinter preferences to default values
[2024-02-27 21:04:04,271 INFO  L181        SettingsManager]: Resetting ReqPrinter preferences to default values
[2024-02-27 21:04:04,272 INFO  L181        SettingsManager]: Resetting Witness Printer preferences to default values
[2024-02-27 21:04:04,273 INFO  L184        SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring...
[2024-02-27 21:04:04,273 INFO  L181        SettingsManager]: Resetting CDTParser preferences to default values
[2024-02-27 21:04:04,273 INFO  L184        SettingsManager]: AutomataScriptParser provides no preferences, ignoring...
[2024-02-27 21:04:04,273 INFO  L184        SettingsManager]: ReqParser provides no preferences, ignoring...
[2024-02-27 21:04:04,273 INFO  L181        SettingsManager]: Resetting SmtParser preferences to default values
[2024-02-27 21:04:04,274 INFO  L181        SettingsManager]: Resetting Witness Parser preferences to default values
[2024-02-27 21:04:04,274 INFO  L188        SettingsManager]: Finished resetting all preferences to default values...
[2024-02-27 21:04:04,275 INFO  L101        SettingsManager]: Beginning loading settings from /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/config/svcomp-DataRace-64bit-Automizer_Bitvector.epf
[2024-02-27 21:04:04,292 INFO  L113        SettingsManager]: Loading preferences was successful
[2024-02-27 21:04:04,292 INFO  L115        SettingsManager]: Preferences different from defaults after loading the file:
[2024-02-27 21:04:04,292 INFO  L136        SettingsManager]: Preferences of UltimateCore differ from their defaults:
[2024-02-27 21:04:04,292 INFO  L138        SettingsManager]:  * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR;
[2024-02-27 21:04:04,293 INFO  L136        SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults:
[2024-02-27 21:04:04,293 INFO  L138        SettingsManager]:  * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS
[2024-02-27 21:04:04,293 INFO  L136        SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults:
[2024-02-27 21:04:04,293 INFO  L138        SettingsManager]:  * Create parallel compositions if possible=false
[2024-02-27 21:04:04,293 INFO  L138        SettingsManager]:  * Use SBE=true
[2024-02-27 21:04:04,294 INFO  L136        SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults:
[2024-02-27 21:04:04,294 INFO  L138        SettingsManager]:  * Check unreachability of error function in SV-COMP mode=false
[2024-02-27 21:04:04,294 INFO  L138        SettingsManager]:  * Check division by zero=IGNORE
[2024-02-27 21:04:04,294 INFO  L138        SettingsManager]:  * Pointer to allocated memory at dereference=IGNORE
[2024-02-27 21:04:04,294 INFO  L138        SettingsManager]:  * If two pointers are subtracted or compared they have the same base address=IGNORE
[2024-02-27 21:04:04,294 INFO  L138        SettingsManager]:  * Check array bounds for arrays that are off heap=IGNORE
[2024-02-27 21:04:04,294 INFO  L138        SettingsManager]:  * Check absence of data races in concurrent programs=true
[2024-02-27 21:04:04,294 INFO  L138        SettingsManager]:  * Use bitvectors instead of ints=true
[2024-02-27 21:04:04,294 INFO  L138        SettingsManager]:  * Memory model=HoenickeLindenmann_4ByteResolution
[2024-02-27 21:04:04,294 INFO  L138        SettingsManager]:  * Check if freed pointer was valid=false
[2024-02-27 21:04:04,294 INFO  L138        SettingsManager]:  * Use constant arrays=true
[2024-02-27 21:04:04,295 INFO  L138        SettingsManager]:  * Pointer base address is valid at dereference=IGNORE
[2024-02-27 21:04:04,295 INFO  L136        SettingsManager]: Preferences of RCFGBuilder differ from their defaults:
[2024-02-27 21:04:04,295 INFO  L138        SettingsManager]:  * Size of a code block=SequenceOfStatements
[2024-02-27 21:04:04,295 INFO  L138        SettingsManager]:  * SMT solver=External_DefaultMode
[2024-02-27 21:04:04,295 INFO  L138        SettingsManager]:  * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000
[2024-02-27 21:04:04,295 INFO  L136        SettingsManager]: Preferences of TraceAbstraction differ from their defaults:
[2024-02-27 21:04:04,295 INFO  L138        SettingsManager]:  * Compute Interpolants along a Counterexample=FPandBP
[2024-02-27 21:04:04,296 INFO  L138        SettingsManager]:  * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles
[2024-02-27 21:04:04,296 INFO  L138        SettingsManager]:  * Trace refinement strategy=WOLF
[2024-02-27 21:04:04,296 INFO  L138        SettingsManager]:  * Command for external solver=cvc4 --incremental --print-success --lang smt 
[2024-02-27 21:04:04,296 INFO  L138        SettingsManager]:  * Automaton type used in concurrency analysis=PETRI_NET
[2024-02-27 21:04:04,296 INFO  L138        SettingsManager]:  * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true
[2024-02-27 21:04:04,296 INFO  L138        SettingsManager]:  * Order on configurations for Petri net unfoldings=DBO
[2024-02-27 21:04:04,296 INFO  L138        SettingsManager]:  * SMT solver=External_ModelsAndUnsatCoreMode
[2024-02-27 21:04:04,296 INFO  L138        SettingsManager]:  * Logic for external solver=AUFBV
[2024-02-27 21:04:04,296 INFO  L138        SettingsManager]:  * Independence relation used for large block encoding in concurrent analysis=SYNTACTIC
[2024-02-27 21:04:04,297 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-02-27 21:04:04,534 INFO  L75    nceAwareModelManager]: Repository-Root is: /tmp
[2024-02-27 21:04:04,557 INFO  L261   ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized
[2024-02-27 21:04:04,559 INFO  L217   ainManager$Toolchain]: [Toolchain 1]: Toolchain selected.
[2024-02-27 21:04:04,560 INFO  L271        PluginConnector]: Initializing CDTParser...
[2024-02-27 21:04:04,560 INFO  L275        PluginConnector]: CDTParser initialized
[2024-02-27 21:04:04,562 INFO  L432   ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c
[2024-02-27 21:04:05,601 INFO  L500              CDTParser]: Created temporary CDT project at NULL
[2024-02-27 21:04:05,893 INFO  L351              CDTParser]: Found 1 translation units.
[2024-02-27 21:04:05,894 INFO  L172              CDTParser]: Scanning /mnt/goblint-svcomp/goblint-bench/bench/concrat/ProcDump-for-Linux/main.c
[2024-02-27 21:04:05,916 INFO  L394              CDTParser]: About to delete temporary CDT project at /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/data/9a9006d54/16358ff6bf304e978da0db6b1c150b12/FLAGa70065ef5
[2024-02-27 21:04:05,931 INFO  L402              CDTParser]: Successfully deleted /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/data/9a9006d54/16358ff6bf304e978da0db6b1c150b12
[2024-02-27 21:04:05,933 INFO  L299   ainManager$Toolchain]: ####################### [Toolchain 1] #######################
[2024-02-27 21:04:05,934 INFO  L131        ToolchainWalker]: Walking toolchain with 6 elements.
[2024-02-27 21:04:05,935 INFO  L113        PluginConnector]: ------------------------CACSL2BoogieTranslator----------------------------
[2024-02-27 21:04:05,935 INFO  L271        PluginConnector]: Initializing CACSL2BoogieTranslator...
[2024-02-27 21:04:05,938 INFO  L275        PluginConnector]: CACSL2BoogieTranslator initialized
[2024-02-27 21:04:05,938 INFO  L185        PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 27.02 09:04:05" (1/1) ...
[2024-02-27 21:04:05,939 INFO  L205        PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@29b868a4 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:04:05, skipping insertion in model container
[2024-02-27 21:04:05,939 INFO  L185        PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 27.02 09:04:05" (1/1) ...
[2024-02-27 21:04:05,944 INFO  L145         MainTranslator]: Starting translation in SV-COMP mode 
[2024-02-27 21:04:06,003 INFO  L178         MainTranslator]: Built tables and reachable declarations
[2024-02-27 21:04:06,183 WARN  L611        FunctionHandler]: implicit declaration of function __builtin_va_copy
[2024-02-27 21:04:06,184 WARN  L623        FunctionHandler]: Unknown extern function time
[2024-02-27 21:04:06,185 WARN  L623        FunctionHandler]: Unknown extern function localtime
[2024-02-27 21:04:06,185 WARN  L623        FunctionHandler]: Unknown extern function strftime
[2024-02-27 21:04:06,192 WARN  L623        FunctionHandler]: Unknown extern function vsnprintf
[2024-02-27 21:04:06,195 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-02-27 21:04:06,196 WARN  L623        FunctionHandler]: Unknown extern function vsprintf
[2024-02-27 21:04:06,197 WARN  L623        FunctionHandler]: Unknown extern function puts
[2024-02-27 21:04:06,197 WARN  L623        FunctionHandler]: Unknown extern function syslog
[2024-02-27 21:04:06,254 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-02-27 21:04:06,255 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-02-27 21:04:06,343 WARN  L623        FunctionHandler]: Unknown extern function sigwait
[2024-02-27 21:04:06,346 WARN  L623        FunctionHandler]: Unknown extern function kill
[2024-02-27 21:04:06,348 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-02-27 21:04:06,349 WARN  L623        FunctionHandler]: Unknown extern function pthread_cancel
[2024-02-27 21:04:06,351 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:06,354 WARN  L623        FunctionHandler]: Unknown extern function openlog
[2024-02-27 21:04:06,358 WARN  L623        FunctionHandler]: Unknown extern function closelog
[2024-02-27 21:04:06,360 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2024-02-27 21:04:06,361 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2024-02-27 21:04:06,362 WARN  L623        FunctionHandler]: Unknown extern function sysinfo
[2024-02-27 21:04:06,371 WARN  L623        FunctionHandler]: Unknown extern function sem_init
[2024-02-27 21:04:06,387 WARN  L623        FunctionHandler]: Unknown extern function sem_destroy
[2024-02-27 21:04:06,408 WARN  L623        FunctionHandler]: Unknown extern function getopt_long
[2024-02-27 21:04:06,428 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:06,429 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:06,430 WARN  L623        FunctionHandler]: Unknown extern function stat
[2024-02-27 21:04:06,432 WARN  L623        FunctionHandler]: Unknown extern function dirname
[2024-02-27 21:04:06,433 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:06,433 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:06,434 WARN  L623        FunctionHandler]: Unknown extern function __xpg_basename
[2024-02-27 21:04:06,434 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:06,435 WARN  L623        FunctionHandler]: Unknown extern function stat
[2024-02-27 21:04:06,438 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:06,448 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-02-27 21:04:06,448 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-02-27 21:04:06,449 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:04:06,452 WARN  L623        FunctionHandler]: Unknown extern function scandir
[2024-02-27 21:04:06,457 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-02-27 21:04:06,458 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-02-27 21:04:06,458 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-02-27 21:04:06,459 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:04:06,460 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:04:06,461 WARN  L623        FunctionHandler]: Unknown extern function strrchr
[2024-02-27 21:04:06,462 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:06,462 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:06,464 WARN  L623        FunctionHandler]: Unknown extern function sigemptyset
[2024-02-27 21:04:06,464 WARN  L623        FunctionHandler]: Unknown extern function sigaddset
[2024-02-27 21:04:06,464 WARN  L623        FunctionHandler]: Unknown extern function sigaddset
[2024-02-27 21:04:06,465 WARN  L623        FunctionHandler]: Unknown extern function pthread_sigmask
[2024-02-27 21:04:06,494 WARN  L623        FunctionHandler]: Unknown extern function pthread_cancel
[2024-02-27 21:04:06,505 WARN  L623        FunctionHandler]: Unknown extern function kill
[2024-02-27 21:04:06,506 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2024-02-27 21:04:06,507 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2024-02-27 21:04:06,508 WARN  L623        FunctionHandler]: Unknown extern function uname
[2024-02-27 21:04:06,509 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:06,510 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-02-27 21:04:06,511 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:06,511 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-02-27 21:04:06,524 WARN  L623        FunctionHandler]: Unknown extern function clock_gettime
[2024-02-27 21:04:06,526 WARN  L623        FunctionHandler]: Unknown extern function pthread_cond_timedwait
[2024-02-27 21:04:06,528 WARN  L623        FunctionHandler]: Unknown extern function sem_wait
[2024-02-27 21:04:06,528 WARN  L623        FunctionHandler]: Unknown extern function sem_timedwait
[2024-02-27 21:04:06,540 WARN  L623        FunctionHandler]: Unknown extern function clock_gettime
[2024-02-27 21:04:06,545 WARN  L623        FunctionHandler]: Unknown extern function pthread_cond_timedwait
[2024-02-27 21:04:06,546 WARN  L623        FunctionHandler]: Unknown extern function pthread_detach
[2024-02-27 21:04:06,555 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-02-27 21:04:06,555 WARN  L623        FunctionHandler]: Unknown extern function opendir
[2024-02-27 21:04:06,556 WARN  L623        FunctionHandler]: Unknown extern function readdir
[2024-02-27 21:04:06,556 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2024-02-27 21:04:06,557 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-02-27 21:04:06,558 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-02-27 21:04:06,558 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-02-27 21:04:06,559 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:04:06,560 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:04:06,560 WARN  L623        FunctionHandler]: Unknown extern function strrchr
[2024-02-27 21:04:06,560 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,561 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,562 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:06,562 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,563 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:06,563 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,564 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:06,564 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,565 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:06,565 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,566 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:06,566 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,567 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,567 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,568 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,569 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,569 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,570 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,570 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,571 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,572 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,572 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,573 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,573 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,574 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,574 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,575 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,576 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,576 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,577 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,577 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:06,578 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,578 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:06,579 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,579 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:06,580 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,581 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:06,581 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,582 WARN  L623        FunctionHandler]: Unknown extern function strtoull
[2024-02-27 21:04:06,582 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,583 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,583 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,584 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:06,584 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,585 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,585 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,586 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,586 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,587 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,588 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,588 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,594 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,595 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,595 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,596 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,596 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,597 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,597 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,598 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,599 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,600 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,600 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,601 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,602 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,603 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,603 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,604 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,604 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,605 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,606 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,606 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:06,607 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,608 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:06,608 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,609 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,609 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,610 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,610 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,611 WARN  L623        FunctionHandler]: Unknown extern function strtoull
[2024-02-27 21:04:06,611 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,612 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,613 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,613 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:06,614 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,614 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,615 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,616 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,616 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,617 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,617 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,618 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,618 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,619 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,619 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,620 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,620 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,621 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,621 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,622 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:06,628 WARN  L623        FunctionHandler]: Unknown extern function geteuid
[2024-02-27 21:04:06,639 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2024-02-27 21:04:06,655 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-02-27 21:04:06,656 WARN  L623        FunctionHandler]: Unknown extern function waitpid
[2024-02-27 21:04:06,656 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-02-27 21:04:06,656 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-02-27 21:04:06,657 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-02-27 21:04:06,658 WARN  L623        FunctionHandler]: Unknown extern function kill
[2024-02-27 21:04:06,658 WARN  L623        FunctionHandler]: Unknown extern function kill
[2024-02-27 21:04:06,659 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-02-27 21:04:06,659 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-02-27 21:04:06,660 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-02-27 21:04:06,667 WARN  L623        FunctionHandler]: Unknown extern function sysinfo
[2024-02-27 21:04:06,695 WARN  L623        FunctionHandler]: Unknown extern function strtok
[2024-02-27 21:04:06,696 WARN  L623        FunctionHandler]: Unknown extern function strtok
[2024-02-27 21:04:06,698 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-02-27 21:04:06,698 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-02-27 21:04:06,699 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-02-27 21:04:06,699 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-02-27 21:04:06,700 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2024-02-27 21:04:06,701 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-02-27 21:04:06,701 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:06,702 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:04:06,704 WARN  L623        FunctionHandler]: Unknown extern function pthread_setcanceltype
[2024-02-27 21:04:06,704 WARN  L623        FunctionHandler]: Unknown extern function sem_post
[2024-02-27 21:04:06,705 WARN  L623        FunctionHandler]: Unknown extern function pthread_setcanceltype
[2024-02-27 21:04:06,711 WARN  L623        FunctionHandler]: Unknown extern function socket
[2024-02-27 21:04:06,712 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-02-27 21:04:06,712 WARN  L623        FunctionHandler]: Unknown extern function connect
[2024-02-27 21:04:06,715 WARN  L623        FunctionHandler]: Unknown extern function send
[2024-02-27 21:04:06,715 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:06,716 WARN  L623        FunctionHandler]: Unknown extern function recv
[2024-02-27 21:04:06,716 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:06,717 WARN  L623        FunctionHandler]: Unknown extern function recv
[2024-02-27 21:04:06,717 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:06,718 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-02-27 21:04:06,720 WARN  L623        FunctionHandler]: Unknown extern function time
[2024-02-27 21:04:06,720 WARN  L623        FunctionHandler]: Unknown extern function localtime
[2024-02-27 21:04:06,721 WARN  L623        FunctionHandler]: Unknown extern function strftime
[2024-02-27 21:04:06,728 WARN  L623        FunctionHandler]: Unknown extern function access
[2024-02-27 21:04:06,730 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-02-27 21:04:06,731 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-02-27 21:04:06,733 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2024-02-27 21:04:06,733 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2024-02-27 21:04:06,734 WARN  L623        FunctionHandler]: Unknown extern function sleep
[2024-02-27 21:04:06,734 WARN  L623        FunctionHandler]: Unknown extern function access
[2024-02-27 21:04:06,735 WARN  L623        FunctionHandler]: Unknown extern function unlink
[2024-02-27 21:04:06,735 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:06,739 WARN  L623        FunctionHandler]: Unknown extern function pipe
[2024-02-27 21:04:06,739 WARN  L623        FunctionHandler]: Unknown extern function fork
[2024-02-27 21:04:06,739 WARN  L623        FunctionHandler]: Unknown extern function setpgid
[2024-02-27 21:04:06,740 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-02-27 21:04:06,740 WARN  L623        FunctionHandler]: Unknown extern function dup2
[2024-02-27 21:04:06,740 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-02-27 21:04:06,740 WARN  L623        FunctionHandler]: Unknown extern function dup2
[2024-02-27 21:04:06,741 WARN  L623        FunctionHandler]: Unknown extern function execl
[2024-02-27 21:04:06,741 WARN  L623        FunctionHandler]: Unknown extern function setpgid
[2024-02-27 21:04:06,742 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-02-27 21:04:06,742 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2024-02-27 21:04:06,742 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-02-27 21:04:06,743 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2024-02-27 21:04:06,743 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:06,744 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2024-02-27 21:04:06,745 INFO  L210          PostProcessor]: Analyzing one entry point: main
[2024-02-27 21:04:06,765 INFO  L203         MainTranslator]: Completed pre-run
[2024-02-27 21:04:06,780 WARN  L611        FunctionHandler]: implicit declaration of function __builtin_va_copy
[2024-02-27 21:04:06,780 WARN  L623        FunctionHandler]: Unknown extern function time
[2024-02-27 21:04:06,781 WARN  L623        FunctionHandler]: Unknown extern function localtime
[2024-02-27 21:04:06,781 WARN  L623        FunctionHandler]: Unknown extern function strftime
[2024-02-27 21:04:06,782 WARN  L623        FunctionHandler]: Unknown extern function vsnprintf
[2024-02-27 21:04:06,782 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-02-27 21:04:06,783 WARN  L623        FunctionHandler]: Unknown extern function vsprintf
[2024-02-27 21:04:06,783 WARN  L623        FunctionHandler]: Unknown extern function puts
[2024-02-27 21:04:06,783 WARN  L623        FunctionHandler]: Unknown extern function syslog
[2024-02-27 21:04:06,787 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-02-27 21:04:06,787 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-02-27 21:04:06,791 WARN  L623        FunctionHandler]: Unknown extern function sigwait
[2024-02-27 21:04:06,792 WARN  L623        FunctionHandler]: Unknown extern function kill
[2024-02-27 21:04:06,793 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-02-27 21:04:06,793 WARN  L623        FunctionHandler]: Unknown extern function pthread_cancel
[2024-02-27 21:04:06,793 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:06,794 WARN  L623        FunctionHandler]: Unknown extern function openlog
[2024-02-27 21:04:06,795 WARN  L623        FunctionHandler]: Unknown extern function closelog
[2024-02-27 21:04:06,796 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2024-02-27 21:04:06,796 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2024-02-27 21:04:06,796 WARN  L623        FunctionHandler]: Unknown extern function sysinfo
[2024-02-27 21:04:06,798 WARN  L623        FunctionHandler]: Unknown extern function sem_init
[2024-02-27 21:04:06,806 WARN  L623        FunctionHandler]: Unknown extern function sem_destroy
[2024-02-27 21:04:06,820 WARN  L623        FunctionHandler]: Unknown extern function getopt_long
[2024-02-27 21:04:06,827 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:06,828 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:06,828 WARN  L623        FunctionHandler]: Unknown extern function stat
[2024-02-27 21:04:06,829 WARN  L623        FunctionHandler]: Unknown extern function dirname
[2024-02-27 21:04:06,830 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:06,830 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:06,830 WARN  L623        FunctionHandler]: Unknown extern function __xpg_basename
[2024-02-27 21:04:06,831 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:06,831 WARN  L623        FunctionHandler]: Unknown extern function stat
[2024-02-27 21:04:06,833 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:06,838 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-02-27 21:04:06,839 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-02-27 21:04:06,839 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:04:06,840 WARN  L623        FunctionHandler]: Unknown extern function scandir
[2024-02-27 21:04:06,843 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-02-27 21:04:06,844 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-02-27 21:04:06,844 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-02-27 21:04:06,844 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:04:06,845 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:04:06,846 WARN  L623        FunctionHandler]: Unknown extern function strrchr
[2024-02-27 21:04:06,846 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:06,846 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:06,847 WARN  L623        FunctionHandler]: Unknown extern function sigemptyset
[2024-02-27 21:04:06,861 WARN  L623        FunctionHandler]: Unknown extern function sigaddset
[2024-02-27 21:04:06,862 WARN  L623        FunctionHandler]: Unknown extern function sigaddset
[2024-02-27 21:04:06,863 WARN  L623        FunctionHandler]: Unknown extern function pthread_sigmask
[2024-02-27 21:04:06,881 WARN  L623        FunctionHandler]: Unknown extern function pthread_cancel
[2024-02-27 21:04:06,909 WARN  L623        FunctionHandler]: Unknown extern function kill
[2024-02-27 21:04:06,910 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2024-02-27 21:04:06,911 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2024-02-27 21:04:06,912 WARN  L623        FunctionHandler]: Unknown extern function uname
[2024-02-27 21:04:06,913 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:06,913 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-02-27 21:04:06,915 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:06,915 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-02-27 21:04:06,917 WARN  L623        FunctionHandler]: Unknown extern function clock_gettime
[2024-02-27 21:04:06,919 WARN  L623        FunctionHandler]: Unknown extern function pthread_cond_timedwait
[2024-02-27 21:04:06,920 WARN  L623        FunctionHandler]: Unknown extern function sem_wait
[2024-02-27 21:04:06,921 WARN  L623        FunctionHandler]: Unknown extern function sem_timedwait
[2024-02-27 21:04:06,930 WARN  L623        FunctionHandler]: Unknown extern function clock_gettime
[2024-02-27 21:04:06,944 WARN  L623        FunctionHandler]: Unknown extern function pthread_cond_timedwait
[2024-02-27 21:04:06,945 WARN  L623        FunctionHandler]: Unknown extern function pthread_detach
[2024-02-27 21:04:06,948 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-02-27 21:04:06,948 WARN  L623        FunctionHandler]: Unknown extern function opendir
[2024-02-27 21:04:06,948 WARN  L623        FunctionHandler]: Unknown extern function readdir
[2024-02-27 21:04:06,949 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2024-02-27 21:04:06,949 WARN  L623        FunctionHandler]: Unknown extern function sprintf
[2024-02-27 21:04:06,950 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-02-27 21:04:06,950 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-02-27 21:04:06,950 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:04:06,951 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:04:06,951 WARN  L623        FunctionHandler]: Unknown extern function strrchr
[2024-02-27 21:04:06,952 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,952 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,953 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:06,953 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,954 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:06,954 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,954 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:06,955 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,955 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:06,955 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,956 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:06,956 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,956 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,957 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,957 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,958 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,958 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,958 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,959 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,959 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,960 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,960 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,960 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,961 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,961 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,961 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,962 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,962 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,963 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,972 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,973 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:06,974 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,975 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:06,975 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,976 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:06,976 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,977 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:06,978 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,978 WARN  L623        FunctionHandler]: Unknown extern function strtoull
[2024-02-27 21:04:06,979 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,980 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,986 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,987 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:06,987 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,988 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,988 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,989 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,989 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,990 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,990 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,991 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,991 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,991 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,992 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,992 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,992 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,993 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,993 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,994 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,994 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,994 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,995 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,995 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,996 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,996 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,997 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,997 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,997 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,998 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:06,998 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:06,998 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:06,999 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:07,000 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:07,000 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:07,000 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:07,001 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:07,001 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:07,002 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:07,002 WARN  L623        FunctionHandler]: Unknown extern function strtoull
[2024-02-27 21:04:07,002 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:07,003 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:07,003 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:07,004 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:07,004 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:07,004 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:07,005 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:07,005 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:07,006 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:07,006 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:07,006 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:07,007 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:07,007 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:07,008 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:07,008 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:07,008 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:07,009 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:07,009 WARN  L623        FunctionHandler]: Unknown extern function strtoul
[2024-02-27 21:04:07,010 WARN  L623        FunctionHandler]: Unknown extern function strtok_r
[2024-02-27 21:04:07,010 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:07,013 WARN  L623        FunctionHandler]: Unknown extern function geteuid
[2024-02-27 21:04:07,030 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2024-02-27 21:04:07,061 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-02-27 21:04:07,061 WARN  L623        FunctionHandler]: Unknown extern function waitpid
[2024-02-27 21:04:07,062 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-02-27 21:04:07,062 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-02-27 21:04:07,063 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-02-27 21:04:07,063 WARN  L623        FunctionHandler]: Unknown extern function kill
[2024-02-27 21:04:07,064 WARN  L623        FunctionHandler]: Unknown extern function kill
[2024-02-27 21:04:07,064 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-02-27 21:04:07,065 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-02-27 21:04:07,065 WARN  L623        FunctionHandler]: Unknown extern function ptrace
[2024-02-27 21:04:07,075 WARN  L623        FunctionHandler]: Unknown extern function sysinfo
[2024-02-27 21:04:07,085 WARN  L623        FunctionHandler]: Unknown extern function strtok
[2024-02-27 21:04:07,085 WARN  L623        FunctionHandler]: Unknown extern function strtok
[2024-02-27 21:04:07,087 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-02-27 21:04:07,087 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-02-27 21:04:07,087 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-02-27 21:04:07,088 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-02-27 21:04:07,088 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2024-02-27 21:04:07,089 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-02-27 21:04:07,090 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:07,090 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:04:07,092 WARN  L623        FunctionHandler]: Unknown extern function pthread_setcanceltype
[2024-02-27 21:04:07,093 WARN  L623        FunctionHandler]: Unknown extern function sem_post
[2024-02-27 21:04:07,094 WARN  L623        FunctionHandler]: Unknown extern function pthread_setcanceltype
[2024-02-27 21:04:07,111 WARN  L623        FunctionHandler]: Unknown extern function socket
[2024-02-27 21:04:07,111 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-02-27 21:04:07,112 WARN  L623        FunctionHandler]: Unknown extern function connect
[2024-02-27 21:04:07,116 WARN  L623        FunctionHandler]: Unknown extern function send
[2024-02-27 21:04:07,117 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:07,117 WARN  L623        FunctionHandler]: Unknown extern function recv
[2024-02-27 21:04:07,117 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:07,118 WARN  L623        FunctionHandler]: Unknown extern function recv
[2024-02-27 21:04:07,119 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:07,120 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-02-27 21:04:07,123 WARN  L623        FunctionHandler]: Unknown extern function time
[2024-02-27 21:04:07,124 WARN  L623        FunctionHandler]: Unknown extern function localtime
[2024-02-27 21:04:07,124 WARN  L623        FunctionHandler]: Unknown extern function strftime
[2024-02-27 21:04:07,128 WARN  L623        FunctionHandler]: Unknown extern function access
[2024-02-27 21:04:07,131 WARN  L623        FunctionHandler]: Unknown extern function fgets
[2024-02-27 21:04:07,133 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-02-27 21:04:07,134 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2024-02-27 21:04:07,134 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2024-02-27 21:04:07,141 WARN  L623        FunctionHandler]: Unknown extern function sleep
[2024-02-27 21:04:07,141 WARN  L623        FunctionHandler]: Unknown extern function access
[2024-02-27 21:04:07,142 WARN  L623        FunctionHandler]: Unknown extern function unlink
[2024-02-27 21:04:07,142 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:07,146 WARN  L623        FunctionHandler]: Unknown extern function pipe
[2024-02-27 21:04:07,146 WARN  L623        FunctionHandler]: Unknown extern function fork
[2024-02-27 21:04:07,146 WARN  L623        FunctionHandler]: Unknown extern function setpgid
[2024-02-27 21:04:07,147 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-02-27 21:04:07,147 WARN  L623        FunctionHandler]: Unknown extern function dup2
[2024-02-27 21:04:07,147 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-02-27 21:04:07,148 WARN  L623        FunctionHandler]: Unknown extern function dup2
[2024-02-27 21:04:07,148 WARN  L623        FunctionHandler]: Unknown extern function execl
[2024-02-27 21:04:07,149 WARN  L623        FunctionHandler]: Unknown extern function setpgid
[2024-02-27 21:04:07,149 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-02-27 21:04:07,149 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2024-02-27 21:04:07,150 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-02-27 21:04:07,150 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2024-02-27 21:04:07,151 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:07,151 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2024-02-27 21:04:07,152 INFO  L210          PostProcessor]: Analyzing one entry point: main
[2024-02-27 21:04:07,195 INFO  L208         MainTranslator]: Completed translation
[2024-02-27 21:04:07,196 INFO  L202        PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:04:07 WrapperNode
[2024-02-27 21:04:07,196 INFO  L132        PluginConnector]: ------------------------ END CACSL2BoogieTranslator----------------------------
[2024-02-27 21:04:07,197 INFO  L113        PluginConnector]: ------------------------Boogie Procedure Inliner----------------------------
[2024-02-27 21:04:07,197 INFO  L271        PluginConnector]: Initializing Boogie Procedure Inliner...
[2024-02-27 21:04:07,197 INFO  L275        PluginConnector]: Boogie Procedure Inliner initialized
[2024-02-27 21:04:07,202 INFO  L185        PluginConnector]: Executing the observer TypeChecker from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:04:07" (1/1) ...
[2024-02-27 21:04:07,259 ERROR L1136           TypeChecker]: C: alphasort [1521]: Undeclared identifier #funAddr~alphasort in IdentifierExpression[#funAddr~alphasort,GLOBAL]
[2024-02-27 21:04:07,260 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-02-27 21:04:07,269 ERROR L1136           TypeChecker]: C: input->coordinator [2149]: Undeclared identifier #t~mem530 in IdentifierExpression[#t~mem530,<LOCAL,WaiterThread>]
[2024-02-27 21:04:07,269 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-02-27 21:04:07,274 ERROR L1136           TypeChecker]: C: input->coordinator [2158]: Undeclared identifier #t~mem549 in IdentifierExpression[#t~mem549,<LOCAL,WaiterThread>]
[2024-02-27 21:04:07,274 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-02-27 21:04:07,342 INFO  L185        PluginConnector]: Executing the observer Inliner from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:04:07" (1/1) ...
[2024-02-27 21:04:07,343 INFO  L132        PluginConnector]: ------------------------ END Boogie Procedure Inliner----------------------------
[2024-02-27 21:04:07,343 INFO  L184        ToolchainWalker]: Toolchain execution was canceled (user or tool) before executing de.uni_freiburg.informatik.ultimate.boogie.preprocessor
[2024-02-27 21:04:07,345 INFO  L158              Benchmark]: Toolchain (without parser) took 1409.99ms. Allocated memory was 71.3MB in the beginning and 146.8MB in the end (delta: 75.5MB). Free memory was 39.6MB in the beginning and 75.2MB in the end (delta: -35.7MB). Peak memory consumption was 69.2MB. Max. memory is 16.1GB.
[2024-02-27 21:04:07,345 INFO  L158              Benchmark]: CDTParser took 0.11ms. Allocated memory is still 56.6MB. Free memory is still 34.8MB. There was no memory consumed. Max. memory is 16.1GB.
[2024-02-27 21:04:07,346 INFO  L158              Benchmark]: CACSL2BoogieTranslator took 1261.49ms. Allocated memory was 71.3MB in the beginning and 146.8MB in the end (delta: 75.5MB). Free memory was 39.4MB in the beginning and 60.3MB in the end (delta: -20.9MB). Peak memory consumption was 52.7MB. Max. memory is 16.1GB.
[2024-02-27 21:04:07,346 INFO  L158              Benchmark]: Boogie Procedure Inliner took 146.10ms. Allocated memory is still 146.8MB. Free memory was 60.3MB in the beginning and 75.9MB in the end (delta: -15.6MB). Peak memory consumption was 16.5MB. Max. memory is 16.1GB.
[2024-02-27 21:04:07,348 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.11ms. Allocated memory is still 56.6MB. Free memory is still 34.8MB. There was no memory consumed. Max. memory is 16.1GB.
 * CACSL2BoogieTranslator took 1261.49ms. Allocated memory was 71.3MB in the beginning and 146.8MB in the end (delta: 75.5MB). Free memory was 39.4MB in the beginning and 60.3MB in the end (delta: -20.9MB). Peak memory consumption was 52.7MB. Max. memory is 16.1GB.
 * Boogie Procedure Inliner took 146.10ms. Allocated memory is still 146.8MB. Free memory was 60.3MB in the beginning and 75.9MB in the end (delta: -15.6MB). Peak memory consumption was 16.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],[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
