{"payload":{"pageCount":1,"repositories":[{"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.","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":[3,10,3,4,4,7,7,2,2,0,1,4,9,4,4,3,4,7,1,2,2,0,3,1,3,2,3,3,1,2,0,1,0,4,6,3,1,2,2,1,2,2,0,0,3,2,1,0,0,0,0,3],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-04T11:16:45.670Z"}},{"type":"Public","name":"minimap2_index_modifier","owner":"ispras","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":"2024-05-13T10:17:15.182Z"}},{"type":"Public","name":"quix86","owner":"ispras","isFork":false,"description":"An x86-64 instruction decoder.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":5,"starsCount":15,"forksCount":1,"license":"GNU Lesser General Public License v3.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0],"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","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","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"GNU Lesser General Public License v2.1","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0,0,2,0,1,1,2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"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)","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1301,"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","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","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":"","allTopics":["qemu","windbg"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":50,"forksCount":5315,"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","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":513,"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","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.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":510,"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":"","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","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":4302,"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.","allTopics":["llvm","postgresql","jit"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":2,"starsCount":55,"forksCount":4368,"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"}