Skip to content
@petablox

Petablox

Program Reasoning Tools

Popular repositories Loading

  1. petablox petablox Public

    Main distribution of Petablox

    Java 36 7

  2. arbitrar arbitrar Public

    User Guided API Misuse Detection

    OCaml 27 5

  3. popl2020-tutorial popl2020-tutorial Public

    Tutorial for Building Program Reasoning Tools using LLVM and Z3

    C++ 19 7

  4. popl2020-artifact popl2020-artifact Public

    Artifact package accompanying our POPL 2020 submission titled Provenance-Guided Synthesis of Datalog Programs.

    C++ 18 2

  5. difflog difflog Public

    Difflog: Synthesizing Datalog Programs using Numerical Relaxation

    Scala 11 1

  6. cis573vm cis573vm Public

    C++ 7 2

Repositories

Showing 10 of 31 repositories
  • arbitrar Public

    User Guided API Misuse Detection

    petablox/arbitrar’s past year of commit activity
    OCaml 27 MIT 5 4 0 Updated Dec 9, 2022
  • graph-based-code-modelling Public Forked from microsoft/graph-based-code-modelling

    Code for "Generative Code Modeling with Graphs" (ICLR'19)

    petablox/graph-based-code-modelling’s past year of commit activity
    C# 0 MIT 38 0 0 Updated Jan 29, 2021
  • cis547vm Public
    petablox/cis547vm’s past year of commit activity
    C 2 1 0 0 Updated Aug 8, 2020
  • popl2020-artifact Public

    Artifact package accompanying our POPL 2020 submission titled Provenance-Guided Synthesis of Datalog Programs.

    petablox/popl2020-artifact’s past year of commit activity
    C++ 18 2 0 0 Updated Jul 9, 2020
  • SVF Public Forked from SVF-tools/SVF

    Static Value-Flow Analysis for C and C++ Programs

    petablox/SVF’s past year of commit activity
    C++ 0 442 0 0 Updated Jul 8, 2020
  • petablox.github.io Public
    petablox/petablox.github.io’s past year of commit activity
    JavaScript 0 0 0 0 Updated Jun 2, 2020
  • oss-fuzz Public Forked from google/oss-fuzz

    OSS-Fuzz - continuous fuzzing of open source software.

    petablox/oss-fuzz’s past year of commit activity
    C 0 Apache-2.0 2,384 0 0 Updated May 23, 2020
  • code2seq Public Forked from tech-srl/code2seq

    Code for the model presented in the paper: "code2seq: Generating Sequences from Structured Representations of Code"

    petablox/code2seq’s past year of commit activity
    Python 0 MIT 165 0 0 Updated Mar 14, 2020
  • github-demo-tar Public
    petablox/github-demo-tar’s past year of commit activity
    C 0 GPL-3.0 0 0 1 Updated Feb 13, 2020
  • popl2020-tutorial Public

    Tutorial for Building Program Reasoning Tools using LLVM and Z3

    petablox/popl2020-tutorial’s past year of commit activity
    C++ 19 7 2 0 Updated Jan 20, 2020
View all repositories

Top languages

Loading…

Most used topics

Loading…