aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/analysis
diff options
context:
space:
mode:
Diffstat (limited to 'documentation/bookmark/analysis')
-rw-r--r--documentation/bookmark/analysis/static.md1
1 files changed, 1 insertions, 0 deletions
diff --git a/documentation/bookmark/analysis/static.md b/documentation/bookmark/analysis/static.md
index 0300a44d1..daae87e7b 100644
--- a/documentation/bookmark/analysis/static.md
+++ b/documentation/bookmark/analysis/static.md
@@ -1,6 +1,7 @@
# Reference
0. []()
+0. [Souffle: Logic Defined Static Analysis.](https://souffle-lang.github.io/index.html)
0. [Fusing Industry and Academia at GitHub (Experience Report)](https://arxiv.org/abs/2206.09206)
0. [Software can literally be perfect](https://www.youtube.com/watch?v=Lf7ML_ErWvQ)
0. [Magmide](https://github.com/magmide/magmide)