„Statische Programmanalyse“

Suchergebnisse

1.000+ Treffer

• Strategieverbesserungsalgorithmen für exakte Programmanalysen
  Gawlitza, Thomas Martin 2009 Verlag Dr. Hut
• Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
  Mohr, Martin ; Snelting, Gregor ; Hammer, Christian 2023 KIT Scientific Publishing
• Policy iteration for value set analysis of PLC programs
  Völker, Marcus ; Kowalewski, Stefan ; Beckert, Bernhard 2023 Universitätsbibliothek der RWTH Aachen
• Program analysis of WebAssembly binaries
  Lehmann, Daniel ; Pradel, Michael 2022 Universitätsbibliothek der Universität Stuttgart
• Functional Abstract Interpretation
  Graf, Sebastian ; Snelting, Gregor ; Brachthäuser, Jonathan I. 2025 KIT-Bibliothek
• A framework for machine learning based mapping of concurrent applications to parallel architectures
  Tetzlaff, Dirk ; Glesner, Sabine ; Marwedel, Peter ; Knoop, Jens 2014 Technische Universität Berlin
• Kombinierte statische Ermittlung von Zeigerzielen, Kontroll- und Datenfluss
  Staiger-Stöhr, Stefan
• Eine ökonomische statische Analysemethode zur Berechnung von relational attributes mittels regulärer Pfadbedingungen und ihre Anwendung auf Zeigeranalyse
  Mian Syed, Ahmed
• Program analysis and compilation, theory and practice – essays dedicated to Reinhard Wilhelm on the occasion of his 60th Birthday
  Reps, Thomas W. ; Wilhelm, Reinhard 2007 Springer
• Static analysis – 5th international symposium ; proceedings
  Levi, Giorgio 2002 Springer
• Static analysis – 8th international symposium ; proceedings
  Cousot, Patrick 2001 Springer
• Numeric Inference of Heap Shapes for the Automated Analysis of Heap-Allocating Programs
  Siegel, Holger 2016 Verlag Dr. Hut
• Static detection of inevitable errors – = Statische Erkennung von unvermeidbaren Fehlern
  Schäf, Martin ; Podelski, Andreas 2011 Universität
• Understanding variability in space and time – analyzing features and revisions in concert
  Sattler, Florian Ferdinand ; Apel, Sven 2023 Saarländische Universitäts- und Landesbibliothek
• Schwierigkeiten für statische Programmanalysen in der Praxis
  Stach, Christoph 2008 Universitätsbibliothek der Universität Stuttgart
• Statische Analyse von Programmen mit Bibliotheken
  Tran, Minh Cuong 2009 Universitätsbibliothek der Universität Stuttgart
• Eine adaptive Steuerung für statische Programmanalysen
  Yao, Hongliang 2008 Universitätsbibliothek der Universität Stuttgart
• Verbesserung statischer Analysen in praxisrelevanten Fällen
  Teuber, Arthur 2008 Universitätsbibliothek der Universität Stuttgart
• Statische Programmanalyse/Static program analysis
  Blaschek, G.
• Scaling static whole-program analysis to modern C and C++ software development – statically analyzing C and C++ software with PhASAR
  Schubert, Philipp Dominik 2024 Universitätsbibliothek