{"payload":{"header_redesign_enabled":false,"results":[{"id":"590456368","archived":false,"color":"#b07219","followers":2,"has_funding_file":false,"hl_name":"polystat/symex","hl_trunc_description":"Symbolic Execution engine for finding bugs in EO programs","language":"Java","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":590456368,"name":"symex","owner_id":78739363,"owner_login":"polystat","updated_at":"2023-12-15T08:56:36.548Z","has_issues":true}},"sponsorable":false,"topics":["java","symbolic-execution","eolang"],"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":118,"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%253Apolystat%252Fsymex%2B%2Blanguage%253AJava","metadata":null,"csrf_tokens":{"/polystat/symex/star":{"post":"k9i2ArCmSJd4MRsEYh9mw5mU64XqZizrcfXlwOltEQ8PwQgBcWqmkB5Zw0LOo8wt3a2Ce-7EarMriMzjvp1HLQ"},"/polystat/symex/unstar":{"post":"Q8gdLlVrfAv8UEb9o630KuRvy4IoFLmZ-Dne5BGOjDZ_l2QiwhD07Q6o9WRYOxoxl2qCzCmqZ1Z6wAfRvNoiSw"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"3l8a6VWO_8Fk0nU-q3TPiT7ZgbBkoAatTatrZWttWgia6Akyuqg6bqXVUQyf_poZYArUtJ4YQEuj4rJEgWzkKg"}}},"title":"Repository search results"}