{"payload":{"header_redesign_enabled":false,"results":[{"id":"50782574","archived":true,"color":"#f1e05a","followers":7,"has_funding_file":false,"hl_name":"sireum/v3-awas","hl_trunc_description":"Awas: A tool for model navigation, dependency analysis and risk analysis of component based systems","language":"JavaScript","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":50782574,"name":"v3-awas","owner_id":4165959,"owner_login":"sireum","updated_at":"2022-05-10T22:01:20.638Z","has_issues":true}},"sponsorable":false,"topics":["fault-tree","risk-analysis","static-analysis","dependency-analysis","dependency-graph","aadl","domain-specific-language","fault-detection","information-flow","stpa","sireum","hazard-analysis-framework"],"type":"Public archive","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":73,"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%253Asireum%252Fv3-awas%2B%2Blanguage%253AJavaScript","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/sireum/v3-awas/star":{"post":"JI_R-VI3M89LM8NmAc7Wz_HZydWo58N20GlBD9zJLAm4iw6h4e-x9h6U70ED-SKMP74poT_MGGEV7zWO4NrTlQ"},"/sireum/v3-awas/unstar":{"post":"LL_lBRpMkLTEO9_AAXX41cFotAfkkyzefvahNHD9BcXK3Zetmyll5cePeYa5zoij2-Vfu-SkuL6eKQx4Sqy4ag"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"EjbJqqbTqL4WH82m2kGiLI4ojKQjoegreqnyADwk0G5X_F5ucj51Txr6xhqk5rwXpeCWagvZTrnmOG5fcT7z3A"}}},"title":"Repository search results"}