summaryrefslogtreecommitdiff
path: root/open_issues/code_analysis.mdwn
diff options
context:
space:
mode:
authorThomas Schwinge <thomas@schwinge.name>2010-12-21 19:10:42 +0100
committerThomas Schwinge <thomas@schwinge.name>2010-12-21 19:10:42 +0100
commitbd0ffbcc4e0f7abf5e811850fb9ebd93ca649966 (patch)
tree1d544232d6871429713d2c761cd14f1ac6d3e926 /open_issues/code_analysis.mdwn
parenta5e3b5aeb7483586885f927bdb98a423e1531938 (diff)
Elaborate on DSLs, IDLs, code analysis, etc.
Diffstat (limited to 'open_issues/code_analysis.mdwn')
-rw-r--r--open_issues/code_analysis.mdwn8
1 files changed, 7 insertions, 1 deletions
diff --git a/open_issues/code_analysis.mdwn b/open_issues/code_analysis.mdwn
index 114dfbbf..ad59f962 100644
--- a/open_issues/code_analysis.mdwn
+++ b/open_issues/code_analysis.mdwn
@@ -8,7 +8,13 @@ Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license
is included in the section entitled [[GNU Free Documentation
License|/fdl]]."]]"""]]
-There is static and dynamic code analysis. This overlaps with [[debugging]].
+In the topic of *code analysis* or *program analysis* ([[!wikipedia
+Program_analysis_(computer_science) desc="Wikipedia article"]]), there is
+static code analysis ([[!wikipedia Static_code_analysis desc="Wikipedia
+article"]]) and dynamic program analysis ([[!wikipedia Dynamic_program_analysis
+desc="Wikipedia article"]]). This topic overlaps with [[performance
+analysis|performance]], [[formal_verification]], as well as general
+[[debugging]].
* [[GCC]]'s warnings. Yes, really.