„Statische Programmanalyse“
Suchergebnisse
1.000+ Treffer
-
Strategieverbesserungsalgorithmen für exakte Programmanalysen
-
Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
-
Policy iteration for value set analysis of PLC programs
-
Program analysis of WebAssembly binaries
-
Functional Abstract Interpretation
-
A framework for machine learning based mapping of concurrent applications to parallel architectures
-
Kombinierte statische Ermittlung von Zeigerzielen, Kontroll- und Datenfluss
-
Eine ökonomische statische Analysemethode zur Berechnung von relational attributes mittels regulärer Pfadbedingungen und ihre Anwendung auf Zeigeranalyse
-
Program analysis and compilation, theory and practice – essays dedicated to Reinhard Wilhelm on the occasion of his 60th Birthday
-
Static analysis – 5th international symposium ; proceedings
-
Static analysis – 8th international symposium ; proceedings
-
Numeric Inference of Heap Shapes for the Automated Analysis of Heap-Allocating Programs
-
Static detection of inevitable errors – = Statische Erkennung von unvermeidbaren Fehlern
-
Understanding variability in space and time – analyzing features and revisions in concert
-
Schwierigkeiten für statische Programmanalysen in der Praxis
-
Statische Analyse von Programmen mit Bibliotheken
-
Eine adaptive Steuerung für statische Programmanalysen
-
Verbesserung statischer Analysen in praxisrelevanten Fällen
-
Statische Programmanalyse/Static program analysis
-
Scaling static whole-program analysis to modern C and C++ software development – statically analyzing C and C++ software with PhASAR