Repositories list

• arbitrar

  Public
  User Guided API Misuse Detection

  OCaml

  •

  MIT License

  •5•27•4•0•Updated Dec 9, 2022Dec 9, 2022

• graph-based-code-modelling

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

  C#

  •

  MIT License

  •38•0•0•0•Updated Jan 29, 2021Jan 29, 2021

• cis547vm

  Public
  C

  •1•2•0•0•Updated Aug 8, 2020Aug 8, 2020

• popl2020-artifact

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

  C++

  •2•17•0•0•Updated Jul 9, 2020Jul 9, 2020

• SVF

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

  C++

  •

  Other

  •436•0•0•0•Updated Jul 8, 2020Jul 8, 2020

• petablox.github.io

  Public
  JavaScript

  •0•0•0•0•Updated Jun 2, 2020Jun 2, 2020

• oss-fuzz

  Public
  OSS-Fuzz - continuous fuzzing of open source software.

  C

  •

  Apache License 2.0

  •2.2k•0•0•0•Updated May 23, 2020May 23, 2020

• code2seq

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

  Python

  •

  MIT License

  •164•0•0•0•Updated Mar 14, 2020Mar 14, 2020

• github-demo-tar

  Public
  C

  •

  GNU General Public License v3.0

  •0•0•0•1•Updated Feb 13, 2020Feb 13, 2020

• popl2020-tutorial

  Public
  Tutorial for Building Program Reasoning Tools using LLVM and Z3

  C++

  •7•19•2•0•Updated Jan 20, 2020Jan 20, 2020

• cis573vm

  Public
  C++

  •2•7•0•0•Updated Nov 20, 2019Nov 20, 2019

• dragoman

  Public
  Rapid interpreter for object captions

  OCaml

  •

  MIT License

  •1•0•0•0•Updated Sep 29, 2019Sep 29, 2019

• difflog

  Public
  Difflog: Synthesizing Datalog Programs using Numerical Relaxation

  Scala

  •1•11•1•0•Updated Sep 26, 2019Sep 26, 2019

• shift-spec

  Public
  ⏩ Shift AST Specification

  JavaScript

  •

  Other

  •18•0•0•0•Updated Jul 12, 2019Jul 12, 2019

• woboq_codebrowser

  Public
  Woboq CodeBrowser

  C++

  •161•0•0•0•Updated Apr 19, 2019Apr 19, 2019

• pldi19-artifact

  Public
  C

  •

  BSD 2-Clause "Simplified" License

  •2•2•0•0•Updated Apr 18, 2019Apr 18, 2019

• github-demo-ntp

  Public
  C

  •2•0•0•1•Updated Mar 15, 2019Mar 15, 2019

• Drake-Analysis-June2017

  Public
  HTML

  •0•0•1•0•Updated Feb 27, 2019Feb 27, 2019

• libdai

  Public
  C++

  •

  BSD 2-Clause "Simplified" License

  •0•0•0•0•Updated Feb 18, 2019Feb 18, 2019

• petablox-bench

  Public
  Java

  •2•2•0•0•Updated Sep 16, 2018Sep 16, 2018

• petablox-project.github.io

  Public
  HTML

  •0•0•0•0•Updated Sep 14, 2018Sep 14, 2018

• difflog-benchmarks

  Public archive
  Python

  •0•0•0•0•Updated Aug 16, 2018Aug 16, 2018

• cbi

  Public
  C++

  •1•1•0•0•Updated Mar 5, 2018Mar 5, 2018

• petablox

  Public
  Main distribution of Petablox

  Java

  •

  Other

  •7•36•16•0•Updated Dec 10, 2017Dec 10, 2017

• logiql_benchmarks

  Public
  Python

  •0•0•0•0•Updated May 25, 2017May 25, 2017

• apisan

  Public
  APISan: Sanitizing API Usages through Semantic Cross-Checking

  C++

  •27•0•0•0•Updated Apr 17, 2017Apr 17, 2017

• RoadRunner

  Public
  Java

  •

  Other

  •44•0•0•0•Updated Feb 23, 2017Feb 23, 2017

• soot

  Public
  Soot - A Java optimization framework

  Java

  •

  GNU Lesser General Public License v2.1

  •710•0•0•0•Updated Aug 19, 2016Aug 19, 2016

• jasmin

  Public
  Java

  •

  Other

  •61•0•0•0•Updated Aug 19, 2016Aug 19, 2016

• heros

  Public
  IFDS/IDE Solver for Soot

  Java

  •

  GNU Lesser General Public License v2.1

  •86•0•0•0•Updated Aug 19, 2016Aug 19, 2016