We show how side-effecting constraint systems provide a unified framework for realizing efficient interprocedural analyses of programs, where the amount of context-sensitivity can be adjusted and where the context-sensitive analyses of local properties can be combined with flow-insensitive analyses of global properties. To use the widening and narrowing approach on (side-effecting) constraint systems, we present a novel operator together with adapted versions of solving algorithms. Finally, we report on the various implementation challenges that arose in the Goblint tool.      «

We show how side-effecting constraint systems provide a unified framework for realizing efficient interprocedural analyses of programs, where the amount of context-sensitivity can be adjusted and where the context-sensitive analyses of local properties can be combined with flow-insensitive analyses of global properties. To use the widening and narrowing approach on (side-effecting) constraint systems, we present a novel operator together with adapted versions of solving algorithms. Finally, we r...     »

Wir zeigen, dass Ungleichungssysteme mit Seiteneffekten einen einheitlichen Rahmen für die Realisierung von effizienten interprozeduralen Analysen von Programmen bieten, speziell wenn der Umfang der Kontextsensitivität einzugestellt ist und lokale, kontextsensitive Analysen mit globalen, kontextinsensitiven Analysen zu kombinieren ist. Um widening und narrowing auf diese Ungleichungssysteme anzuwenden, stellen wir einen neuen Lösungsalgorithmen vor. Weiterhin diskutieren wir Herausforderungen die bei der Implementierung im Goblint Werkzeugs gelöst wurden.     «

Wir zeigen, dass Ungleichungssysteme mit Seiteneffekten einen einheitlichen Rahmen für die Realisierung von effizienten interprozeduralen Analysen von Programmen bieten, speziell wenn der Umfang der Kontextsensitivität einzugestellt ist und lokale, kontextsensitive Analysen mit globalen, kontextinsensitiven Analysen zu kombinieren ist. Um widening und narrowing auf diese Ungleichungssysteme anzuwenden, stellen wir einen neuen Lösungsalgorithmen vor. Weiterhin diskutieren wir Herausforderungen di...     »