Pinned Repositories
arbitrar
User Guided API Misuse Detection
cbi
cis547vm
cis573vm
difflog
Difflog: Synthesizing Datalog Programs using Numerical Relaxation
petablox
Main distribution of Petablox
petablox-bench
pldi19-artifact
popl2020-artifact
Artifact package accompanying our POPL 2020 submission titled Provenance-Guided Synthesis of Datalog Programs.
popl2020-tutorial
Tutorial for Building Program Reasoning Tools using LLVM and Z3
Petablox's Repositories
petablox/petablox
Main distribution of Petablox
petablox/arbitrar
User Guided API Misuse Detection
petablox/popl2020-tutorial
Tutorial for Building Program Reasoning Tools using LLVM and Z3
petablox/popl2020-artifact
Artifact package accompanying our POPL 2020 submission titled Provenance-Guided Synthesis of Datalog Programs.
petablox/difflog
Difflog: Synthesizing Datalog Programs using Numerical Relaxation
petablox/cis573vm
petablox/cis547vm
petablox/petablox-bench
petablox/pldi19-artifact
petablox/cbi
petablox/petablox.github.io
petablox/apisan
APISan: Sanitizing API Usages through Semantic Cross-Checking
petablox/code2seq
Code for the model presented in the paper: "code2seq: Generating Sequences from Structured Representations of Code"
petablox/difflog-benchmarks
petablox/dragoman
Rapid interpreter for object captions
petablox/Drake-Analysis-June2017
petablox/github-demo-ntp
petablox/github-demo-tar
petablox/graph-based-code-modelling
Code for "Generative Code Modeling with Graphs" (ICLR'19)
petablox/heros
IFDS/IDE Solver for Soot
petablox/jasmin
petablox/libdai
petablox/logiql_benchmarks
petablox/oss-fuzz
OSS-Fuzz - continuous fuzzing of open source software.
petablox/petablox-project.github.io
petablox/RoadRunner
petablox/shift-spec
:fast_forward: Shift AST Specification
petablox/soot
Soot - A Java optimization framework
petablox/SVF
Static Value-Flow Analysis for C and C++ Programs
petablox/woboq_codebrowser
Woboq CodeBrowser