From 104130efba46a875eba566384578f8aa8593ad37 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Fri, 1 Jul 2022 18:53:58 -0400 Subject: Moved "lux/macro/code" to "lux/meta/code". --- documentation/bookmark/analysis/static.md | 1 + 1 file changed, 1 insertion(+) (limited to 'documentation/bookmark/analysis/static.md') 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) -- cgit v1.2.3