@TechReport{ TUD-CS-2013-0245, author = {Markus Aderhold and Artjom Kochtchi}, title = {{Tailoring PMD to Secure Coding}}, year = 2013, institution = {TU Darmstadt}, number = {TUD-CS-2013-0245}, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2013/TUD-CS-2013-0245-SecureCodingPMD.pdf} }