„Static code analysis“

Suchergebnisse

109 Treffer

• Program Comprehension and Quality Experiments in Programming Education
  Medvidova, Maria ; Porubän, Jaroslav 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Profile Detection Through Source Code Static Analysis
  Ferreira Novais, Daniel ; Varanda Pereira, Maria João ; Rangel Henriques, Pedro 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Multi-architecture Value Analysis for Machine Code
  Cassé, Hugues ; Birée, Florian ; Sainrat, Pascal 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Framework for Static Analysis of VHDL Code
  Schlickling, Marc ; Pister, Markus 2007 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Static analysis to make the most of CHERI C/C++ for existing code: improving memory safety at scale
  Dudina, Irina ; Stark, Ian
• Structures: A Geometric Approach – Graphical Statics and Analysis
  Saliklis, Edmond 2019 Springer International Publishing
• Seismic Design of Industrial Facilities – Proceedings of the International Conference on Seismic Design of Industrial Facilities (SeDIF-Conference)
  Klinkel, Sven 2014 Springer Fachmedien Wiesbaden GmbH
• Handbook of GC-MS – Fundamentals and Applications
  Hübschmann, Hans-Joachim 2025 Wiley-VCH
• Improving Static and Dynamic Vulnerability Analysis using Values and Dataflows
  Miltenberger, Marc ; Waidner, Michael ; Klein, Jacques 2025 Universitäts- und Landesbibliothek
• Advances in Mathematical Economics
  2006 Springer Singapore
• Advances in Mathematical Economics
  2006 Springer Singapore
• Advances in Mathematical Economics
  2005 Springer Singapore
• Statics and Influence Functions – From a Modern Perspective
  2021 Springer International Publishing
• The Science of Quantitative Information Flow
  Alvim, Mário S. ; Chatzikokolakis, Konstantinos ; McIver, Annabelle ; Morgan, Carroll ; Palamidessi, Catuscia ; Smith, Geoffrey S. 2020 Springer International Publishing
• Proton Exchange Membrane Fuel Cells – Design, Modelling and Performance Assessment Techniques
  Albarbar, Alhussein ; Alrweq, Mohmad 2018 Springer International Publishing
• Coastal Ocean Observing – Platforms, Sensors and Systems
  Corredor, Jorge 2018 Springer International Publishing
• Structural Stability and Vibration – An Integrated Introduction by Analytical and Numerical Methods
  Wiggers, Sine ; Pedersen, Pauli 2018 Springer International Publishing
• Verification of programmable logic controller code using model checking and static analysis
  Biallas, Sebastian 2016 Shaker Verlag
• Type Systems for Distributed Programs: Components and Sessions
  Dardha, Ornela 2016 Atlantis Press
• Advances in Mathematical Economics Volume 20
  Kusuoka, Shigeo 2016 Springer Singapore