{"payload":{"header_redesign_enabled":false,"results":[{"id":"47511370","archived":false,"color":"#555555","followers":35,"has_funding_file":false,"hl_name":"yugr/sortcheck","hl_trunc_description":"Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.","language":"C","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":47511370,"name":"sortcheck","owner_id":1101391,"owner_login":"yugr","updated_at":"2022-07-01T19:50:57.193Z","has_issues":true}},"sponsorable":false,"topics":["dynamic-analysis","program-analysis","qsort","runtime-verification"],"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":58,"errors":[],"result_count":1,"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%2Ffanyv88.com%3A443%2Fhttps%2Fgithub.com%2Fsearch%3Fq%3Drepo%253Ayugr%252Fsortcheck%2520%2520language%253AC","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/yugr/sortcheck/star":{"post":"3R_oAIQtu4CSYPmw_0YJIzAWgNGBXKmo_2PkHKluARxv4xI1weeXJ7BDze-IMmd6DWgeiDZHcS2rN4YVbxk76g"},"/yugr/sortcheck/unstar":{"post":"TVp2f9eFFAwL_kpmlOiCj6ClrHPk5RrJXc2qLce_JEJ_AO9TmQMxA07-phcFanI7_nh7Q5ZkZCwGCDOfcrz1Ew"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"STcuZgjeEVwhOSCmDuvXKBs37wwTZounPLkcMcah9rPJcXqDhSxMWxutwJ8z3KnsoTFkbK-mEbIMNv1dpAzpnA"}}},"title":"Repository search results"}