diff options
| author | Eduardo Julian | 2022-07-01 18:53:58 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-07-01 18:53:58 -0400 |
| commit | 104130efba46a875eba566384578f8aa8593ad37 (patch) | |
| tree | b538fabc8b8a44a37b1806092b3f17a764fc73f2 /documentation/bookmark/analysis | |
| parent | a8d76e48df01d0f5326faa8456797f91cb2cbeba (diff) | |
Moved "lux/macro/code" to "lux/meta/code".
Diffstat (limited to 'documentation/bookmark/analysis')
| -rw-r--r-- | documentation/bookmark/analysis/static.md | 1 |
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) |