Ich bin auf der Suche nach einem guten Einführungstext auf die Theorie der statischen Analyse für Bug-Suche. Irgendwelche Empfehlungen?Guter einleitender Text zur statischen Analyse für die Fehlersuche?
6
A
Antwort
2
Ist die wikipedia article einleitend genug? Es enthält viele Links zu weiteren Informationen.
Es gibt auch eine podcast auf software engineering radio.
Here, here und here sind einige wissenschaftliche Arbeiten, aber sie können schwerer zu lesen und zu verstehen sein.
1
Versuchen Sie diese, die die erste war, die Microsoft Prefast Werkzeug eingeführt wurde. Das ist eines der erfolgreichsten statischen Analysewerkzeuge.
3
- Patrick Cousot and Radhia Cousot, "Basic Concepts of Abstract Interpretation."
- Patrick Cousot, "Abstract Interpretation Based Formal Methods and Future Challenges."
- Bruno Blanchet et al., "A Static Analyzer for Large Safety-Critical Software."
- Jérôme Feret, "Static Analysis of Digital Filters."
- Antoine Miné, "Relational abstract domains for the detection of floating-point run-time errors." (PDF)
- Airbus France: Computing the Worst-Case Execution Time of an Avionics Program by Abstract Interpretation (PDF)
- Program Analyzer Generator: Related White Papers