{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"FALSA-model-problem","owner":"cmu-sei","isFork":false,"description":"The FALSA model problem is a software that simulates an autonomous drone mission and its intended use is for research in assurance.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-10T18:58:14.382Z"}},{"type":"Public","name":"pharos","owner":"cmu-sei","isFork":false,"description":"Automated static analysis tools for binary programs","allTopics":["reverse-engineering","binary-analysis"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":3,"issueCount":44,"starsCount":1497,"forksCount":185,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-27T11:21:27.573Z"}},{"type":"Public","name":"gbtl","owner":"cmu-sei","isFork":false,"description":"GraphBLAS Template Library (GBTL): C++ graph algorithms and primitives using semiring algebra as defined at graphblas.org","allTopics":["graphs-algorithms","graphblas"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":5,"starsCount":127,"forksCount":21,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-16T23:17:33.227Z"}},{"type":"Public","name":"autocats","owner":"cmu-sei","isFork":false,"description":"AUTOCATS is the automated code analysis testing suite, used by projects like CERT Kaiju. This repository is a \"mirror\" -- please file tickets, bug reports, or pull requests at the upstream home in <a class=\"user-mention\" data-hovercard-type=\"organization\" data-hovercard-url=\"/orgs/CERTCC/hovercard\" data-octo-click=\"hovercard-link-click\" data-octo-dimensions=\"link_type:self\" href=\"https://github.com/CERTCC\">@CERTCC</a>: <a href=\"https://github.com/certcc/autocats\">https://github.com/certcc/autocats</a>","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":0,"starsCount":2,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-04T18:46:42.953Z"}},{"type":"Public","name":"pharos-demangle","owner":"cmu-sei","isFork":false,"description":"Demangles C++ symbol names genarated by Microsoft Visual C++ in order to retrieve the original C++ declarations.","allTopics":["c-plus-plus","linker-symbol","demangle","binary-analysis"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":1,"starsCount":29,"forksCount":12,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-06-25T20:17:05.526Z"}},{"type":"Public","name":"BigGrep","owner":"cmu-sei","isFork":false,"description":"A scalable search index for binary files","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":111,"forksCount":13,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-03-15T13:40:09.483Z"}},{"type":"Public","name":"bgpuma","owner":"cmu-sei","isFork":false,"description":"An application to search BGP Update files for CIDR blocks or Autonomous Systems.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":4,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-12-09T15:27:27.136Z"}}],"repositoryCount":7,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}