Skip to content
Change the repository type filter

All

    Repositories list

    • PyTorch version of Stable Baselines, reliable implementations of reinforcement learning algorithms.
      Python
      MIT License
      2.1k000Updated Sep 29, 2023Sep 29, 2023
    • Neuro-aware program analyzer
      Python
      Apache License 2.0
      1700Updated Mar 21, 2023Mar 21, 2023
    • pi-fuzz

      Public
      π-fuzz Policy Testing Framework
      Python
      Apache License 2.0
      1600Updated Mar 21, 2023Mar 21, 2023
    • FuzzBench - Fuzzer benchmarking as a service.
      Python
      Apache License 2.0
      297002Updated Oct 3, 2022Oct 3, 2022
    • mod_gym

      Public
      A toolkit for developing and comparing reinforcement learning algorithms.
      Python
      Other
      8.7k000Updated Aug 3, 2022Aug 3, 2022
    • tailor

      Public
      Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints
      C
      Apache License 2.0
      402000Updated Nov 24, 2021Nov 24, 2021
    • The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutato…
      C
      Apache License 2.0
      1.3k101Updated Oct 4, 2021Oct 4, 2021
    • american fuzzy lop - a security-oriented fuzzer
      C
      Apache License 2.0
      669201Updated Sep 12, 2021Sep 12, 2021
    • queryFuzz

      Public
      QueryFuzz implements a metamorphic testing approach to test Datalog engines.
      Python
      Apache License 2.0
      63600Updated Jun 8, 2021Jun 8, 2021
    • C
      1410Updated May 18, 2021May 18, 2021
    • Libra

      Public
      A static-analysis framework for certifying fairness of deep neural networks
      Python
      Mozilla Public License 2.0
      7000Updated Apr 26, 2021Apr 26, 2021
    • blossom

      Public
      Fuzzes input program to generate ranges of numerical kernels
      C
      Other
      2000Updated Feb 14, 2021Feb 14, 2021
    • Python
      3000Updated Oct 18, 2020Oct 18, 2020
    • Reproduction Code for FSE Paper "DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks"
      Python
      121300Updated Aug 27, 2020Aug 27, 2020
    • storm

      Public
      A blackbox mutational fuzzer for detecting critical bugs in SMT solvers
      SMT
      Apache License 2.0
      118610Updated Aug 27, 2020Aug 27, 2020
    • procgen

      Public
      Procgen Benchmark: Procedurally Generated Game-Like Gym Environments
      C++
      MIT License
      219100Updated May 28, 2020May 28, 2020
    • bran

      Public
      Static analysis framework for EVM bytecode
      Go
      GNU Lesser General Public License v3.0
      73100Updated Jan 29, 2020Jan 29, 2020
    • adiff

      Public
      Tool for differentially testing soundness and precision of program analyzers
      Haskell
      MIT License
      61211Updated Oct 19, 2018Oct 19, 2018
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.