{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"BenchStore","owner":"staticafi","isFork":false,"description":"BenchStore is an ASP.NET Core MVC application used for storing results from BenchExec","allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-01T17:05:35.178Z"}},{"type":"Public","name":"JetKlee","owner":"staticafi","isFork":true,"description":"JetKlee Symbolic Virtual Machine","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":3,"starsCount":4,"forksCount":660,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-06T07:52:41.718Z"}},{"type":"Public","name":"sbt-fizzer","owner":"staticafi","isFork":false,"description":"Experimental implementation of gray-box program fuzzing.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":3,"starsCount":3,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-28T15:32:52.142Z"}},{"type":"Public","name":"llvm2c","owner":"staticafi","isFork":true,"description":"Decompiler of LLVM bitcode to C","allTopics":["c","llvm","decompiler","decompilation","llvm-ir"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":13,"starsCount":77,"forksCount":14,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-09T19:53:18.051Z"}},{"type":"Public","name":"symbiotic","owner":"staticafi","isFork":false,"description":"Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE","allTopics":["verification","symbolic-execution","program-verification","software-verification","slicing","llvm-ir","verification-toolchain","program-slicing","llvm","instrumentation","slice","klee"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":7,"issueCount":50,"starsCount":301,"forksCount":55,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-22T21:47:14.206Z"}},{"type":"Public","name":"sbt-slicer","owner":"staticafi","isFork":false,"description":"Static program slicer used in Symbiotic tool","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":11,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-30T12:04:17.247Z"}},{"type":"Public","name":"sbt-instrumentation","owner":"staticafi","isFork":false,"description":"Configurable instrumentation of LLVM bitcode","allTopics":["memory-safety","memory-leak-detection","null-check","runtime-checking","code-instrumentation","dangling-pointer-detection","llvm-instrumentation","llvm","instrumentation"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":2,"issueCount":7,"starsCount":31,"forksCount":12,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-30T12:02:09.869Z"}},{"type":"Public","name":"dg","owner":"staticafi","isFork":true,"description":"[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":131,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-30T12:01:01.880Z"}},{"type":"Public","name":"predator","owner":"staticafi","isFork":true,"description":"A Shape Analyzer Based on Symbolic Memory Graphs","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":21,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-13T10:16:39.008Z"}},{"type":"Public","name":"sbt-slowbeast","owner":"staticafi","isFork":false,"description":"Simple interpreter and symbolic executor designed for fast prototyping of symbolic execution algorithms. Cloned from <a href=\"https://gitlab.fi.muni.cz/xchalup4/slowbeast\" rel=\"nofollow\">https://gitlab.fi.muni.cz/xchalup4/slowbeast</a>","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-30T15:53:30.397Z"}},{"type":"Public","name":"sbt-llvmlite","owner":"staticafi","isFork":true,"description":"A lightweight LLVM python binding for writing JIT compilers","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":316,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-30T15:53:09.223Z"}},{"type":"Public","name":"sbt-dg","owner":"staticafi","isFork":true,"description":"[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":131,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-30T15:52:45.046Z"}},{"type":"Public","name":"mamato","owner":"staticafi","isFork":false,"description":"View and browse results from benchexec","allTopics":["benchexec","benchexec-frontend","viewer"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":11,"starsCount":7,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-08T16:59:03.704Z"}},{"type":"Public","name":"sv-benchmarks","owner":"staticafi","isFork":true,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":169,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-21T19:06:20.112Z"}},{"type":"Public","name":"predatorhp","owner":"staticafi","isFork":true,"description":"A script to utilize multiple concurrently-running Predator Analyzers with various setup","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-01-28T09:56:42.435Z"}},{"type":"Public","name":"ra","owner":"staticafi","isFork":true,"description":"Range analysis for sbt-instrumentation plugin.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-04-01T12:56:17.482Z"}},{"type":"Public","name":"distexec","owner":"staticafi","isFork":false,"description":"Distribute experiments with Symbiotic over computers","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-12-07T14:19:59.047Z"}},{"type":"Public","name":"benchexec","owner":"staticafi","isFork":true,"description":"BenchExec: A Framework for Reliable Benchmarking and Resource Measurement","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":191,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-11-28T08:13:57.468Z"}},{"type":"Public","name":"satt","owner":"staticafi","isFork":false,"description":"Static analysis tools tester","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":15,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-11-21T14:22:49.770Z"}}],"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":"Repositories"}