Towards a Flow Analysis for Embedded System C Programs

Jan Gustafsson, Andreas Ermedahl, Björn Lisper. Towards a Flow Analysis for Embedded System C Programs. In 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2-4 February 2005, Sedona, AZ, USA. pages 287-300, IEEE Computer Society, 2005. [doi]

@inproceedings{GustafssonEL05,
  title = {Towards a Flow Analysis for Embedded System C Programs},
  author = {Jan Gustafsson and Andreas Ermedahl and Björn Lisper},
  year = {2005},
  doi = {10.1109/WORDS.2005.53},
  url = {http://doi.ieeecomputersociety.org/10.1109/WORDS.2005.53},
  tags = {program analysis, analysis, data-flow programming, data-flow, C++, data-flow analysis},
  researchr = {https://researchr.org/publication/GustafssonEL05},
  cites = {0},
  citedby = {0},
  pages = {287-300},
  booktitle = {10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2-4 February 2005, Sedona, AZ, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2347-1},
}