{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"slither","owner":"crytic","isFork":false,"description":"Static Analyzer for Solidity and Vyper","allTopics":["static-analysis","ethereum","solidity","vyper"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":51,"issueCount":354,"starsCount":5183,"forksCount":953,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-02T18:58:32.050Z"}},{"type":"Public","name":"crytic-compile","owner":"crytic","isFork":false,"description":"Abstraction layer for smart contract build systems","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":13,"issueCount":101,"starsCount":145,"forksCount":84,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-22T10:02:53.220Z"}},{"type":"Public","name":"slither-workshop","owner":"crytic","isFork":false,"description":"Slither workshop (secureum)","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-17T08:32:00.167Z"}},{"type":"Public","name":"pyevmasm","owner":"crytic","isFork":false,"description":"Ethereum Virtual Machine (EVM) disassembler and assembler","allTopics":["python","ethereum","assembler","evm","dissassembler"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":7,"issueCount":10,"starsCount":351,"forksCount":49,"license":"Apache License 2.0","participation":[0,0,0,0,0,0,0,1,0,0,0,0,0,7,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-05-29T14:38:40.982Z"}},{"type":"Public","name":"slither-lsp","owner":"crytic","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-28T15:51:03.203Z"}},{"type":"Public","name":"amarna","owner":"crytic","isFork":false,"description":"Amarna is a static-analyzer and linter for the Cairo programming language.","allTopics":["cairo","starknet","linter","static-analysis"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":3,"issueCount":11,"starsCount":150,"forksCount":7,"license":"GNU Affero 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,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-12T21:27:06.819Z"}},{"type":"Public","name":"tealer","owner":"crytic","isFork":false,"description":"Static Analyzer for Teal","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":4,"issueCount":38,"starsCount":61,"forksCount":14,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-08T14:11:08.744Z"}},{"type":"Public","name":"ida-evm","owner":"crytic","isFork":false,"description":"IDA Processor Module for the Ethereum Virtual Machine (EVM)","allTopics":["ida","ida-pro","evm","dissassembler","processor-module"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":2,"issueCount":5,"starsCount":306,"forksCount":60,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-19T09:47:36.045Z"}},{"type":"Public","name":"solc-select","owner":"crytic","isFork":false,"description":"Manage and switch between Solidity compiler versions","allTopics":["ethereum","solidity"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":8,"issueCount":36,"starsCount":740,"forksCount":100,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-15T08:34:18.558Z"}},{"type":"Public","name":"rattle","owner":"crytic","isFork":false,"description":"evm binary static analysis","allTopics":["ethereum","reverse-engineering","evm"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":8,"starsCount":345,"forksCount":41,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-04T23:49:37.178Z"}},{"type":"Public","name":"fluxture","owner":"crytic","isFork":false,"description":"A crawling framework for blockchains and peer-to-peer systems","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":2,"issueCount":1,"starsCount":46,"forksCount":9,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-04T22:06:59.436Z"}},{"type":"Public","name":"ethersplay","owner":"crytic","isFork":false,"description":"EVM dissassembler","allTopics":["ethereum","disassembler","binary-ninja","evm"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":2,"issueCount":7,"starsCount":832,"forksCount":117,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-04T20:46:29.370Z"}},{"type":"Public","name":"ethereum-genesis-generator","owner":"crytic","isFork":true,"description":"Create a ethereum execution and consensus layer testnet genesis and expose it via a webserver for testing purposes","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":54,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-04T18:03:03.530Z"}},{"type":"Public","name":"optik","owner":"crytic","isFork":false,"description":"Optik is a set of symbolic execution tools that assist smart-contract fuzzers","allTopics":["smart-contracts","symbolic-execution","fuzzing","evm","security-tools","echidna","maat"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":5,"issueCount":22,"starsCount":91,"forksCount":12,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-06T19:53:01.093Z"}},{"type":"Public","name":"etheno","owner":"crytic","isFork":false,"description":"Simplify Ethereum security analysis and testing","allTopics":["ethereum","symbolic-execution","solidity","differential-testing","truffle","ganache"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":7,"issueCount":30,"starsCount":332,"forksCount":31,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-29T20:51:18.883Z"}},{"type":"Public","name":"echidna-parade","owner":"crytic","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":7,"starsCount":28,"forksCount":7,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-29T20:13:40.637Z"}},{"type":"Public","name":"evm_cfg_builder","owner":"crytic","isFork":false,"description":"EVM CFG recovery","allTopics":["ethereum","cfg","evm","reversing"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":3,"issueCount":11,"starsCount":115,"forksCount":29,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-29T20:08:36.581Z"}},{"type":"Public","name":"tayt","owner":"crytic","isFork":false,"description":"StarkNet smart contract fuzzer","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":76,"forksCount":5,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-08T09:39:02.004Z"}},{"type":"Public","name":"slightly-smarter-contracts","owner":"crytic","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":2,"starsCount":7,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-08-13T11:53:21.289Z"}}],"repositoryCount":19,"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":"crytic repositories"}