|
Related articles:
List of tools for static code analysis
Assertion (computing)
Key terms: analysis code program static use tool abstract software system true computer property every david semantics errors finite static analysis dynamic include possible stanford automated techniques static code analysis formal methods mathematical program analysis specification programming language abstract system computer science abstract interpretation analysis performed Search external links cited by footnotes on Wikipedia page Static code analysis: |
|