@inproceedings{meng+:issta16,
  address = {New York, NY, USA},
  author = {Meng, Xiaozhu and Miller, Barton P.},
  booktitle = {Proceedings of the 25th International Symposium on Software Testing and Analysis},
  date-added = {2020-11-15 23:36:57 -0800},
  date-modified = {2020-11-15 23:36:57 -0800},
  isbn = {9781450343909},
  keywords = {Jump table model, Challenging code constructs, Static binary code analysis},
  location = {Saarbr\"{u}cken, Germany},
  numpages = {12},
  pages = {24--35},
  publisher = {Association for Computing Machinery},
  series = {ISSTA 2016},
  title = {Binary Code is Not Easy},
  year = {2016},
  bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAZcGFwZXJzL21lbmcraXNzdGExNi1hLnBkZk8RAW4AAAAAAW4AAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAAAAAABCRAAB/////xJtZW5nK2lzc3RhMTYtYS5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD/////AAAAAAAAAAAAAAAAAAEAAwAACiBjdQAAAAAAAAAAAAAAAAAGcGFwZXJzAAIAOC86VXNlcnM6Z2FtYmxpbjI6c3JjOmJ1aWxkLWJpYjpwYXBlcnM6bWVuZytpc3N0YTE2LWEucGRmAA4AJgASAG0AZQBuAGcAKwBpAHMAcwB0AGEAMQA2AC0AYQAuAHAAZABmAA8AGgAMAE0AYQBjAGkAbgB0AG8AcwBoACAASABEABIANlVzZXJzL2dhbWJsaW4yL3NyYy9idWlsZC1iaWIvcGFwZXJzL21lbmcraXNzdGExNi1hLnBkZgATAAEvAAAVAAIAD///AAAACAANABoAJABAAAAAAAAAAgEAAAAAAAAABQAAAAAAAAAAAAAAAAAAAbI=},
  bdsk-url-1 = {https://doi.org/10.1145/2931037.2931047}
}