fix lint

Author: GrosQuildu

content/docs/static-analysis/_index.md

@@ -14,7 +14,6 @@ This section presents several static analysis tools. For each tool, we cover top
 
 {{< section >}}
 
-
 ## Basic theory
 
 Below is an overview of techniques implemented in static analysis tools.
@@ -23,52 +22,51 @@ Usually, tools support only a subset of the following analyses, with varying deg
 
 ### Views on a code
 
-* Abstract Syntax Tree (AST)
-* Control Flow Graph (CFG)
-* Data Flow Graph (DFG)
-* Call Graph
-* Intermediate Representation (IR)
-* Single Static Assignment Form (SSA)
-* Use-Definition Chain (use-def)
+- Abstract Syntax Tree (AST)
+- Control Flow Graph (CFG)
+- Data Flow Graph (DFG)
+- Call Graph
+- Intermediate Representation (IR)
+- Single Static Assignment Form (SSA)
+- Use-Definition Chain (use-def)
 
 ### Analyses
 
-* AST traversal
-* Abstract Interpretation
-    * Constant Propagation
-    * Value Range analysis
-* Data-Flow analysis
-* Train Tracking
-* Control-Flow analysis
-    * Domination relationship
-    * Reachability
-* Hoare logic
-* Model checking
-* Symbolic execution
-    * Concolic execution
-* Type analysis
-* Alias/Pointer/points-to analysis
-* Program slicing
-* Global value numbering
-* Hash consing
+- AST traversal
+- Abstract Interpretation
+  - Constant Propagation
+  - Value Range analysis
+- Data-Flow analysis
+- Train Tracking
+- Control-Flow analysis
+  - Domination relationship
+  - Reachability
+- Hoare logic
+- Model checking
+- Symbolic execution
+  - Concolic execution
+- Type analysis
+- Alias/Pointer/points-to analysis
+- Program slicing
+- Global value numbering
+- Hash consing
 
 ### Precision
 
-* Intraprocedural
-    * Flow-sensitivity (order of statements)
-    * Path-sensitivity (conditional branches)
-
-* Interprocedural
-    * Context-sensitivity (Polyvariance)
-        * Call-site
-        * Type
-        * Object
-    * Context-insensitive
+- Intraprocedural
+  - Flow-sensitivity (order of statements)
+  - Path-sensitivity (conditional branches)
 
+- Interprocedural
+  - Context-sensitivity (Polyvariance)
+    - Call-site
+    - Type
+    - Object
+  - Context-insensitive
 
 ### Properties
 
-* Soundness
-* Precision
-* Completness
-* Execution time
+- Soundness
+- Precision
+- Completness
+- Execution time