Search 250 million research papers

Read the abstract, see who wrote it and who cites it, and get the citation in APA, MLA, Chicago or Harvard.

About 10,000 papers for “Static analysis”

Static Analysis

Auerbach Publications eBooks · 2015

Cited by 0

Static Analysis

Alpuente, María, SAS 2008 Valencia · Lecture notes in computer science · 2008

Cited by 0

Static Analysis

Manuel V. Hermenegildo, José F. Morales · Lecture notes in computer science · 2023

Cited by 1Open access

Static Analysis

Emily Jing, Wei Whiting, John Ochsendorf et al. · 2011

Cited by 0

Static Analysis

James F. Doyle · Cambridge University Press eBooks · 2009

There are two important concepts in the design of structures to withstand loads. One is stiffness, which relates to the ability of a structure to maintain its shape under load; the other is stress, which relates to the fact that all structural materials can withstand only a certain level of stress without failing. Stiffness is a global structural concept, whereas stress is a local concept.

Cited by 0

Static Analysis

2015

This chapter discusses how we can use static analysis techniques to discover vulnerabilities in antivirus software. It focuses on the de facto tool for static analysis, IDA. As an example, the chapter shows us how to manually audit an old version of F-Secure Anti-Virus for Linux with the aim of discovering some vulnerability that we could exploit remotely, such as a bug in the file format parsers. Fortunately for reverse-engineers, this antivirus product comes with symbolic information, which makes the static analysis audit easier. For experimentation and demonstration purposes, the chapter uses the antivirus product F-Secure Anti-Virus for Linux. Static analysis can be applied to any other source code listing and not just a disassembler code listing. The chapter covers a bug in eScan Antivirus for Linux that can be discovered by statically analyzing the PHP source code of the management web application.

Cited by 0

Static Analysis

Agostino Cortesi, Gilberto Filé · Science of Computer Programming · 2003

Cited by 0

Static Analysis

SAS 2025 Singapur, Oh, Hakjoo, Sui, Yulei · Lecture notes in computer science · 2025

Cited by 0

Static Analysis

Antoine Miné, David Schmidt · Lecture notes in computer science · 2012

Cited by 2

Static Analysis

Sandrine Blazy, Thomas Wiben Jensen · Lecture notes in computer science · 2015

Cited by 1

Static Analysis

SAS 2018 Freiburg im Breisgau, Podelski, Andreas · Lecture notes in computer science · 2018

Cited by 1

Static Analysis

SAS 2020 Online, David Pichardie, Mihaela Sighireanu · Lecture notes in computer science · 2020

This book Static Analysis presents theoretical, practical, and application advances in this area and is a fundamental tool for e. g. program verification.

Cited by 1Open access

Static analysis

Hatton, Les · Research Repository (Kingston University London) · 2002

Cited by 0

Static Analysis

Drăgoi, Cezara, Cezara Drăgoi, Suvam Mukherjee · Lecture notes in computer science · 2021

Cited by 0

Static analysis

Jean-Pierre Merlet · Solid mechanics and its applications · 2000

Cited by 0

Static Analysis

Cortesi, Agostino, File', G. · ARCA (Università Ca' Foscari Venezia) · 1999

Cited by 0Open access

Static Analysis

Abhijit Mohanta, Anoop Saldanha · Apress eBooks · 2020

Malware can be analyzed both with and without execution. Static analysis is the analysis of a sample without executing it, as opposed to executing it and analyzing its behavior, which is known as dynamic analysis. While static analysis of a sample might look like a wholly separate and independent phase in the analysis process, it is not! Analyzing a malware sample and its various artifacts is a constant back and forth motion between static and dynamic analysis. In this chapter, we introduce the steps and various tools and tricks that one can use to statically analyze a sample.

Cited by 0

Static Analysis

Yi, Kwangkeun · Lecture notes in computer science · 2006

Cited by 1