{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"norman","owner":"srg-imperial","isFork":false,"description":"Norman, a C language normalizer","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-10T23:27:28.448Z"}},{"type":"Public","name":"covrig","owner":"srg-imperial","isFork":false,"description":"Framework for the Analysis of Code, Test, and Coverage Evolution in Real Software","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-08T10:35:48.953Z"}},{"type":"Public","name":"GrayC","owner":"srg-imperial","isFork":false,"description":"GrayC: Greybox Fuzzing of Compilers and Analysers for C","allTopics":["c","fuzzing","compilers","mutators"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":1,"starsCount":47,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-01T20:34:12.062Z"}},{"type":"Public","name":"kdalloc-issta-2023","owner":"srg-imperial","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-17T21:04:06.859Z"}},{"type":"Public","name":"klee-fp-parboil-opencl","owner":"srg-imperial","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-26T16:34:56.469Z"}},{"type":"Public","name":"klee-fp-uclibc","owner":"srg-imperial","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-26T16:34:30.512Z"}},{"type":"Public","name":"klee-fp-opencv","owner":"srg-imperial","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-26T16:34:13.173Z"}},{"type":"Public","name":"klee-fp-opencl","owner":"srg-imperial","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-26T16:33:55.882Z"}},{"type":"Public","name":"klee-fp","owner":"srg-imperial","isFork":false,"description":"KLEE-FP / KLEE-CL","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-26T16:27:30.717Z"}},{"type":"Public","name":"SnapFuzz","owner":"srg-imperial","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":1,"starsCount":66,"forksCount":5,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-02T18:19:35.285Z"}},{"type":"Public","name":"SaBRe","owner":"srg-imperial","isFork":false,"description":"Load-time selective binary rewriting","allTopics":["binary-rewriting"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":1,"issueCount":4,"starsCount":153,"forksCount":16,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-26T17:16:40.445Z"}},{"type":"Public","name":"SnapFuzz-artefact","owner":"srg-imperial","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":3,"starsCount":10,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-24T15:40:31.114Z"}},{"type":"Public","name":"SMTSampler","owner":"srg-imperial","isFork":true,"description":"SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":9,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-04T11:57:06.584Z"}},{"type":"Public","name":"klee-float","owner":"srg-imperial","isFork":false,"description":"KLEE with floating point support (unmaintained)","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":4,"starsCount":18,"forksCount":14,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-15T13:59:55.965Z"}},{"type":"Public","name":"diffanalyze","owner":"srg-imperial","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":2,"starsCount":1,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-01-28T16:45:09.174Z"}},{"type":"Public","name":"fuzzbench","owner":"srg-imperial","isFork":true,"description":"FuzzBench - Fuzzer benchmarking as a service.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":255,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-06-16T11:02:03.405Z"}},{"type":"Public","name":"compiler-bug-impact","owner":"srg-imperial","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-09-09T21:28:40.016Z"}},{"type":"Public","name":"kitsune-redis","owner":"srg-imperial","isFork":true,"description":"The Redis store patched for dynamic updating with Kitsune.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-05-01T19:18:50.254Z"}},{"type":"Public","name":"kitsune-vsftpd","owner":"srg-imperial","isFork":true,"description":"The Very Secure FTP Daemon patched for dynamic updating with Kitsune.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-04-26T00:34:51.113Z"}},{"type":"Public","name":"kitsune-memcached","owner":"srg-imperial","isFork":true,"description":"Memcached patched for dynamic updating with Kitsune.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-04-10T16:06:31.965Z"}},{"type":"Public","name":"kitsune-core","owner":"srg-imperial","isFork":true,"description":"Kitsune runtime, driver, ktcc, xfgen, documentation, and test suite.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":27,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-04-10T16:03:47.871Z"}},{"type":"Public","name":"nginx","owner":"srg-imperial","isFork":true,"description":"An official read-only mirror of <a href=\"http://hg.nginx.org/nginx/\" rel=\"nofollow\">http://hg.nginx.org/nginx/</a> which is updated hourly. Pull requests on GitHub cannot be accepted and will be automatically closed. The proper way to submit changes to nginx is via the nginx development mailing list, see <a href=\"http://nginx.org/en/docs/contributing_changes.html\" rel=\"nofollow\">http://nginx.org/en/docs/contributing_changes.html</a>","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":6645,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-08-13T13:31:33.899Z"}},{"type":"Public","name":"openssh-portable","owner":"srg-imperial","isFork":true,"description":"Portable OpenSSH","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1739,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-08-03T10:00:20.461Z"}},{"type":"Public","name":"redis","owner":"srg-imperial","isFork":true,"description":"Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, HyperLogLogs, Bitmaps.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":23580,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-07-25T08:31:58.597Z"}},{"type":"Public","name":"memcached","owner":"srg-imperial","isFork":true,"description":"memcached development tree","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":3262,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-07-07T22:49:09.254Z"}},{"type":"Public","name":"coreutils","owner":"srg-imperial","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-04-06T21:47:06.798Z"}},{"type":"Public","name":"htop","owner":"srg-imperial","isFork":true,"description":"htop is an interactive text-mode process viewer for Unix systems. It aims to be a better 'top'.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":582,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-03-16T10:28:10.972Z"}},{"type":"Public","name":"mutt","owner":"srg-imperial","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-03-16T09:33:35.578Z"}},{"type":"Public","name":"vim","owner":"srg-imperial","isFork":true,"description":"The official Vim repository","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":5330,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-03-16T09:22:41.778Z"}},{"type":"Public","name":"busybox","owner":"srg-imperial","isFork":true,"description":"git://busybox.net/busybox.git","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":597,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-01-19T18:26:18.116Z"}}],"repositoryCount":32,"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":"srg-imperial repositories"}