„Static code analysis“

Suchergebnisse

1.000+ Treffer

• Handbook of GC-MS – Fundamentals and Applications
  Hübschmann, Hans-Joachim 2025 Wiley-VCH
• What really changes when developers intend to improve their source code: a commit-level study of static metric value and static analysis warning changes
  Trautsch, Alexander ; Erbel, Johannes ; Herbold, Steffen ; Grabowski, Jens
• Generation of Secure Runtime Environments for Untrusted Applications Through Machine Code Analysis
  Witt, Michael 2021 Freie Universität Berlin
• Static code analysis in multi-threaded environments
  Ehrhardt, Christian
• Static analysis – 16th international symposium ; proceedings
  Palsberg, Jens 2009 Springer
• Static Analysis – 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
  Cousot, Radhia 2011 Springer Berlin Heidelberg
• Static analysis – 15th international symposium ; proceedings
  Alpuente, María 2008 Springer
• Static analysis – 14th international symposium ; proceedings
  Nielson, Hanne Riis 2007 Springer
• Static analysis – 13th international symposium ; proceedings
  Yi, Kwangkeun 2006 Springer
• Tracking the shape of data frames in R programs using abstract interpretation
  Gerstl, Oliver 2025 Universität Ulm
• Maschinelles Lernen für statische Codeanalysen
  Schädler, Florian ; Buth, Bettina ; von Luck, Kai 2024 Hochschule für Angewandte Wissenschaften Hamburg
• Verification of programmable logic controller code using model checking and static analysis
  Biallas, Sebastian ; Kowalewski, Stefan ; Fay, Alexander 2016 Universitätsbibliothek der RWTH Aachen
• Static detection of inevitable errors – = Statische Erkennung von unvermeidbaren Fehlern
  Schäf, Martin ; Podelski, Andreas 2011 Universität
• Verification of Programmable Logic Controller Code using Model Checking and Static Analysis
  Biallas, Sebastian 2016 Shaker
• Incremental Construction of Code Property Graphs
  Hopstock, Samuel 2021 GRIN Verlag
• Incremental Construction of Code Property Graphs
  Hopstock, Samuel 2021 GRIN Verlag
• Vergleich von Fagan-Inspektionen und werkzeuggestützter statischer Codeanalyse – Comparison of Fagan inspections and static code-analysis tools
  Riegg, Tobias 2012 GRIN Verlag
• Collection telemetry data for a static code analysis tool in a data protection compliant way
  Wang, Xusong 2021 Universitätsbibliothek der Universität Stuttgart
• Automatic derivation of rules for static security analysis from public source code repositories
  Berberich, Jens 2022 Universitätsbibliothek der Universität Stuttgart
• Secure infrastructure for exchanging rules in static code analysis tools
  Pohl, Timo 2021 Universitätsbibliothek der Universität Stuttgart