Create mopsa.yml

analysis-tools-dev · Nov 10, 2023 · 2b07a85 · 2b07a85
1 parent 5999842
commit 2b07a85
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/data/tools/mopsa.yml b/data/tools/mopsa.yml
@@ -0,0 +1,12 @@
+name: MOPSA
+categories:
+  - linter
+tags:
+  - c
+  - python
+license: GNU Lesser General Public License v3.0
+types:
+  - cli
+source: 'https://gitlab.com/mopsa/mopsa-analyzer'
+homepage: 'https://mopsa.lip6.fr'
+description: A static analyzer designed to easily reuse abstract domains across widely different languages (such as C and Python).