Content deleted Content added
m Open access bot: url-access updated in citation with #oabot. |
m →Static analysis: remove user name comment |
||
| (2 intermediate revisions by 2 users not shown) | |||
Line 149:
=== Static analysis ===
Tools for [[static code analysis]] help developers by inspecting the program text beyond the compiler's capabilities to spot potential problems. Although in general the problem of finding all programming errors given a specification is not solvable (see [[halting problem]]), these tools exploit the fact that human programmers tend to make certain kinds of simple mistakes when writing software.
=== Instrumentation ===
| |||