Skip to content

@staticafi statica

Change the repository type filter

All

    Repositories list

    32 repositories

    • binsalac

      Public
      A collection of three programs. Two of them form a compiler from LLVM to Sala and the third is Sala program optimizer.
      C++
      •
      Other
      •0•1•0•2•Updated Apr 19, 2026Apr 19, 2026

    • dg

      Public
      [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
      C++
      •
      MIT License
      •141•3•0•3•Updated Mar 11, 2026Mar 11, 2026

    • fizzer

      Public
      Experimental implementation of gray-box program fuzzing.
      C
      •
      Other
      •1•5•3•2•Updated Mar 1, 2026Mar 1, 2026

    • symbiotic

      Public
      Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
      llvmverificationsymbolic-execution
      llvmverificationsymbolic-executioninstrumentationsliceprogram-verificationsoftware-verificationkleeslicingllvm-ir
      Python
      •
      MIT License
      •58•335•53•0•Updated Feb 25, 2026Feb 25, 2026

    • libsala

      Public
      A library providing representation of Sala programs with their interpretation and analysis.
      C++
      •
      Other
      •0•1•0•0•Updated Feb 21, 2026Feb 21, 2026

    • libutility

      Public
      A library with several utility classes and functions usable across many C++ projects.
      C++
      •
      Other
      •0•0•0•0•Updated Feb 13, 2026Feb 13, 2026

    • FizzerProgressExplorer

      Public
      Visualization of Fizzer's progress during analysis of a program.
      Java
      •
      Other
      •0•0•0•0•Updated Feb 1, 2026Feb 1, 2026

    • TestCoCa

      Public
      Executes a program for each test in its test suite to measure certain quantities, like branch coverage.
      C
      •
      Other
      •0•0•1•0•Updated Jan 14, 2026Jan 14, 2026

    • datsalat

      Public
      A package of benchmarks used as regression tests for Sala compiler, interpreter and input-flow analysis.
      C
      •
      Other
      •0•0•0•0•Updated Dec 6, 2025Dec 6, 2025

    • llvm2c

      Public
      Decompiler of LLVM bitcode to C
      cllvmdecompiler
      cllvmdecompilerdecompilationllvm-ir
      C++
      •
      MIT License
      •14•92•13•0•Updated Dec 4, 2025Dec 4, 2025

    • libllvmutl

      Public
      A library providing utility function commonly useful when working with LLVM framework.
      C++
      •
      Other
      •0•0•0•0•Updated Dec 4, 2025Dec 4, 2025

    • JetKlee

      Public
      JetKlee Symbolic Virtual Machine
      C++
      •
      Other
      •722•5•3•0•Updated Nov 24, 2025Nov 24, 2025

    • fizzer_testcomp_adapter

      Public
      Provides integrtion of Fizzer to Test-Comp's pipeline.
      Python
      •
      Other
      •0•0•0•0•Updated Nov 22, 2025Nov 22, 2025

    • libcps

      Public
      A C++ library providing Coverage problem solver.
      C++
      •
      Other
      •0•0•0•0•Updated Sep 15, 2025Sep 15, 2025

    • JetKleeProgressExplorer

      Public
      Java tool providing visual exploration of JetKlee's progress during symbolic execution of a program
      Java
      •
      Other
      •0•0•0•0•Updated May 16, 2025May 16, 2025

    • sbt-instrumentation

      Public
      Configurable instrumentation of LLVM bitcode
      llvminstrumentationmemory-safety
      llvminstrumentationmemory-safetymemory-leak-detectionnull-checkruntime-checkingcode-instrumentationdangling-pointer-detectionllvm-instrumentation
      C++
      •
      MIT License
      •11•35•7•0•Updated Mar 31, 2025Mar 31, 2025

    • sbt-slicer

      Public
      Static program slicer used in Symbiotic tool
      C++
      •
      MIT License
      •1•12•0•0•Updated Mar 31, 2025Mar 31, 2025

    • binsalat

      Public
      A collection of tools supporting regression testing of Sala interpreter and input-flow analysis.
      C++
      •
      Other
      •0•0•0•0•Updated Mar 31, 2025Mar 31, 2025

    • jtoc

      Public
      Translation of Java 8 programs to C through JBMC's GOTO programs
      Python
      •0•0•0•0•Updated Dec 18, 2024Dec 18, 2024

    • cbmc

      Public
      C Bounded Model Checker
      C++
      •
      Other
      •288•0•0•0•Updated Dec 18, 2024Dec 18, 2024

    • BenchStore

      Public
      BenchStore is an ASP.NET Core MVC application used for storing results from BenchExec
      C#
      •
      Other
      •1•2•0•0•Updated Nov 4, 2024Nov 4, 2024

    • predator

      Public
      A Shape Analyzer Based on Symbolic Memory Graphs
      C
      •
      GNU General Public License v3.0
      •22•1•0•0•Updated Nov 13, 2023Nov 13, 2023

    • sbt-slowbeast

      Public
      Simple interpreter and symbolic executor designed for fast prototyping of symbolic execution algorithms. Cloned from https://gitlab.fi.muni.cz/xchalup4/slowbeas…
      Python
      •
      MIT License
      •0•2•0•0•Updated Nov 30, 2022Nov 30, 2022

    • sbt-llvmlite

      Public
      A lightweight LLVM python binding for writing JIT compilers
      Python
      •
      BSD 2-Clause "Simplified" License
      •355•0•0•0•Updated Nov 30, 2022Nov 30, 2022

    • sbt-dg

      Public
      [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
      C++
      •
      MIT License
      •141•1•0•0•Updated Nov 30, 2022Nov 30, 2022

    • mamato

      Public
      View and browse results from benchexec
      viewerbenchexecbenchexec-frontend
      viewerbenchexecbenchexec-frontend
      Python
      •2•8•11•0•Updated Nov 8, 2022Nov 8, 2022

    • sv-benchmarks

      Public
      169•0•0•0•Updated Nov 21, 2021Nov 21, 2021

    • predatorhp

      Public
      A script to utilize multiple concurrently-running Predator Analyzers with various setup
      Python
      •
      GNU General Public License v3.0
      •2•0•0•0•Updated Jan 28, 2020Jan 28, 2020

    • ra

      Public
      Range analysis for sbt-instrumentation plugin.
      C++
      •2•4•0•0•Updated Apr 1, 2019Apr 1, 2019

    • distexec

      Public
      Distribute experiments with Symbiotic over computers
      Python
      •
      MIT License
      •0•1•0•0•Updated Dec 7, 2018Dec 7, 2018
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.