{"payload":{"header_redesign_enabled":false,"results":[{"id":"95927890","archived":false,"color":"#f34b7d","followers":224,"has_funding_file":false,"hl_name":"seahorn/crab","hl_trunc_description":"A library for building abstract interpretation-based analyses ","language":"C++","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":95927890,"name":"crab","owner_id":11098044,"owner_login":"seahorn","updated_at":"2024-04-23T14:13:33.838Z","has_issues":true}},"sponsorable":false,"topics":["static-analysis","verification","program-analysis","invariants","abstract-interpretation"],"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":136,"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%2Fgithub.com%2Fsearch%3Fq%3Drepo%253Aseahorn%252Fcrab%2B%2Blanguage%253AC%252B%252B","metadata":null,"csrf_tokens":{"/seahorn/crab/star":{"post":"pGvxOsKqdcUihvW6Y1K5S6Lw2cTzF_HdjtQX-ohs97sZpQ7WHIR0xQuXEokh5RRoRiuGgQF21N-wKO6B41dGGA"},"/seahorn/crab/unstar":{"post":"CQigPqxG5fCkDIUkxfIME6Jppd0iukRH0pDf87p94btAbjkIu3-FqwnIctXDC8vyylbmKfJcza1zIz8zw2wBtw"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"kQFHyK4GB0-I6O3Wv7NCU4wlxZ-TTzwaaHRCakGHfbtxfZuFQS9ZhoOflnRaOMR727TZR4nMn6wf79UVNMz6KA"}}},"title":"Repository search results"}