Fixing the index numbering

[AGL/documentation.git] / docs / 2_Architecture_Guides / 2_Security_Blueprint / 9_Secure_development.md

diff --git a/docs/2_Architecture_Guides/2_Security_Blueprint/9_Secure_development.md b/docs/2_Architecture_Guides/2_Security_Blueprint/9_Secure_development.md
deleted file mode 100644 (file)
index 9cbe3b4..0000000
--- a/docs/2_Architecture_Guides/2_Security_Blueprint/9_Secure_development.md
+++ /dev/null
@@ -1,58 +0,0 @@
----
-title: Secure development
----
-
-In order to save a lot of time in code auditing, developers must follow coding
-guidelines.
-
-## Secure build
-
-### Kernel build
-
-Tools like:
-
-- [Code optimisation](https://github.com/jduck/lk-reducer).
-- [Kernel Drivers test](https://github.com/ucsb-seclab/dr_checker) with
-  [docs](https://www.usenix.org/system/files/conference/usenixsecurity17/sec17-machiry.pdf).
-
-Domain                  | Improvement
------------------------ | ------------
-SecureDev-SecureBuild-1 | Add content.
-
-## App/Widget signatures
-
-Domain                 | Improvement
----------------------- | ------------
-SecureDev-Signatures-1 | Add content.
-
-## Code audit
-
-These tools are used to check the correct implementation of functionalities and
-compliance with related good practices.
-
-- [Continuous Code Quality](https://www.sonarqube.org/).
-
-Domain                | Improvement
---------------------- | -----------------------------------------------------
-SecureDev-CodeAudit-1 | Add CVE analyser.
-SecureDev-CodeAudit-2 | [OSSTMM](http://www.isecom.org/mirror/OSSTMM.3.pdf).
-
-### SATS
-
-- [RATS](https://github.com/andrew-d/rough-auditing-tool-for-security) (Maybe to
-  old).
-- [Flaw Finder](https://www.dwheeler.com/flawfinder/).
-
-- [wiki
-  list](https://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis).
-
-- [Mathematical
-  approach](https://perso.univ-rennes1.fr/david.lubicz/planches/David_Pichardie.pdf).
-
-It is necessary to verify that the application code does not use functions that
-are depreciated and recognized as unsecured or cause problems.
-
-### DATS
-
-- [wiki
-  list](https://en.wikipedia.org/wiki/Dynamic_program_analysis#Example_tools).
\ No newline at end of file