elteikthesis.bib

@book{patriotmissle,
	title = {Software problems led to system failure at Dhahran, Saudi Arabia.},
	year = {1992},
	pages = {16},
	publisher = {Information Management and Technology Division, US General Accounting Office},
	address = {Washington DC},
}

@misc{knight,
	author = {Matthew Philips},
	title = {Knight Shows How to Lose \$440 Million in 30 Minutes},
	url = {https://www.bloomberg.com/news/articles/2012-08-02/knight-shows-how-to-lose-440-million-in-30-minute},
	urldate = {2020-05-13}
} 

@misc{heathrow,
	author = {Michael Krigsman},
	title = {IT failure at Heathrow T5: What really happened},
	url = {https://www.zdnet.com/article/it-failure-at-heathrow-t5-what-really-happened/},
	urldate = {2020-05-13}
} 

@misc{ariane,
	title = {Cluster (spacecraft) Launch Failure},
	url = {https://en.wikipedia.org/wiki/Cluster_(spacecraft)#Launch_failure},
	urldate = {2020-05-13}
} 

@misc{heartbleed,
	title = {Hearthbleed Bug},
	url = {https://heartbleed.com/},
	urldate = {2020-05-13}
} 

@book{seicertc,
	title = {SEI CERT C Coding Standard: Rules for Developing Safe, Reliable, and Secure Systems},
	year = {2016},
	edition = {2016},
	publisher = {CERT},
}

@book{seicertcpp,
	title = {SEI CERT C++ Coding Standard: Rules for Developing Safe, Reliable, and Secure Systems},
	year = {2016},
	edition = {2016},
	publisher = {CERT},
}

@misc{pos34,
	title = {POS34-C. Do not call putenv() with a pointer to an automatic variable as the argument},
	url = {https://wiki.sei.cmu.edu/confluence/x/6NYxBQ},
	urldate = {2020-05-13}
}

@misc{env31,
	title = {ENV31-C. Do not rely on an environment pointer following an operation that may invalidate it},
	url = {https://wiki.sei.cmu.edu/confluence/x/5NUxBQ},
	urldate = {2020-05-13}
}

@misc{env34,
	title = {ENV34-C. Do not store pointers returned by certain functions},
	url = {https://wiki.sei.cmu.edu/confluence/x/8tYxBQ},
	urldate = {2020-05-13}
}

@misc{putenv,
	title = {putenv function documentation IEEE Std 1003.1},
	url = {https://pubs.opengroup.org/onlinepubs/009696699/functions/putenv.html},
	urldate = {2020-05-13}
}

@misc{environ,
	title = {environ - Global array to hold environment variables},
	url = {https://www.mkssoftware.com/docs/man5/environ.5.asp},
	urldate = {2020-05-13}
}

@misc{3main,
	title = {The C Standard, J.5.1 [ISO/IEC 9899:2011] ISO/IEC. Programming Languages—C, 3rd ed (ISO/IEC 9899:2011). Geneva, Switzerland: ISO, 2011..},
}

@misc{wenviron,
	title = {\_environ, \_wenviron},
	url = {https://docs.microsoft.com/en-us/cpp/c-runtime-library/environ-wenviron?view=msvc-160},
	urldate = {2020-05-13}
}

@misc{annexk,
	title = {Updated Field Experience With Annex K — Bounds Checking Interfaces},
	url = {http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1969.htm},
	urldate = {2020-05-13}
}

@misc{clangsa,
	title = {Finding software bugs with the clang static analyzer},
	author = {Ted Kremenek{,} Apple Inc.},
	year = {2008}
}

@article{memorym,
	author = {Zhongxing Xu{,} Ted Kremenek{,} Jian Zhang},
	title = {A memory model for staticanalysis of C programs},
	journal = {International Symposium On Leveraging Applications of Formal Methods, Verification and Validation},
	issue_date = {2010},
	pages = {535--548},
	publisher = {Springer},
} 

@misc{posix,
	title = {What is POSIX?},
	author = {Seth Kenlon},
	year = {2019},
	url = {https://opensource.com/article/19/7/what-posix-richard-stallman-explains},
	urldate = {2020-05-13}
}

@misc{llvm-dev-meeting,
	title = {LLVM Developers’ Meeting -- Building a Checker in 24 hours },
	author = {Anna Zaks{,} Jordan Rose},
	year = {2012},
	url = {https://llvm.org/devmtg/2012-11/Zaks-Rose-Checker24Hours.pdf},
	urldate = {2020-05-13}
}

@misc{llvm-project,
	title = {LLVM Project},
	url = {https://github.com/llvm/llvm-project},
	urldate = {2020-05-13}
}

@misc{scan-build,
	title = {scan-build},
	url = {https://clang-analyzer.llvm.org/scan-build.html},
	urldate = {2020-05-13}
}

@misc{cc,
	title = {CodeChecker},
	url = {https://github.com/Ericsson/codechecker},
	urldate = {2020-05-13}
}

@misc{git,
	title = {Git},
	url = {https://git-scm.com/},
	urldate = {2020-05-13}
}


@misc{ninja,
	title = {Ninja},
	url = {https://ninja-build.org/},
	urldate = {2020-05-13}
}

@misc{noqa,
	title = {The Checker Developer's Guide},
	author = {Artem Dergachev},
	url = {https://github.com/haoNoQ/clang-analyzer-guide},
	urldate = {2020-05-13}
}

@misc{llvm,
	title = {The LLVM Compiler Infrastructure},
	url = {https://llvm.org/},
	urldate = {2020-05-13}
}

@misc{sqlite,
	title = {SQLite},
	url = {https://www.sqlite.org/},
	urldate = {2020-05-13}
}

@misc{ffmpeg,
	title = {FFmpeg},
	url = {https://www.ffmpeg.org/},
	urldate = {2020-05-13}
}

@incollection{dijkstra1979goto,
	author = {Dijkstra, E.},
	chapter = {Go to Statement Considered Harmful},
	title = {Classics in Software Engineering},
	editor = {Yourdon, Edward Nash},
	year = {1979},
	isbn = {0-917072-14-6},
	pages = {27--33},
	numpages = {7},
	url = {http://dl.acm.org/citation.cfm?id=1241515.1241518},
	acmid = {1241518},
	publisher = {Yourdon Press},
	address = {Upper Saddle River, NJ, USA},
}

@article{krasner1988mvc,
	author = {Krasner, Glenn E. and Pope, Stephen T.},
	title = {A Cookbook for Using the Model-View-Controller User Interface Paradigm in Smalltalk-80},
	journal = {J. Object Oriented Program.},
	issue_date = {Aug./Sept. 1988},
	volume = {1},
	number = {3},
	month = aug,
	year = {1988},
	issn = {0896-8438},
	pages = {26--49},
	numpages = {24},
	url = {http://dl.acm.org/citation.cfm?id=50757.50759},
	acmid = {50759},
	publisher = {SIGS Publications},
	address = {Denville, NJ, USA},
}