{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"s2e-env","owner":"S2E","isFork":false,"description":"Your S2E project management tools. Visit <a href=\"https://s2e.systems/docs\" rel=\"nofollow\">https://s2e.systems/docs</a> to get started.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":124,"starsCount":91,"forksCount":52,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-26T19:08:20.496Z"}},{"type":"Public","name":"guest-images","owner":"S2E","isFork":false,"description":"Scripts to automatically create VM images","allTopics":[],"primaryLanguage":{"name":"PowerShell","color":"#012456"},"pullRequestCount":0,"issueCount":0,"starsCount":14,"forksCount":17,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-26T19:07:27.855Z"}},{"type":"Public","name":"s2e","owner":"S2E","isFork":false,"description":"S2E: A platform for multi-path program analysis with selective symbolic execution.","allTopics":["testing","windows","linux","coverage","vm","device","analysis","llvm","reverse-engineering","kvm","symbolic","qemu","x86","drivers","execution","cgc","vulnerabilities","automated","pov","s2e"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":2,"issueCount":0,"starsCount":408,"forksCount":87,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-26T19:06:05.578Z"}},{"type":"Public","name":"s2e-linux-kernel","owner":"S2E","isFork":false,"description":"Linux kernels (CGC DECREE and vanilla) with S2E extensions","allTopics":[],"primaryLanguage":null,"pullRequestCount":2,"issueCount":0,"starsCount":24,"forksCount":8,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T08:15:04.013Z"}},{"type":"Public","name":"scripts","owner":"S2E","isFork":false,"description":"Various build scripts","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-13T21:17:38.219Z"}},{"type":"Public","name":"systemtap","owner":"S2E","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-31T13:37:23.348Z"}},{"type":"Public","name":"qemu","owner":"S2E","isFork":false,"description":"QEMU VM with generic KVM extensions for symbolic execution","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":2,"issueCount":0,"starsCount":23,"forksCount":17,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-17T16:40:27.850Z"}},{"type":"Public","name":"pyelftools","owner":"S2E","isFork":true,"description":"Parsing ELF and DWARF in Python","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":0,"starsCount":3,"forksCount":497,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-23T20:38:05.904Z"}},{"type":"Public archive","name":"libtcg","owner":"S2E","isFork":false,"description":"Tiny Code Generator Library","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":1,"issueCount":0,"starsCount":43,"forksCount":24,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-01-16T04:27:50.087Z"}},{"type":"Public archive","name":"libcpu","owner":"S2E","isFork":false,"description":"x86 Dynamic Binary Translator Library","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":1,"issueCount":0,"starsCount":33,"forksCount":15,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-12-19T09:17:20.957Z"}},{"type":"Public archive","name":"libs2e","owner":"S2E","isFork":false,"description":"libs2e.so","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":0,"starsCount":20,"forksCount":8,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-12-19T09:13:53.211Z"}},{"type":"Public archive","name":"build-scripts","owner":"S2E","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":1,"issueCount":0,"starsCount":2,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-12-08T03:04:12.018Z"}},{"type":"Public archive","name":"s2e-old","owner":"S2E","isFork":false,"description":"This is the archived S2E 1.0 repo. We do not maintain it anymore.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":24,"starsCount":314,"forksCount":173,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-06-25T18:49:30.303Z"}},{"type":"Public","name":"ci","owner":"S2E","isFork":false,"description":"Continous integration for S2E","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-05-01T15:18:06.364Z"}},{"type":"Public","name":"manifest","owner":"S2E","isFork":false,"description":"Contains the Google repo manifests to manage S2E sources","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":12,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-01-19T16:52:24.291Z"}},{"type":"Public archive","name":"libs2ecore","owner":"S2E","isFork":false,"description":"S2E Core Engine Library","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":0,"starsCount":15,"forksCount":10,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-01-07T20:30:18.817Z"}},{"type":"Public archive","name":"libs2eplugins","owner":"S2E","isFork":false,"description":"S2E plugins library","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":0,"starsCount":17,"forksCount":9,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-01-07T20:29:19.376Z"}},{"type":"Public archive","name":"klee","owner":"S2E","isFork":false,"description":"Stripped down version of KLEE (original on <a href=\"https://klee.github.com\">https://klee.github.com</a>)","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":2,"issueCount":0,"starsCount":10,"forksCount":11,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-01-07T20:27:59.087Z"}},{"type":"Public archive","name":"testsuite","owner":"S2E","isFork":false,"description":"S2E testsuite and various benchmarks","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-01-02T12:03:43.133Z"}},{"type":"Public archive","name":"docs","owner":"S2E","isFork":false,"description":"Documentation and Quick Start Guides for the S2E Symbolic Execution Platform","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":76,"forksCount":24,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-01-02T11:57:53.941Z"}},{"type":"Public archive","name":"guest-tools","owner":"S2E","isFork":false,"description":"Tools that run inside the guest","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":1,"issueCount":0,"starsCount":12,"forksCount":11,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-01-02T11:50:58.396Z"}},{"type":"Public","name":"decree","owner":"S2E","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":11,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-02-03T17:45:55.348Z"}},{"type":"Public","name":"PyKVM","owner":"S2E","isFork":false,"description":"A tiny KVM hypervisor written in Python","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":65,"forksCount":7,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-01-07T22:31:57.855Z"}},{"type":"Public","name":"Windows-driver-samples","owner":"S2E","isFork":true,"description":"This repo contains Windows driver samples, some of them are adapted for use with S2E","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":4884,"license":"Microsoft Public License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-11-19T00:40:35.184Z"}},{"type":"Public","name":"s2e.github.io","owner":"S2E","isFork":false,"description":"S2E website","allTopics":[],"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-10-31T16:14:32.815Z"}}],"repositoryCount":25,"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"}