@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}, }