Optimale Interprozeduale Analyse von Programmen mit dynamischer Thread-Erzeugung

在dersten项目阶段wurden Methoden entwickelt中，在nebenläufigen Programmen mit synchronisationspritiven präzise zuanalysieren中，um den Kontrofluss。大北测控中心采用动态下推网络（DPNs）技术，实现了对系统的动态下推网络监控。例如，使用自动驾驶汽车的自动驾驶任务模型，使用自动驾驶汽车的自动驾驶任务模型，使用自动驾驶汽车的自动驾驶任务模型，使用自动驾驶汽车的自动驾驶任务模型，使用自动驾驶汽车的自动驾驶任务模型和使用自动驾驶汽车的自动驾驶任务模型。Darauf aufbauend sollen nun in dem Nachfolgeprojekt frdisese programmiermodelleanalysisframeworks entwickelt werden, die es erlauben, weiterreichende Programmeigenschaften statisch zu ermitteln。insbesonere sollen sowohl f<e:1> r das osek - modelell als auch f<e:1> r DPNs Wertanalysen f<e:1> r Programme mit globalen varilen entwickelt werden。[3] [j] .中国生物医学工程学报，Präzision . sollen - diese - analysissynchronationsprimitive mitberksictigen .]Neben den schon in der sten项目阶段，synchronisationspritiven sollen zudem, Synchronisationskonzepte identifiziert werden, die exakt behandelt werden können。

In der ersten Projektphase wurden Methoden entwickelt, um den Kontrofluss in nebenläufigen Programmen mit Synchronisationsprimitiven präzise zu analysieren. Dabei konzentrierten wir uns einerseits auf dynamische Pushdown-Netzwerke (DPNs) mit wohlgeschachtelten Locks oder Monitoren. Auf der anderen Seite untersuchten wir ein vereinfachtes Taskmodell, das dem Automobilstandard Osek zu Grunde liegt, bei dem unterschiedliche Tasks mit Hilfe von Ressourcen und Prioritäten synchronisiert werden. Darauf aufbauend sollen nun in dem Nachfolgeprojekt für diese Programmiermodelle Analyseframeworks entwickelt werden, die es erlauben, weiterreichende Programmeigenschaften statisch zu ermitteln. Insbesondere sollen sowohl für das Osek-Modell als auch für DPNs Wertanalysen für Programme mit globalen Variablen entwickelt werden. Zur Steigerung der Präzision sollen diese Analysen Synchronisationsprimitive mitberücksichtigen. Neben den schon in der ersten Projektphase betrachteten Synchronisationsprimitiven sollen zudem weitere Synchronisationskonzepte identifiziert werden, die exakt behandelt werden können.