Skip to content

@Research-Tools-PAVT Program Analysis, Verification & Testing Repos

Change the repository type filter

All

    Repositories list

    14 repositories

    • klee

      Public
      KLEE Symbolic Execution Engine
      constraint-satisfaction-problemsymbolic-execution
      C++
      •
      Other
      •683•0•0•0•Updated Oct 20, 2024Oct 20, 2024

    • esbmc

      Public
      The efficient SMT-based context-bounded model checker (ESBMC)
      C
      •
      Other
      •98•0•0•0•Updated Jun 26, 2024Jun 26, 2024

    • gigahorse-toolchain

      Public
      A binary lifter and analysis framework for Ethereum smart contracts
      HTML
      •
      Other
      •63•0•0•0•Updated May 24, 2024May 24, 2024

    • AFLplusplus

      Public
      The fuzzer afl++ is afl with community patches, AFLfast power schedules, qemu 3.1 upgrade + laf-intel support, MOpt mutators, InsTrim instrumentation, unicorn_mode, Redqueen and a lot more!
      C
      •
      Apache License 2.0
      •1k•0•0•1•Updated Feb 22, 2024Feb 22, 2024

    • cbmc

      Public
      C Bounded Model Checker
      C++
      •
      Other
      •262•0•0•0•Updated Dec 12, 2023Dec 12, 2023

    • fuzzy-sat

      Public
      An approximate solver for concolic execution
      C
      •
      GNU General Public License v2.0
      •4•0•0•0•Updated Apr 2, 2023Apr 2, 2023

    • fuzzolic

      Public
      fuzzing + concolic = fuzzolic :)
      C
      •
      GNU General Public License v2.0
      •6•0•0•0•Updated Feb 4, 2023Feb 4, 2023

    • grammars-v4

      Public
      Grammars written for ANTLR v4; expectation that the grammars are free of actions.
      ANTLR
      •
      MIT License
      •3.7k•0•0•0•Updated Oct 7, 2022Oct 7, 2022

    • dnnv-benchmarks

      Public
      A Collection of DNN Verification Benchmarks
      Python
      •
      MIT License
      •1•0•0•0•Updated Sep 21, 2022Sep 21, 2022

    • tensorfuzz

      Public
      A library for performing coverage guided fuzzing of neural networks
      Python
      •
      Apache License 2.0
      •58•0•0•0•Updated Jun 21, 2022Jun 21, 2022

    • torchfuzz

      Public
      Tensorfuzz for PyTorch models so it's torchfuzz.
      machine-learningfuzzingfuzzers
      Python
      •
      Apache License 2.0
      •0•1•0•0•Updated Jun 20, 2022Jun 20, 2022

    • fabric-verify

      Public
      Formal Verification of Hyperledger Fabric Chaincode. Example for cross border inter-bank asset transfer in fabric 1.4
      nodejsgolanghyperledger-fabricllvm-bitcodellvm-iretcd-clusterhyperledgerdocker-imageschaincodehyperledger-fabric-chaincode
      LLVM
      •1•4•4•0•Updated Apr 24, 2022Apr 24, 2022

    • AxProf

      Public
      A framework for accuracy profiling of randomized approximate algorithm implementations
      Python
      •
      Apache License 2.0
      •4•0•0•0•Updated Oct 1, 2021Oct 1, 2021

    • ncc

      Public
      Neural Code Comprehension: A Learnable Representation of Code Semantics
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •51•0•0•0•Updated Sep 25, 2021Sep 25, 2021