Bulk generator: Flip default values for summaries, sources, and sinks.

Author: MathiasVP

cpp/misc/bulk_generation_targets.json

@@ -2,8 +2,8 @@
   "strategy": "dca",
   "language": "cpp",
   "targets": [
-      { "name": "openssl", "with-summaries": true },
-      { "name": "sqlite", "with-summaries": true }
+      { "name": "openssl", "with-sources": false, "with-sinks": false },
+      { "name": "sqlite", "with-sources": false, "with-sinks": false }
   ],
   "destination": "cpp/ql/lib/ext/generated"
 }

misc/scripts/models-as-data/bulk_generate_mad.py

@@ -47,15 +47,15 @@ class Project(TypedDict):
 
 
 def should_generate_sinks(project: Project) -> bool:
-    return project.get("with-sinks", False)
+    return project.get("with-sinks", True)
 
 
 def should_generate_sources(project: Project) -> bool:
-    return project.get("with-sources", False)
+    return project.get("with-sources", True)
 
 
 def should_generate_summaries(project: Project) -> bool:
-    return project.get("with-summaries", False)
+    return project.get("with-summaries", True)
 
 
 def clone_project(project: Project) -> str:

rust/misc/bulk_generation_targets.json

@@ -5,106 +5,67 @@
         {
             "name": "libc",
             "git_repo": "https://github.com/rust-lang/libc",
-            "git_tag": "0.2.172",
-            "with-sources": true,
-            "with-sinks": true,
-            "with-summaries": true
+            "git_tag": "0.2.172"
         },
         {
             "name": "log",
             "git_repo": "https://github.com/rust-lang/log",
-            "git_tag": "0.4.27",
-            "with-sources": true,
-            "with-sinks": true,
-            "with-summaries": true
+            "git_tag": "0.4.27"
         },
         {
             "name": "memchr",
             "git_repo": "https://github.com/BurntSushi/memchr",
-            "git_tag": "2.7.4",
-            "with-sources": true,
-            "with-sinks": true,
-            "with-summaries": true
+            "git_tag": "2.7.4"
         },
         {
             "name": "once_cell",
             "git_repo": "https://github.com/matklad/once_cell",
-            "git_tag": "v1.21.3",
-            "with-sources": true,
-            "with-sinks": true,
-            "with-summaries": true
+            "git_tag": "v1.21.3"
         },
         {
             "name": "rand",
             "git_repo": "https://github.com/rust-random/rand",
-            "git_tag": "0.9.1",
-            "with-sources": true,
-            "with-sinks": true,
-            "with-summaries": true
+            "git_tag": "0.9.1"
         },
         {
             "name": "smallvec",
             "git_repo": "https://github.com/servo/rust-smallvec",
-            "git_tag": "v1.15.0",
-            "with-sources": true,
-            "with-sinks": true,
-            "with-summaries": true
+            "git_tag": "v1.15.0"
         },
         {
             "name": "serde",
             "git_repo": "https://github.com/serde-rs/serde",
-            "git_tag": "v1.0.219",
-            "with-sources": true,
-            "with-sinks": true,
-            "with-summaries": true
+            "git_tag": "v1.0.219"
         },
         {
             "name": "tokio",
             "git_repo": "https://github.com/tokio-rs/tokio",
-            "git_tag": "tokio-1.45.0",
-            "with-sources": true,
-            "with-sinks": true,
-            "with-summaries": true
+            "git_tag": "tokio-1.45.0"
         },
         {
             "name": "reqwest",
             "git_repo": "https://github.com/seanmonstar/reqwest",
-            "git_tag": "v0.12.15",
-            "with-sources": true,
-            "with-sinks": true,
-            "with-summaries": true
+            "git_tag": "v0.12.15"
         },
         {
             "name": "rocket",
             "git_repo": "https://github.com/SergioBenitez/Rocket",
-            "git_tag": "v0.5.1",
-            "with-sources": true,
-            "with-sinks": true,
-            "with-summaries": true
+            "git_tag": "v0.5.1"
         },
         {
             "name": "actix-web",
             "git_repo": "https://github.com/actix/actix-web",
-            "git_tag": "web-v4.11.0",
-            "with-sources": true,
-            "with-sinks": true,
-            "with-summaries": true
+            "git_tag": "web-v4.11.0"
         },
         {
             "name": "hyper",
             "git_repo": "https://github.com/hyperium/hyper",
-            "git_tag": "v1.6.0",
-            "with-sources": true,
-            "with-sinks": true,
-            "with-summaries": true
+            "git_tag": "v1.6.0"
         },
         {
             "name": "clap",
             "git_repo": "https://github.com/clap-rs/clap",
-            "git_tag": "v4.5.38",
-            "with-sources": true,
-            "with-sinks": true,
-            "with-summaries": true
+            "git_tag": "v4.5.38"
         }
     ],
     "destination": "rust/ql/lib/ext/generated",