aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlex Corcoles <alex@pdp7.net>2023-10-16 13:29:33 +0200
committerGitHub <noreply@github.com>2023-10-16 13:29:33 +0200
commitcbe7f8d0a786c7d88072c0fa3b04cac26b8bd63a (patch)
tree12c636b64baaff4c2462eddd9d47e3efa8b415fa
parente579f852b20429e8ece4a86f88c242f6c1e1931b (diff)
Add SARIF
-rw-r--r--INTERESTING_PROJECTS.org1
1 files changed, 1 insertions, 0 deletions
diff --git a/INTERESTING_PROJECTS.org b/INTERESTING_PROJECTS.org
index fdb964e5..5a83c105 100644
--- a/INTERESTING_PROJECTS.org
+++ b/INTERESTING_PROJECTS.org
@@ -108,6 +108,7 @@ Also keeping things in a Org mode means I can classify and add notes.
** Testing
- https://github.com/Mikuu/Micoo - visual diff testing
- https://github.com/minimaxir/big-list-of-naughty-strings
+ - https://sarifweb.azurewebsites.net/ "Static Analysis Results Interchange Format", supported by GH
** Literate
- https://github.com/kosmikus/lhs2tex
- https://github.com/simplistix/sybil - testing in documentation