{"payload":{"header_redesign_enabled":false,"results":[{"id":"29857799","archived":false,"color":"#ef7a08","followers":14770,"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-06-12T16:46:48.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":6723,"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-06-12T16:18:35.639Z","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":92,"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":"rDMQ9hEaLimtFAs0w8t0Oga4PeTA1aRdkkdupNW3DColqn7GA5qjyY3UrqTOG_0hAjISbr1FHrElqKBlgS5sLQ"},"/facebook/infer/unstar":{"post":"-ESgJhnxaRcJ5gQUfTSqxu5YKphelAjZcUUXUstgpXN7din1hue5fq8SVLW_FGoagzE6_uja89ir3GcZW3ajxA"},"/facebook/pyre-check/star":{"post":"DWWTUd3Zl4oJdLIeCmCviVJuLngB4tpt12snXF9aK1_PIkkhhLfXVhhumMKEAxG8VFwWDiYpDNBR7ajI6KarrQ"},"/facebook/pyre-check/unstar":{"post":"Uf0ttyB8KqEBwfnSJRG817b63mdFmNMfS5jvVCwQ6PUNxebD6_DrZgNovgGfrzuP4gLeUzihvilOa1sJazhDoQ"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"tozfIIRLi7UYKRLd8D77B3z2tUhKjvczmIDLQB553guYYD4naAe1T8qSseZpPRPlagZr9C_xHfS8he4QOvxxJA"}}},"title":"Repository search results"}