Skip to main content
SpringerLink
Log in

Automatisierter Code-Audit

Sicherheitsanalyse von Source Code in Theorie und Praxis

  • Schwerpunkt
  • Published:
Datenschutz und Datensicherheit - DuD Aims and scope Submit manuscript

Zusammenfassung

Einfach auf Knopfdruck Sicherheitslücken finden — vorne den Source Code eingeben und hinten den detaillierten Audit-Report entnehmen. Die automatisierte statische Untersuchung von Software auf sicherheitskritische Fehler ist ein seit längerem verfolgtes Ideal. Der Beitrag gibt einen Überblick über die wichtigsten theoretischen Ansätze, existierende freie Tools und aktuell bestehende Probleme und Lösungsansätze.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Literatur

  1. H. G. Rice: Classes of recursively enumerable sets and their decision problems. Trans. Amer. Math. Soc., 74:358–366, 1953.

    Article  MathSciNet  MATH  Google Scholar 

  2. Flawfinder, http://www.dwheeler.com/flawfinder

  3. ITS4, http://www.cigital.com/its4

  4. Rats, http://www.securesoftware.com/resources/download_rats.html

  5. Splint, http://www.splint.org

  6. MOPS, http://www.cs.ucdavis.edu/:_hchen/mops

  7. XGCC, http://metacomp.stanford.edu

  8. BOON, http://www.cs.berkeley.edu/:_daw/boon

  9. Benjamin Livshits: Using Eclipse to Detect Security Errors in Web Applications. Poster Presented at Eclipsecon’ 05, March 2005.

  10. F. Nielson, H. R. Nielson, C. Hankin: Principles of Program Analysis. 2nd Edition, Spinger, 2005

  11. S. Chong, K. Vikram, and Andrew C. Myers. SIF: Enforcing Confidentiality and Integrity in Web Applications. USENIX Security 2007.

  12. CQual, http://www.cs.umd.edu/:_jfoster/cqual

  13. Benjamin Schwarz et al.: Model Checking An Entire Linux Distribution for Security Violations, http://www.cs.ucdavis.edu/:_hchen/paper/acsac05.pdf

  14. Rob Johnson, David Wagner: Finding User/Kernel Pointer Bugs With Type Inference, http://www.cs.berkeley.edu/:_daw/papers/cquk-usenix04.ps

  15. John Wilander, Mariam Kamkar: A Comparison of Publicly Available Tools for Static Intrusion Prevention. Nordsec 2002, November 2002

  16. Secologic Projekt, http://www.secologic.org

  17. CISAT, http://www.informatik.uni-hamburg.de/SVS/cisat

Download references

Authors
  1. Martin Johns
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Daniel Schreckling
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Dipl.-Inform. Martin Johns

Wissenschaftlicher Mitarbeiter, Software- und Web-Applikations-Sicherheit

Dipl.-Inform., M.Sc. Daniel Schreckling

Wissenschaftlicher Mitarbeiter, Software- und Applikations-Sicherheit in verteilten Systemen

Rights and permissions

Reprints and permissions

About this article

Cite this article

Johns, M., Schreckling, D. Automatisierter Code-Audit. DuD 31, 888–893 (2007). https://doi.org/10.1007/s11623-007-0286-7

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11623-007-0286-7

Search

Navigation