The general methodology is presented in the book
- to report a problem or share an idea.
Here are the most oustanding novel features of STAD:
- A more accurate Modeling of Procedure Calls;
- An analysis of Events Along Program Paths (Contexts)
- New categories of Program Anomalies.
- Data Flow and Context Testing strategies
- A rich set of Static Analysis Reports that can be used by the user to implement his own ideas.