{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"xplor-cvex","owner":"ucsb-seclab","isFork":false,"description":"CVEX exploration with ERSP group 23/24","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"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,0,0,0,0,0,0,0,0,0,0,0,3,32],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-03T00:42:20.494Z"}},{"type":"Public","name":"greed","owner":"ucsb-seclab","isFork":false,"description":"A symbolic execution engine for EVM smart contract binaries.","allTopics":["smart-contracts","symbolic-execution","binary-analysis","exploit-development"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":2,"issueCount":6,"starsCount":67,"forksCount":6,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-30T06:06:32.820Z"}},{"type":"Public","name":"actor","owner":"ucsb-seclab","isFork":false,"description":"Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":25,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-06T00:56:19.078Z"}},{"type":"Public","name":"erigon","owner":"ucsb-seclab","isFork":true,"description":"Ethereum implementation on the efficiency frontier","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1031,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-10T22:41:22.285Z"}},{"type":"Public","name":"klee","owner":"ucsb-seclab","isFork":true,"description":"KLEE Symbolic Execution Engine","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":660,"license":"Other","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,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-10T13:24:54.054Z"}},{"type":"Public","name":"diane","owner":"ucsb-seclab","isFork":false,"description":"DiAne is a smart fuzzer for IoT devices","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":4,"starsCount":37,"forksCount":7,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-03T18:42:30.463Z"}},{"type":"Public","name":"packware","owner":"ucsb-seclab","isFork":false,"description":"Effects of packers on machine-learning-based malware classifiers that use only static analysis","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":80,"forksCount":16,"license":null,"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,0,0,0,2,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-29T04:02:57.492Z"}},{"type":"Public","name":"pretender","owner":"ucsb-seclab","isFork":false,"description":"Automatic modeling of hardware to enable the rehosting of embedded firmware","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":2,"starsCount":79,"forksCount":10,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-22T14:23:03.074Z"}},{"type":"Public","name":"crush","owner":"ucsb-seclab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"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,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-28T19:27:00.390Z"}},{"type":"Public","name":"jackal","owner":"ucsb-seclab","isFork":false,"description":"Confusum Contractum: Confused Deputy Vulnerabilities in Ethereum Smart Contracts","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-24T22:03:57.822Z"}},{"type":"Public","name":"shimware","owner":"ucsb-seclab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-14T01:26:21.109Z"}},{"type":"Public","name":"goldphish","owner":"ucsb-seclab","isFork":false,"description":"Arbitrage bot for the Ethereum blockchain","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":49,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-04T22:22:22.445Z"}},{"type":"Public","name":"heapster","owner":"ucsb-seclab","isFork":false,"description":"Identify and test the security of dynamic memory allocators in monolithic firmware images","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":39,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-02T00:50:45.051Z"}},{"type":"Public","name":"py-evm","owner":"ucsb-seclab","isFork":true,"description":"A Python implementation of the Ethereum Virtual Machine (plus analysis add-ons)","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":632,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-05T06:21:10.582Z"}},{"type":"Public","name":"harden-HBFA","owner":"ucsb-seclab","isFork":true,"description":"HBFA fuzzer fork for the HARDEN project","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":141,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-14T22:20:29.594Z"}},{"type":"Public","name":"DeepCASE","owner":"ucsb-seclab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-21T00:19:05.116Z"}},{"type":"Public","name":"DeepCASE-Dataset","owner":"ucsb-seclab","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-21T00:15:18.536Z"}},{"type":"Public","name":"symbexcel-server","owner":"ucsb-seclab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-15T19:53:49.675Z"}},{"type":"Public","name":"columbus","owner":"ucsb-seclab","isFork":false,"description":"Source code for Columbus (ICSE 2023 paper)","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-09T20:08:28.166Z"}},{"type":"Public","name":"VenoMave","owner":"ucsb-seclab","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-03T18:59:48.111Z"}},{"type":"Public","name":"nft-security-study","owner":"ucsb-seclab","isFork":false,"description":"Code and data of the CCS '22 paper titled \"Understanding Security Issues in the NFT Ecosystem\"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":10,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-20T20:18:41.156Z"}},{"type":"Public","name":"popkorn-artifact","owner":"ucsb-seclab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":52,"forksCount":10,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-14T22:02:00.209Z"}},{"type":"Public","name":"cs177-ctfd","owner":"ucsb-seclab","isFork":true,"description":"CTFs as you need them","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1982,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-23T22:15:46.309Z"}},{"type":"Public","name":"cs177-ctfd-oracle-challenges","owner":"ucsb-seclab","isFork":false,"description":"Plugin for CTFd to manage oracle challenges","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-10T23:44:15.036Z"}},{"type":"Public","name":"sailfish","owner":"ucsb-seclab","isFork":false,"description":"Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":3,"starsCount":47,"forksCount":11,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-05T05:35:00.762Z"}},{"type":"Public","name":"slither-sailfish","owner":"ucsb-seclab","isFork":false,"description":"Modified Slither for Sailfish","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-31T23:08:26.686Z"}},{"type":"Public","name":"symbexcel","owner":"ucsb-seclab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":13,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-30T06:39:06.947Z"}},{"type":"Public","name":"dr_checker","owner":"ucsb-seclab","isFork":false,"description":"DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers","allTopics":["kernel","vulnerability-detection","vulnerability-scanners","llvm","kernel-driver"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":15,"starsCount":331,"forksCount":71,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-30T02:34:23.723Z"}},{"type":"Public","name":"difuze","owner":"ucsb-seclab","isFork":false,"description":"Fuzzer for Linux Kernel Drivers","allTopics":["android","kernel","fuzzing","vulnerability-detection"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":7,"starsCount":365,"forksCount":83,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-30T02:33:52.062Z"}},{"type":"Public","name":"heapster-dataset-metadata","owner":"ucsb-seclab","isFork":false,"description":"Collection of metadata for the firmware images used in Heapster","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-16T15:53:25.403Z"}}],"repositoryCount":60,"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"}