Skip to content
@Research-Tools-PAVT

Program Analysis, Verification & Testing Repos

Sumit Lahiri, CS Ph.D., IIT Kanpur

Popular repositories Loading

  1. fabric-verify fabric-verify Public

    Formal Verification of Hyperledger Fabric Chaincode. Example for cross border inter-bank asset transfer in fabric 1.4

    LLVM 4 1

  2. torchfuzz torchfuzz Public

    Tensorfuzz for PyTorch models so it's torchfuzz.

    Python 1

  3. klee klee Public

    Forked from klee/klee

    KLEE Symbolic Execution Engine

    C++

  4. ncc ncc Public

    Forked from spcl/ncc

    Neural Code Comprehension: A Learnable Representation of Code Semantics

    Python

  5. AFLplusplus AFLplusplus Public

    Forked from AFLplusplus/AFLplusplus

    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

  6. AxProf AxProf Public

    Forked from uiuc-arc/AxProf

    A framework for accuracy profiling of randomized approximate algorithm implementations

    Python

Repositories

Showing 10 of 14 repositories
  • klee Public Forked from klee/klee

    KLEE Symbolic Execution Engine

    Research-Tools-PAVT/klee’s past year of commit activity
    C++ 0 694 0 0 Updated Oct 20, 2024
  • esbmc Public Forked from esbmc/esbmc

    The efficient SMT-based context-bounded model checker (ESBMC)

    Research-Tools-PAVT/esbmc’s past year of commit activity
    C 0 101 0 0 Updated Jun 26, 2024
  • gigahorse-toolchain Public Forked from nevillegrech/gigahorse-toolchain

    A binary lifter and analysis framework for Ethereum smart contracts

    Research-Tools-PAVT/gigahorse-toolchain’s past year of commit activity
    HTML 0 64 0 0 Updated May 24, 2024
  • AFLplusplus Public Forked from AFLplusplus/AFLplusplus

    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!

    Research-Tools-PAVT/AFLplusplus’s past year of commit activity
    C 0 Apache-2.0 1,094 0 1 Updated Feb 22, 2024
  • cbmc Public Forked from diffblue/cbmc

    C Bounded Model Checker

    Research-Tools-PAVT/cbmc’s past year of commit activity
    C++ 0 305 0 0 Updated Dec 12, 2023
  • fuzzy-sat Public Forked from season-lab/fuzzy-sat

    An approximate solver for concolic execution

    Research-Tools-PAVT/fuzzy-sat’s past year of commit activity
    C 0 GPL-2.0 4 0 0 Updated Apr 2, 2023
  • fuzzolic Public Forked from season-lab/fuzzolic

    fuzzing + concolic = fuzzolic :)

    Research-Tools-PAVT/fuzzolic’s past year of commit activity
    C 0 GPL-2.0 6 0 0 Updated Feb 4, 2023
  • grammars-v4 Public Forked from antlr/grammars-v4

    Grammars written for ANTLR v4; expectation that the grammars are free of actions.

    Research-Tools-PAVT/grammars-v4’s past year of commit activity
    ANTLR 0 MIT 3,751 0 0 Updated Oct 7, 2022
  • dnnv-benchmarks Public Forked from dlshriver/dnnv-benchmarks

    A Collection of DNN Verification Benchmarks

    Research-Tools-PAVT/dnnv-benchmarks’s past year of commit activity
    Python 0 MIT 1 0 0 Updated Sep 21, 2022
  • tensorfuzz Public Forked from brain-research/tensorfuzz

    A library for performing coverage guided fuzzing of neural networks

    Research-Tools-PAVT/tensorfuzz’s past year of commit activity
    Python 0 Apache-2.0 59 0 0 Updated Jun 21, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…