{"payload":{"header_redesign_enabled":false,"results":[{"id":"29857799","archived":false,"color":"#ef7a08","followers":14744,"has_funding_file":false,"hl_name":"facebook/infer","hl_trunc_description":"A static analyzer for Java, C, C++, and Objective-C","language":"OCaml","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":29857799,"name":"infer","owner_id":69631,"owner_login":"facebook","updated_at":"2024-05-23T10:22:52.598Z","has_issues":true}},"sponsorable":false,"topics":["c","java","objective-c","cpp","static-code-analysis","static-analysis","code-quality"],"type":"Public","help_wanted_issues_count":13,"good_first_issue_issues_count":0,"starred_by_current_user":false},{"id":"110274488","archived":false,"color":"#ef7a08","followers":6702,"has_funding_file":false,"hl_name":"facebook/pyre-check","hl_trunc_description":"Performant type-checking for python.","language":"OCaml","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":110274488,"name":"pyre-check","owner_id":69631,"owner_login":"facebook","updated_at":"2024-05-23T09:45:35.724Z","has_issues":true}},"sponsorable":false,"topics":["python","security","typechecker","static-analysis","ocaml","control-flow-analysis","code-quality","program-analysis","taint-analysis","abstract-interpretation","type-check"],"type":"Public","help_wanted_issues_count":0,"good_first_issue_issues_count":0,"starred_by_current_user":false}],"type":"repositories","page":1,"page_count":1,"elapsed_millis":127,"errors":[],"result_count":2,"facets":[],"protected_org_logins":[],"topics":null,"query_id":"","logged_in":false,"sign_up_path":"/signup?source=code_search_results","sign_in_path":"/login?return_to=https%3A%2F%2Fgithub.com%2Fsearch%3Fq%3Dtopic%253Astatic-analysis%2Borg%253Afacebook%26type%3DRepositories","metadata":null,"csrf_tokens":{"/facebook/infer/star":{"post":"YunOfxlu7UmiVfe7IllKNrR6PD6ncGt3RBGbDgWAC_L6vQlezV5bl7IwDkBpOAVnPjT0PDLZg-oF-BSyisjXMw"},"/facebook/infer/unstar":{"post":"0eq0NXybTyrQ9V2ZQ5FuL4FR7GogLuXvJgjSvjq7LwJ9wnxAqGIWMc9KAiQnDqLBeFw3aDN9I74vvmjDk1OEKw"},"/facebook/pyre-check/star":{"post":"Kkznfo1EIloGcOEItNwjAPW9y9tqkudcVdSI9arzK9U3KJunJYgCXlg2-DMaGtLqWa-oxZ46LDmCYI_93Djfmw"},"/facebook/pyre-check/unstar":{"post":"zfj2Sorz_BdtRof2XF4fxfEBvaqkSuGLyFKxD4jGioAc0oro9ujgnQ1RweubKJp1ixW-Tk7c_3VCWmN0574TXA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"E1o7M3sdHgamqyJ7jfwXq3Xz9ZMoS1q74HgaNAoD1AmUDbeibh7x5czBN3Q5pO8je30vF-ENqCF2HPx-bs_MnQ"}}},"title":"Repository search results"}