feat(sca): add types for new potential lockfile/manifest types (#315)

This PR adds types for the Python UV & Conan C++ manifests and lockfiles. - [x] I ran `make setup && make` to update the generated code after editing a `.atd` file (TODO: have a CI check) - [x] I made sure we're still backward compatible with old versions of the CLI. For example, the Semgrep backend need to still be able to *consume* data generated by Semgrep 1.17.0. See https://atd.readthedocs.io/en/latest/atdgen-tutorial.html#smooth-protocol-upgrades
semgrep · Nov 22, 2024 · b1f7b29 · b1f7b29
1 parent b35746b
commit b1f7b29
Show file tree

Hide file tree

Showing 7 changed files with 147 additions and 13 deletions.
diff --git a/semgrep_output_v1.atd b/semgrep_output_v1.atd
@@ -1914,6 +1914,7 @@ type lockfile_kind
     | PipRequirementsTxt
     | PoetryLock
     | PipfileLock
+    | UvLock
     | NpmPackageLockJson
     | YarnLock
     | PnpmLock
@@ -1927,6 +1928,7 @@ type lockfile_kind
     | PubspecLock
     | SwiftPackageResolved (* not a real lockfile *)
     | MixLock
+    | ConanLock
 ] <ocaml repr="classic">
 
 type manifest_kind 
@@ -1959,6 +1961,8 @@ type manifest_kind
   | Pipfile (* Pipfile - https://pipenv.pypa.io/en/latest/pipfile.html *)
   | PyprojectToml
     (* pyproject.toml - https://packaging.python.org/en/latest/guides/writing-pyproject-toml/ *)
+  | ConanFileTxt (* conanfile.txt - https://docs.conan.io/2.9/reference/conanfile_txt.html#conanfile-txt *)
+  | ConanFilePy (* conanfile.py - https://docs.conan.io/2.9/reference/conanfile.html *)  
 ]
 
 type manifest

diff --git a/semgrep_output_v1.jsonschema b/semgrep_output_v1.jsonschema
diff --git a/semgrep_output_v1.proto b/semgrep_output_v1.proto
diff --git a/semgrep_output_v1.py b/semgrep_output_v1.py
diff --git a/semgrep_output_v1.ts b/semgrep_output_v1.ts
diff --git a/semgrep_output_v1_j.ml b/semgrep_output_v1_j.ml
diff --git a/semgrep_output_v1_j.mli b/semgrep_output_v1_j.mli