„Static code analysis“

Suchergebnisse

109 Treffer

• Compiler Construction – 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
  Knoop, Jens 2011 Springer Berlin Heidelberg
• Understanding and assessing security on Android via static code analysis
  Derr, Erik ; Backes, Michael 2018 Saarländische Universitäts- und Landesbibliothek
• GPS – Theory, Algorithms and Applications
  Xu, Guochang ; Xu, Yan 2016 Springer Berlin Heidelberg
• Compiler Construction – 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
  2014 Springer Berlin Heidelberg
• Static Analysis – 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
  Podelski, Andreas 2018 Springer International Publishing
• Static Analysis – 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings
  Ranzato, Francesco 2017 Springer International Publishing
• The Pyttern Program Query Language
  Liénard, Julien ; Mens, Kim ; Nijssen, Siegfried 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Are We There Yet? On Security Vulnerabilities Produced by Open Source Generative AI Models and Its Implications for Security Education
  Santos Galeano, Maria Camila ; Gasiba, Tiago Espinha ; Amburi, Sathwik ; Pinto-Albuquerque, Maria 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Dynamic Behavior of Materials, Volume 1 – Proceedings of the 2023 Annual Conference on Experimental and Applied Mechanics
  Eliasson, Veronica ; Allison, Paul ; Jannotti, Phillip 2024 Springer Nature Switzerland, Imprint: Springer
• Web Services, Formal Methods, and Behavioral Types – 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
  Hildebrandt, Thomas ; Ravara, António ; van der Werf, Jan Martijn ; Weidlich, Matthias 2016 Springer International Publishing
• Trustworthy Global Computing – 10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers
  Ganty, Pierre ; Loreti, Michele 2016 Springer International Publishing
• Advances in Mathematical Economics – Volume 23
  Kusuoka, Shigeo ; Maruyama, Tōru 2020 Springer Singapore
• Optimization in Elliptic Problems with Applications to Mechanics of Deformable Bodies and Fluid Mechanics
  Litvinov, Vil'iam G. 2000 Springer Basel
• RacerF: Lightweight Static Data Race Detection for C Code (Experience Paper)
  Dacík, Tomáš ; Vojnar, Tomáš 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards automatic generation of functionality semantics to improve PLC software modularization
  Wilch, Jan ; Fischer, Juliane ; Langer, Nikolai ; Felger, Markus ; Bengel, Matthias ; Vogel-Heuser, Birgit
• Partial Redundancy Elimination in Two Iterative Data Flow Analyses
  Roy, Reshma ; S, Sreekala ; Paleri, Vineeth 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Static Analysis for AWS Best Practices in Python Code
  Mukherjee, Rajdeep ; Tripp, Omer ; Liblit, Ben ; Wilson, Michael 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Correct-By-Construction Microservices with Model-Driven Engineering: The Case for Architectural Pattern Conformance Checking and Pattern-Conform Code Generation
  Rademacher, Florian 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Program analysis for code duplication in logic programs
  Dandois, Celine 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Determining Programming Languages Complexity and Its Impact on Processing
  Pinto, Gonçalo Rodrigues ; Henriques, Pedro Rangel ; da Cruz, Daniela ; Cruz, João 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik