--- a/code-analysis.rst Sat Feb 10 01:28:53 2018 +0200
+++ b/code-analysis.rst Sat Feb 10 01:30:24 2018 +0200
@@ -9,13 +9,13 @@
About.
======
- * http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis
- * http://en.wikipedia.org/wiki/Static_code_analysis
- * http://en.wikipedia.org/wiki/Automated_code_review
- * http://en.wikipedia.org/wiki/Dynamic_code_analysis
- * http://en.wikipedia.org/wiki/Program_analysis_%28computer_science%29
- * http://en.wikipedia.org/wiki/Performance_analysis
- * http://en.wikipedia.org/wiki/Program_verification
+* http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis
+* http://en.wikipedia.org/wiki/Static_code_analysis
+* http://en.wikipedia.org/wiki/Automated_code_review
+* http://en.wikipedia.org/wiki/Dynamic_code_analysis
+* http://en.wikipedia.org/wiki/Program_analysis_%28computer_science%29
+* http://en.wikipedia.org/wiki/Performance_analysis
+* http://en.wikipedia.org/wiki/Program_verification
Splint.
=======
@@ -24,7 +24,7 @@
programs for security vulnerabilities and coding mistakes. Formerly called
LCLint, it is a modern version of the Unix lint tool.
- http://en.wikipedia.org/wiki/Splint_%28programming_tool%29
+* http://en.wikipedia.org/wiki/Splint_%28programming_tool%29
weblint.
========
@@ -37,8 +37,8 @@
Lintsh is a Bourne shell that optionally warns about suspicious or nonportable
constructs.
- http://code.dogmap.org/lintsh/
- Home page.
+http://code.dogmap.org/lintsh/
+ Home page.
Valgrind.
=========
@@ -46,15 +46,15 @@
Runs programs on a virtual processor and can detect memory errors (e.g., misuse
of malloc and free) and race conditions in multithread programs.
- http://en.wikipedia.org/wiki/Valgrind
- Wikipedia page.
+http://en.wikipedia.org/wiki/Valgrind
+ Wikipedia page.
Dmalloc.
========
Dmalloc is a memory debugger C library.
- http://en.wikipedia.org/wiki/Dmalloc
+* http://en.wikipedia.org/wiki/Dmalloc
Avalanche.
==========
@@ -63,18 +63,18 @@
input data reproducing critical bugs and vulnerabilities in the analysed
program.
- http://code.google.com/p/avalanche/
- Home page.
- http://en.wikipedia.org/wiki/Avalanche_%28dynamic_analysis_tool%29
- Wikipedia page.
+http://code.google.com/p/avalanche/
+ Home page.
+http://en.wikipedia.org/wiki/Avalanche_%28dynamic_analysis_tool%29
+ Wikipedia page.
Sparse.
=======
Sparse is a tool designed to find possible coding faults in the Linux kernel.
- http://en.wikipedia.org/wiki/Sparse
- Wikipedia page.
+http://en.wikipedia.org/wiki/Sparse
+ Wikipedia page.
PMD.
====
@@ -86,10 +86,10 @@
NetBeans/Sun Studio, IntelliJ IDEA, TextPad, Maven, Ant, Gel, JCreator, Hudson,
Jenkins, Sonar and Emacs.
- http://pmd.sf.net/
- Home page.
- http://en.wikipedia.org/wiki/PMD_%28software%29
- Wikipedia page.
+http://pmd.sf.net/
+ Home page.
+http://en.wikipedia.org/wiki/PMD_%28software%29
+ Wikipedia page.
Checkstyle.
===========
@@ -97,26 +97,26 @@
Static code analysis tool used in software development for checking if Java
source code complies with coding rules.
- http://en.wikipedia.org/wiki/Checkstyle
- Wikipedia page.
+http://en.wikipedia.org/wiki/Checkstyle
+ Wikipedia page.
FindBugs.
=========
- http://en.wikipedia.org/wiki/FindBugs
- Wikipedia page.
+http://en.wikipedia.org/wiki/FindBugs
+ Wikipedia page.
Pychecker.
==========
- http://en.wikipedia.org/wiki/Pychecker
- Wikipedia page.
+http://en.wikipedia.org/wiki/Pychecker
+ Wikipedia page.
Pylint.
=======
- http://en.wikipedia.org/wiki/Pylint
- Wikipedia page.
+http://en.wikipedia.org/wiki/Pylint
+ Wikipedia page.
JSLint.
=======
@@ -127,8 +127,8 @@
It is provided primarily as an online tool, but there are also command-line
adaptations.
- http://en.wikipedia.org/wiki/JSLint
- Wikipedia page.
+http://en.wikipedia.org/wiki/JSLint
+ Wikipedia page.
Squale.
=======
@@ -139,8 +139,8 @@
adapter to McCabe tool. Squale is distributed under the terms of the LGPL v3
licence.
- http://en.wikipedia.org/wiki/Squale
- Wikipedia page.
+http://en.wikipedia.org/wiki/Squale
+ Wikipedia page.
Yasca.
======
@@ -149,12 +149,12 @@
JavaScript Lint, PHPLint, Cppcheck, ClamAV, Pixy, and RATS to scan specific file
types, and also contains many custom scanners developed for Yasca.
- http://yasca.org/
- Home page.
- http://yasca.org/
- Development home page.
- http://en.wikipedia.org/wiki/Yasca
- Wikipedia page.
+http://yasca.org/
+ Home page.
+http://yasca.org/
+ Development home page.
+http://en.wikipedia.org/wiki/Yasca
+ Wikipedia page.
Sonar.
======
@@ -162,8 +162,8 @@
Sonar uses various static code analysis tools such as Checkstyle, PMD, FindBugs,
Clover to extract software metrics.
- http://en.wikipedia.org/wiki/Sonar_%28software_quality%29
- Wikipedia page.
+http://en.wikipedia.org/wiki/Sonar_%28software_quality%29
+ Wikipedia page.
sloccount.
==========