„Static code analysis“

Suchergebnisse

109 Treffer

• Advances in Mathematical Economics Volume 20
  2016 Springer Singapore
• Directed Algebraic Topology and Concurrency
  Fajstrup, Lisbeth ; Goubault, Eric 2016 Springer International Publishing
• Verified Software: Theories, Tools and Experiments – 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
  Giannakopoulou, Dimitra ; Kroening, Daniel 2014 Springer International Publishing
• Particulate Products – Tailoring Properties for Optimal Performance
  2014 Springer International Publishing
• Nonlinear Power Flow Control Design – Utilizing Exergy, Entropy, Static and Dynamic Stability, and Lyapunov Analysis
  Robinett III, Rush D. ; Wilson, David G. 2011 Springer London
• Static analysis – 17th international symposium ; proceedings
  Cousot, Radhia 2010 Springer
• Exploring the Use of Static Data Flow Analysis for Automatic Vulnerability Audits of Rust Code
  Budde, Ingo ; Liggesmeyer, Peter ; Bodden, Eric 2024 Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
• On the adequacy of static analysis warnings with respect to code smell prediction
  Pecorelli, Fabiano ; Lujan, Savanna ; Lenarduzzi, Valentina ; Palomba, Fabio ; De Lucia, Andrea
• Graph and Model Transformation – General Framework and Applications
  Ehrig, Hartmut ; Ermel, Claudia 2015 Springer Berlin
• GPS – Theory, Algorithms and Applications
  Xu, Guochang ; Xu, Yan 2016 Springer Berlin
• Analysis of Security Findings and Reduction of False Positives through Large Language Models
  Wagner, Jonas 2024 Hochschule für Technik, Wirtschaft und Kultur
• Applying static code analysis for domain-specific languages
  Ruiz, Iván ; Person, Tatiana ; Dodero, Juan Manuel ; Mota, José Miguel ; Merchán Sánchez-Jara, Javier F.
• From static code analysis to visual models of microservice architecture
  Cerny, Tomas ; Abdelfattah, Amr S. ; Yero, Jorge ; Taibi, Davide
• Operating systems II - student projects
  Grapentin, Andreas ; Tiedt, Clemens ; Polze, Andreas 2023 Universitätsverlag Potsdam
• Operating systems II - student projects
  Garus, Marcel ; Sawahn, Rohan ; Wanke, Jonas ; Tiedt, Clemens ; Granzow, Clara ; Kuffner, Tim ; Rosenbaum, Jannis ; Hagemann, Linus ; Wollnik, Tom ; Woth, Lorenz ; Auringer, Felix ; Kantusch, Tobias ; Roth, Felix ; Hanff, Konrad ; Schilli, Niklas ; Seibold, Leonard ; Lindner, Marc Fabian ; Raschack, Selina ; Grapentin, Andreas ; Polze, Andreas 2023 Universität Potsdam
• Security compliance in model-driven development of software systems in presence of long-term evolution and variants
  Peldszus, Sven Matthias 2022 Springer Vieweg
• Security Compliance in Model-driven Development of Software Systems in Presence of Long-Term Evolution and Variants
  Peldszus, Sven Matthias 2022 Springer Fachmedien Wiesbaden
• Quality assessment procedure for IEC 61131-3-based control software for machine and plant manufacturers
  Fischer, Juliane Barbara 2023 sierke VERLAG, Sierke WWS GmbH
• Keyword-labeled self-admitted technical debt and static code analysis have significant relationship but limited overlap
  Rantala, Leevi ; Mäntylä, Mika ; Lenarduzzi, Valentina
• Static Analysis of Corpus of Source Codes of Python Applications
  Kapustin, D. A. ; Shvyrov, V. V. ; Shulika, T. I.