mirror of
https://github.com/nomi-sec/PoC-in-GitHub.git
synced 2026-11-07 08:30:25 -10:00
35 lines
1.3 KiB
JSON
35 lines
1.3 KiB
JSON
[
|
|
{
|
|
"id": 1303624496,
|
|
"name": "kernel-c-to-rust-spike",
|
|
"full_name": "runtimeverification\/kernel-c-to-rust-spike",
|
|
"owner": {
|
|
"login": "runtimeverification",
|
|
"id": 3732719,
|
|
"avatar_url": "https:\/\/avatars.githubusercontent.com\/u\/3732719?v=4",
|
|
"html_url": "https:\/\/github.com\/runtimeverification",
|
|
"user_view_type": "public"
|
|
},
|
|
"html_url": "https:\/\/github.com\/runtimeverification\/kernel-c-to-rust-spike",
|
|
"description": " Hardening kernel C parsers via Rust rewrite + differential fuzzing + formal verification. First target: UVC (CVE-2024-53104).",
|
|
"fork": false,
|
|
"created_at": "2026-07-17T05:59:11Z",
|
|
"updated_at": "2026-09-25T13:00:32Z",
|
|
"pushed_at": "2026-07-31T13:52:58Z",
|
|
"stargazers_count": 2,
|
|
"watchers_count": 2,
|
|
"has_discussions": false,
|
|
"forks_count": 0,
|
|
"allow_forking": true,
|
|
"is_template": false,
|
|
"web_commit_signoff_required": false,
|
|
"has_pull_requests": true,
|
|
"pull_request_creation_policy": "all",
|
|
"topics": [],
|
|
"visibility": "public",
|
|
"forks": 0,
|
|
"watchers": 2,
|
|
"score": 0,
|
|
"subscribers_count": 0
|
|
}
|
|
] |