Extracting safe and precise control flow from binaries

Henrik Theiling. Extracting safe and precise control flow from binaries. In 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea. pages 23-30, IEEE Computer Society, 2000. [doi]

@inproceedings{Theiling00,
  title = {Extracting safe and precise control flow from binaries},
  author = {Henrik Theiling},
  year = {2000},
  url = {http://csdl.computer.org/comp/proceedings/rtcsa/2000/0930/00/09300023abs.htm},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/Theiling00},
  cites = {0},
  citedby = {0},
  pages = {23-30},
  booktitle = {7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-0930-4},
}