hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2025-05-30 13:33:24 +01:00
parent 0f30644afd
commit 7cb9024cc6
3 changed files with 18 additions and 57 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
cpp/misc/bulk_generation_targets.json
View File

@@ -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"
}

6
misc/scripts/models-as-data/bulk_generate_mad.py
View File

@@ -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:

65
rust/misc/bulk_generation_targets.json
View File

@@ -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",