Repositories list

• pytea

  Public
  PyTea: PyTorch Tensor shape error analyzer

  machine-learningstatic-analysispytorch

  TypeScript

  •

  Other

  •18•315•0•0•Updated Apr 26, 2022Apr 26, 2022

• sparrow

  Public
  The Sparrow Static Analyzer

  cstatic-analyzerabstract-interpretation

  OCaml

  •

  Other

  •28•123•0•1•Updated Sep 19, 2021Sep 19, 2021

• PLDI2020_242_artifact_publication

  Public
  for ACM DL

  C

  •0•1•0•0•Updated Aug 20, 2020Aug 20, 2020

• PLDI2020_AE

  Public
  C

  •0•1•0•0•Updated Feb 29, 2020Feb 29, 2020

• ssft19-ai

  Public
  OCaml

  •1•1•0•0•Updated May 24, 2019May 24, 2019

• ssft19-sparrow

  Public
  C

  •

  Other

  •0•0•0•0•Updated May 23, 2019May 23, 2019

• snt

  Public
  Show-and-tell Slides

  1•0•0•0•Updated Apr 26, 2019Apr 26, 2019

• zooberry

  Public
  A software framework for global sparse analyzers and their verified validators

  Coq

  •

  Other

  •3•22•1•0•Updated Oct 25, 2017Oct 25, 2017

• infer

  Public
  A static analyzer for Java, C and Objective-C

  OCaml

  •

  Other

  •2k•2•2•0•Updated Aug 17, 2017Aug 17, 2017