„static program analysis“

Suchergebnisse

227 Treffer

• Application-Dependent Hardware/Software Cross-Layer Fault Analysis
  Bartsch, Christian ; Kunz, Wolfgang 2023 Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
• GPU thread throttling for page-level thrashing reduction via static analysis
  Kim, Hyunjun ; Han, Hwansoo
• 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
• Efficient static analysis and verification of featured transition systems
  Beek, Maurice H. ˜terœ ; Damiani, Ferruccio ; Lienhardt, Michael ; Mazzanti, Franco ; Paolini, Luca
• Crowdsourced test case generation for android applications via static program analysis
  Li, Yuying ; Feng, Yang ; Guo, Chao ; Chen, Zhenyu ; Xu, Baowen
• Accumulation of damage in glass-reinforced plastics under programmed long-term static loading
  Zaitsev, G. P. ; Timofeev, A. F.
• Static and Dynamic Program Compilation by Interpreter Specialization
  Thibault, Scott ; Consel, Charles ; Lawall, Julia L. ; Marlet, Renaud ; Muller, Gilles
• Are automated static analysis tools worth it? An investigation into relative warning density and external software quality on the example of Apache open source projects
  Trautsch, Alexander ; Herbold, Steffen ; Grabowski, Jens
• On multi-language abstraction: Towards a static analysis of multi-language programs
  Buro, Samuele ; Crole, Roy ; Mastroeni, Isabella
• Dynamic Programming via Static Incrementalization
  Liu, Yanhong A. ; Stoller, Scott D.
• An empirical assessment of machine learning approaches for triaging reports of static analysis tools
  Yerramreddy, Sai ; Mordahl, Austin ; Koc, Ugur ; Wei, Shiyi ; Foster, Jeffrey S. ; Carpuat, Marine ; Porter, Adam A.
• Can static analysis tools find more defects? – A qualitative study of design rule violations found by code review
  Mehrpour, Sahar ; LaToza, Thomas D.
• Checking Contact Tracing App Implementations with Bespoke Static Analysis
  Flood, Robert ; Chan, Sheung Chi ; Chen, Wei ; Aspinall, David
• The complexity gap in the static analysis of cache accesses grows if procedure calls are added
  Monniaux, David
• Code Analysis with Static Application Security Testing for Python Program
  Ma, Li ; Yang, Huihong ; Xu, Jianxiong ; Yang, Zexian ; Lao, Qidi ; Yuan, Dong
• An empirical investigation on the challenges of creating custom static analysis rules for defect localization
  Mendonça, Diogo S. ; Kalinowski, Marcos
• Using code reviews to automatically configure static analysis tools
  Zampetti, Fiorella ; Mudbhari, Saghan ; Arnaoudova, Venera ; Penta, Massimiliano Di ; Panichella, Sebastiano ; Antoniol, Giuliano
• SMT-based false positive elimination in static program analysis
  Junker, Maximilian ; Huuck, Ralf ; Fehnker, Ansgar ; Knapp, Alexander 2012 Universität Augsburg
• Searching for Taint Vulnerabilities with Svace Static Analysis Tool
  Borodin, A. E. ; Goremykin, A. V. ; Vartanov, S. P. ; Belevantsev, A. A.