{"id":1023636,"url":"https://github.com/topics/program-analysis","last_synced_at":"2025-09-14T16:31:34.467Z","repository":null,"keywords":[],"created_at":"2024-01-13T21:04:05.695Z","updated_at":"2024-01-13T21:04:05.695Z","avatar_url":null,"language":null,"funding_links":[],"categories":["Starchart"],"sub_categories":[],"readme":null,"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftopics%2Fprogram-analysis","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ftopics%2Fprogram-analysis","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftopics%2Fprogram-analysis/lists"}