{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"minimap2_index_modifier","owner":"ispras","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-13T10:17:15.182Z"}},{"type":"Public","name":"oss-sydr-fuzz","owner":"ispras","isFork":false,"description":"OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.","topicNames":["dse","symbolic-execution","symbolic","fuzz-testing","vulnerabilities","stability","libfuzzer","dynamic-symbolic-execution","concolic-execution","concolic"],"topicsNotShown":6,"allTopics":["dse","symbolic-execution","symbolic","fuzz-testing","vulnerabilities","stability","libfuzzer","dynamic-symbolic-execution","concolic-execution","concolic","oss-fuzz","hybrid-fuzzing","sydr","sydr-fuzz","security","fuzzing"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":1,"starsCount":106,"forksCount":31,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-01T13:35:55.670Z"}},{"type":"Public","name":"quix86","owner":"ispras","isFork":false,"description":"An x86-64 instruction decoder.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":5,"starsCount":15,"forksCount":1,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-11T10:26:52.924Z"}},{"type":"Public","name":"parmasan-remake","owner":"ispras","isFork":false,"description":"Mirror repository with patched remake for parmasan","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-20T13:23:31.677Z"}},{"type":"Public","name":"staccato","owner":"ispras","isFork":false,"description":"Fork for the STACCATO project of University of Michigan","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-15T21:40:08.056Z"}},{"type":"Public","name":"unicorn","owner":"ispras","isFork":true,"description":"Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86)","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1294,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-04T14:35:07.432Z"}},{"type":"Public","name":"dynamorio","owner":"ispras","isFork":true,"description":"Dynamic Instrumentation Tool Platform","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":546,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-09T02:52:17.574Z"}},{"type":"Public","name":"swat","owner":"ispras","isFork":false,"description":"SWAT - System-Wide Analysis Toolkit","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":2,"starsCount":11,"forksCount":8,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-04T09:33:08.540Z"}},{"type":"Public","name":"qemu","owner":"ispras","isFork":true,"description":"","topicNames":["qemu","windbg"],"topicsNotShown":0,"allTopics":["qemu","windbg"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":50,"forksCount":5295,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-04T07:57:56.384Z"}},{"type":"Public","name":"abc","owner":"ispras","isFork":true,"description":"ABC: System for Sequential Logic Synthesis and Formal Verification","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":509,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-08-27T09:22:37.782Z"}},{"type":"Public","name":"libosuction","owner":"ispras","isFork":false,"description":"A tool for stripping dynamic libraries of unneeded symbols","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-03-29T16:46:13.537Z"}},{"type":"Public","name":"binutils-gdb","owner":"ispras","isFork":true,"description":"GDB with some custom features.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":509,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-02-28T13:50:44.929Z"}},{"type":"Public","name":"tact","owner":"ispras","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":1,"issueCount":0,"starsCount":8,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-09-27T01:48:09.287Z"}},{"type":"Public","name":"gcc-sms","owner":"ispras","isFork":true,"description":"GCC with extended modulo scheduling support","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":4297,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-02-28T13:34:54.841Z"}},{"type":"Public","name":"postgres","owner":"ispras","isFork":true,"description":"This is a modified version of PostgreSQL with just-in-time compiler for expressions. Current base version is 9.6.1.","topicNames":["llvm","postgresql","jit"],"topicsNotShown":0,"allTopics":["llvm","postgresql","jit"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":2,"starsCount":55,"forksCount":4349,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-11-11T15:57:23.291Z"}}],"repositoryCount":15,"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"}