„static program analysis“

Suchergebnisse

227 Treffer

• Interprocedural Static Analysis for Finding Bugs in Go Programs
  Bolotnikov, I. V. ; Borodin, A. E.
• Static probabilistic timing analysis for multi-path programs
  Lesage, Benjamin ; Griffin, David ; Altmeyer, Sebastian ; Davis, Robert I. ; Gill, Chris ; Caccamo, Marco 2015 Universität Augsburg
• Effect of ordered set on feasibility analysis of static-priority system
  Min-Allah, Nasro
• An Approach to Reachability Determination for Static Analysis Defects with the Help of Dynamic Symbolic Execution
  Gerasimov, A. Yu ; Kruglov, L. V. ; Ermakov, M. K. ; Vartanov, S. P.
• Quantitative static analysis of communication protocols using abstract Markov chains
  Ouadjaout, Abdelraouf ; Miné, Antoine
• Comparative Analysis of Two Approaches to Static Taint Analysis
  Belyaev, M. V. ; Shimchik, N. V. ; Ignatyev, V. N. ; Belevantsev, A. A.
• Static analysis for detecting high-level races in RTOS kernels
  Pai, Rekha ; Singh, Abhishek ; D’Souza, Deepak ; D’Souza, Meenakshi ; Prakash, Prathibha
• A Flexible Tool for Estimating Applications Performance and Energy Consumption Through Static Analysis
  Marantos, Charalampos ; Salapas, Konstantinos ; Papadopoulos, Lazaros ; Soudris, Dimitrios
• Static analysis for discovering IoT vulnerabilities
  Ferrara, Pietro ; Mandal, Amit Kr ; Cortesi, Agostino ; Spoto, Fausto
• Scaled Static Analysis and IP Reuse for Out-of-Order Parallel SystemC Simulation
  Cheng, Zhongqi ; Schmidt, Tim ; Dömer, Rainer
• On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs
  Lesage, Benjamin ; Griffin, David ; Altmeyer, Sebastian ; Cucu-Grosjean, Liliana ; Davis, Robert I. 2018 Universität Augsburg
• How developers engage with static analysis tools in different contexts
  Vassallo, Carmine ; Panichella, Sebastiano ; Palomba, Fabio ; Proksch, Sebastian ; Gall, Harald C. ; Zaidman, Andy
• Rigid block modelling of historic masonry structures using mathematical programming: a unified formulation for non-linear time history, static pushover and limit equilibrium analysis
  Portioli, Francesco P. A.
• Relational Program Reasoning Using Compiler IR – Combining Static Verification and Dynamic Analysis
  Kiefer, Moritz ; Klebanov, Vladimir ; Ulbrich, Mattias
• SharpChecker: Static analysis tool for C# programs
  Koshelev, V. K. ; Ignatiev, V. N. ; Borzilov, A. I. ; Belevantsev, A. A.
• User-aware privacy control via extended static-information-flow analysis
  Xiao, Xusheng ; Tillmann, Nikolai ; Fahndrich, Manuel ; Halleux, Jonathan de ; Moskal, Michal ; Xie, Tao
• Using static analysis to improve automatic test generation
  Bozga, Marius ; Fernandez, Jean-Claude ; Ghirvu, Lucian
• Static analysis for concurrent programs with applications to data race detection
  Kahlon, Vineet ; Sankaranarayanan, Sriram ; Gupta, Aarti
• Compiler construction – 20th international conference ; proceedings
  Knoop, Jens 2011 Springer
• Multilevel static analysis for improving program quality
  Belevantsev, A. A.