@inproceedings{Flexeder11Side,
  author = {Andrea Flexeder and Michael Petter and Helmut Seidl},
  title = {Side-{E}ffect {A}nalysis of {A}ssembly {C}ode},
  booktitle = {18th International Symposium on Static Analysis},
  year = 2011,
  pages = {77-94},
  doi = {10.1007/978-3-642-23702-7_10},
  address = {Venice, Italy},
}