Side-effect analysis of assembly code

  • Authors:
  • Andrea Flexeder;Michael Petter;Helmut Seidl

  • Affiliations:
  • Technische Universität München, Garching, Germany;Technische Universität München, Garching, Germany;Technische Universität München, Garching, Germany

  • Venue:
  • SAS'11 Proceedings of the 18th international conference on Static analysis
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we present a light-weight interprocedural side-effect analysis on assembly code. We represent the modifying potential of a procedure f by classifying all write accesses, occurring within f, relative to the parameter registers. In particular our approach is the first to accurately handle reference parameters. We demonstrate the usefulness of this approach by integrating this analysis into our assembly analyser and provide an evaluation of the precision of our approach. Approximately 50 per cent of all procedures can be statically shown to have side-effects.