Skip to content

@staticafi statica

Change the repository type filter

All

    Repositories list

    29 repositories

    • fizzer

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

    • FizzerProgressExplorer

      Public
      Visualization of Fizzer's progress during analysis of a program.
      Java
      •
      Other
      •0•0•0•0•Updated Jan 31, 2025Jan 31, 2025

    • JetKlee

      Public
      JetKlee Symbolic Virtual Machine
      C++
      •
      Other
      •682•4•3•1•Updated Dec 18, 2024Dec 18, 2024

    • JetKleeProgressExplorer

      Public
      Java tool providing visual exploration of JetKlee's progress during symbolic execution of a program
      Java
      •
      Other
      •0•0•0•0•Updated Dec 18, 2024Dec 18, 2024

    • 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
      •269•0•0•0•Updated Dec 18, 2024Dec 18, 2024

    • libsala

      Public
      C++
      •
      Other
      •0•0•0•0•Updated Nov 27, 2024Nov 27, 2024

    • datsalat

      Public
      C
      •
      Other
      •0•0•0•0•Updated Nov 26, 2024Nov 26, 2024

    • binsalac

      Public
      C++
      •
      Other
      •0•0•0•0•Updated Nov 26, 2024Nov 26, 2024

    • binsalat

      Public
      C++
      •
      Other
      •0•0•0•0•Updated Nov 22, 2024Nov 22, 2024

    • symbiotic

      Public
      Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
      verificationsymbolic-executionprogram-verificationsoftware-verificationslicingllvm-irverification-toolchainprogram-slicingllvminstrumentation
      Python
      •
      MIT License
      •54•315•51•8•Updated Nov 22, 2024Nov 22, 2024

    • dg

      Public
      [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
      C++
      •
      MIT License
      •135•3•0•0•Updated Nov 21, 2024Nov 21, 2024

    • sbt-instrumentation

      Public
      Configurable instrumentation of LLVM bitcode
      memory-safetymemory-leak-detectionnull-checkruntime-checkingcode-instrumentationdangling-pointer-detectionllvm-instrumentationllvminstrumentation
      C++
      •
      MIT License
      •11•33•7•2•Updated Nov 21, 2024Nov 21, 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

    • libutility

      Public
      C++
      •
      Other
      •0•0•0•0•Updated Oct 15, 2024Oct 15, 2024

    • libllvmutl

      Public
      C++
      •
      Other
      •0•0•0•0•Updated Oct 15, 2024Oct 15, 2024

    • llvm2c

      Public
      Decompiler of LLVM bitcode to C
      cllvmdecompilerdecompilationllvm-ir
      C++
      •14•83•13•0•Updated Mar 9, 2024Mar 9, 2024

    • sbt-slicer

      Public
      Static program slicer used in Symbiotic tool
      C++
      •
      MIT License
      •2•11•0•0•Updated Nov 30, 2023Nov 30, 2023

    • predator

      Public
      A Shape Analyzer Based on Symbolic Memory Graphs
      C
      •
      GNU General Public License v3.0
      •21•2•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/slowbeast
      Python
      •
      MIT License
      •0•1•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
      •330•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
      •135•1•0•0•Updated Nov 30, 2022Nov 30, 2022

    • mamato

      Public
      View and browse results from benchexec
      benchexecbenchexec-frontendviewer
      Python
      •2•7•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•3•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

    • benchexec

      Public
      BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
      Python
      •
      Apache License 2.0
      •203•0•0•0•Updated Nov 28, 2018Nov 28, 2018

    • satt

      Public
      Static analysis tools tester
      Python
      •1•2•15•0•Updated Nov 21, 2017Nov 21, 2017